SUMO   View all facts   Glossary   Help

Entity > Abstract > Class > Relation > Function > BinaryFunction > SecondFn

SecondFn
subject			fact

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