SUMO   View all facts   Glossary   Help

Entity > Abstract > Class > Relation > Function > BinaryFunction > MinuteFn

MinuteFn
subject			fact

MinuteFn	documentation A BinaryFunction that maps a number and an Hour to the corresponding Minute of the Hour. For example, (MinuteFn 15 (HourFn 14 (DayFn 18 (MonthFn 8 (YearFn 1912))))) denotes 15 minutes after 2 PM on the 18th day of August 1912
	has axiom (=> (instance (MinuteFn ?NUMBER ?HOUR) Minute) (lessThan ?NUMBER 60))
	has domain1 PositiveRealNumber
	has domain2 Hour
	has range Minute
	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