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
relation from one capability to another capability such that associated performance of the first capability is made possible by another
Semi-Formal Definition:
if x is ‘enabled by’ y then y ‘enables’ x
Examples
- the hole-making capability of a drilling machine is enabled by the cutting capability of the drill bit installed in the machine
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)