Relation TIME-UNIT-OF

Arity: 2

Domain: Time-unit

Subrelation-Of: Unit-of

Axioms:

(<=> (Time-Unit-Of ?A ?B) (And (Unit-Of ?A ?B) (Time-Unit ?A)))

• Defined in theory: Units
• Source code: Units.lisp