Unit-of-measure SECOND-OF-TIME

• Defined in theory: Standard-units
• Source code: standard-units.lisp

Slots on this instance:

Documentation:

The SI standard unit of time. It is not called 'second' to distinguish it from the function second (from the KIF-lists ontology) that denotes the second element of a sequence.

Instance-Of: Si-unit, Unit-of-measure

Axioms:

(= (Quantity.Dimension Second-Of-Time) Time-Dimension)