TimeInterval Comparison Table

Next TimePosition: TimePoint Up: TimePosition

TimeInterval comparison table

Subject have relatedInternalConcept documentation be second domain of have axiom

Day DayFn The Class of all calendar Days HourFn
(=>
(instance ?DAY Day)
(duration ?DAY DayDuration))

Hour HourFn The Class of all clock Hours MinuteFn
(=>
(instance ?HOUR Hour)
(duration ?HOUR HourDuration))

Minute MinuteFn The Class of all clock Minutes SecondFn
(=>
(instance ?MINUTE Minute)
(duration ?MINUTE MinuteDuration))

Month MonthFn The Class of all calendar Months DayFn
(=>
(instance ?MONTH Month)
(duration ?MONTH MonthDuration))

Second SecondFn The Class of all clock Seconds temporalPart
(equal
(MeasureFn ?NUMBER NanoSecond)
(MeasureFn (MultiplicationFn ?NUMBER 1.0E-9) Second))

Year YearFn The Class of all calendar Years MonthFn
(=>
(instance ?YEAR Year)
(duration ?YEAR YearDuration))

Subject	have relatedInternalConcept	documentation	be second domain of	have axiom
Day	DayFn	The Class of all calendar Days	HourFn	(=> (instance ?DAY Day) (duration ?DAY DayDuration))
Hour	HourFn	The Class of all clock Hours	MinuteFn	(=> (instance ?HOUR Hour) (duration ?HOUR HourDuration))
Minute	MinuteFn	The Class of all clock Minutes	SecondFn	(=> (instance ?MINUTE Minute) (duration ?MINUTE MinuteDuration))
Month	MonthFn	The Class of all calendar Months	DayFn	(=> (instance ?MONTH Month) (duration ?MONTH MonthDuration))
Second	SecondFn	The Class of all clock Seconds	temporalPart	(equal (MeasureFn ?NUMBER NanoSecond) (MeasureFn (MultiplicationFn ?NUMBER 1.0E-9) Second))
Year	YearFn	The Class of all calendar Years	MonthFn	(=> (instance ?YEAR Year) (duration ?YEAR YearDuration))

Next TimePosition: TimePoint Up: TimePosition