InverseFunctionalObjectProperty
- class InverseFunctionalObjectProperty(object_property_expression, *, annotations=None)[source]
Bases:
_UnaryObjectPropertyAn object property axiom defined in 9.2.8 “Inverse-Functional Object Properties”.
Initialize a unary object property axiom.
Attributes Summary
Attributes Documentation
- Parameters:
object_property_expression (ObjectPropertyExpression)
annotations (list[Annotation])