enabled by
IRI: https://spec.industrialontologies.org/ontology/construct/enabledBy
Defined In: https://spec.industrialontologies.org/ontology/productionplanning/ProductionPlanning/
Type: Object Property
Domain: capability
Range: capability
Inverse Of: enables
Definition
capability enabled by another capability implies the second capability enables the first capability.
Semi-Formal Definition:
if x is ‘enabled by’ y then y ‘enables’ x
Primitive Property
This property is declared primitive — no complete necessary and sufficient formal definition is provided.
see primitive rationale of ‘enables’
Formal Axioms
First-Order Logic Definition
enbledBy(x, y) → enables(y, x)