Function
THE-SPATIAL-UNIT
Arity
:
2
Range
:
Spatial-unit
Subrelation-Of
:
The-unit
Axioms:
(<=> (
The-Spatial-Unit
?A ?B) (And (
The-Unit
?A ?B) (
Spatial-Unit
?B)))
Defined in theory:
Units
Source code:
Units.lisp