Unit-of-measure SECOND-OF-TIME

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

Slots on this unit-of-measure:

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: Unit-of-measure

Axioms:

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

Other Related Axioms:

(= (Base-Units Si-Unit)
   (Setof Meter
          Kilogram
          Second-Of-Time
          Ampere
          Degree-Kelvin
          Mole
          Candela
          Identity-Unit))

(= Minute (* Second-Of-Time 60))

(= Newton (* (* Kilogram Meter) (Expt Second-Of-Time -2)))

(= Nano-Second (* 1.0E-9 Second-Of-Time))