Subject 
is an instance of 
documentation 
be first domain of 
be second domain of 
have axiom 
DayDuration  UnitOfMeasure  Time unit. 1 day = 24 hours  SubtractionFn  MeasureFn  (equal (MeasureFn ?NUMBER YearDuration) (MeasureFn (MultiplicationFn ?NUMBER 365) DayDuration))

HourDuration  UnitOfMeasure  Time unit. 1 hour = 60 minutes  SubtractionFn  MeasureFn  (equal (MeasureFn ?NUMBER HourDuration) (MeasureFn (MultiplicationFn ?NUMBER 60) MinuteDuration))

MinuteDuration  UnitOfMeasure  Time unit. 1 minute = 60 seconds.  SubtractionFn  MeasureFn  (equal (MeasureFn ?NUMBER HourDuration) (MeasureFn (MultiplicationFn ?NUMBER 60) MinuteDuration))

MonthDuration  UnitOfMeasure  Time unit. 1/12th of a year  SubtractionFn  MeasureFn  (=> (instance ?MONTH Month) (duration ?MONTH MonthDuration))

NanoSecond  UnitOfMeasure  Submultiple of SecondDuration. Symbol: ns. A UnitOfMeasure equal to one billionth of a SecondDuration  SubtractionFn  MeasureFn  (equal (MeasureFn ?NUMBER NanoSecond) (MeasureFn (MultiplicationFn ?NUMBER 1.0E9) Second))

PicoSecond  UnitOfMeasure  Submultiple of SecondDuration. Symbol: ps. A UnitOfMeasure equal to one trillionth of a SecondDuration  SubtractionFn  MeasureFn  (equal (MeasureFn ?NUMBER PicoSecond) (MeasureFn (MultiplicationFn ?NUMBER 1.0E12) SecondDuration))

SecondDuration  TimeDuration  SI TimeDuration. Symbol: s. It is one of the base units in SI, and it is currently defined as follows: the SecondDuration is the duration of 9192631770 periods of the radiation corresponding to the transition between the two hyperfine levels of the ground state of the cesium 133 atom  CoulombFn  frequency  (equal (MeasureFn ?NUMBER PicoSecond) (MeasureFn (MultiplicationFn ?NUMBER 1.0E12) SecondDuration))

YearDuration  UnitOfMeasure  Time unit. one calendar year. 1 year = 365 days = 31536000 seconds  SubtractionFn  MeasureFn  (equal (MeasureFn ?NUMBER YearDuration) (MeasureFn (MultiplicationFn ?NUMBER 365) DayDuration))
