owl:FunctionalProperty
The class of functional properties.



Inference Rules

An owl:FunctionalProperty allows only one distinct object per subject

:subject :predicate ?object1
:subject :predicate ?object2
?object1 owl:sameAs ?object2