Function THE-TIME-UNIT

Arity: 2

Range: Time-unit

Subrelation-Of: The-unit

Axioms:

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

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