SUMO   View all facts   Glossary   Help

Entity > Abstract > Quantity > PhysicalQuantity > ConstantQuantity > TimeMeasure > TimePosition > TimeInterval > Second

Second
subject			fact

Second	documentation The Class of all clock Seconds
	has axiom (=> (instance (SecondFn ?NUMBER ?MINUTE) Second) (lessThan ?NUMBER 60))
	has axiom (=> (instance ?SECOND Second) (duration ?SECOND SecondDuration))
	has axiom (equal (MeasureFn ?NUMBER NanoSecond) (MeasureFn (MultiplicationFn ?NUMBER 1.0E-9) Second))
	has relatedInternalConcept SecondDuration
	has relatedInternalConcept SecondFn
	is a kind of TimeInterval
TimeInterval	is first domain of BeginFn
	is first domain of during
	is first domain of earlier
	is first domain of EndFn
	is first domain of finishes
	is first domain of meetsTemporally
	is first domain of overlapsTemporally
	is first domain of starts
	is second domain of during
	is second domain of earlier
	is second domain of finishes
	is second domain of meetsTemporally
	is second domain of overlapsTemporally
	is second domain of starts
	is second domain of temporalPart
TimePosition	is partitioned into TimeInterval, TimePoint
Abstract	is disjoint from Physical

Next TimeInterval: Year    Up: TimeInterval    Previous TimeInterval: Month