Relation
SPATIAL-UNIT-OF
Arity
:
2
Domain
:
Spatial-unit
Subrelation-Of
:
Unit-of
Axioms:
(<=> (
Spatial-Unit-Of
?A ?B) (And (
Unit-Of
?A ?B) (
Spatial-Unit
?A)))
Defined in theory:
Units
Source code:
Units.lisp