SUMO   View all facts   Glossary   Help

Entity > Abstract > Class > Relation > Function > BinaryFunction > HourFn

HourFn
subject			fact

HourFn	documentation A BinaryFunction that maps a number and a Day to the corresponding Hour of the Day. For example, (HourFn 14 (DayFn 18 (MonthFn 8 (YearFn 1912)))) denotes the 14th hour, i.e. 2 PM, on the 18th day of August 1912
	has axiom (=> (instance (HourFn ?NUMBER ?DAY) Hour) (lessThan ?NUMBER 24))
	has domain1 PositiveRealNumber
	has domain2 Day
	has range Hour
	is an instance of BinaryFunction
	is an instance of TemporalRelation
BinaryFunction	is first domain of distributes
	is first domain of identityElement
	is second domain of distributes
Class	is third domain of domain
	is third domain of domainSubclass
Abstract	is disjoint from Physical