SUMO   View all facts   Glossary   Help
Entity > Abstract > Class > Relation > Function > BinaryFunction > MinuteFn
Next BinaryFunctionMonthFn    UpBinaryFunction, TemporalRelation    Previous BinaryFunctionMereologicalSumFn   

MinuteFn comparison table
Subject have domain2 have domain1 be first domain of have range be second domain of documentation have axiom is a kind of is an instance of
BinaryFunction  identityElement distributesThe Class of Functions that require two arguments
(=>
(instance ?FUNCTION BinaryFunction)
(valence ?FUNCTION 2))
TernaryRelation 
TemporalRelation  valence subrelationThe Class of temporal Relations. This Class includes notions of (temporal) topology of intervals, (temporal) schemata, and (temporal) extension
(forall (?INT) (domain exhaustiveDecomposition ?INT Class))
Relation 
MinuteFnHourPositiveRealNumberidentityElementMinutedistributesA 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
(=>
(instance (MinuteFn ?NUMBER ?HOUR) Minute)
(lessThan ?NUMBER 60))
 TemporalRelation

Next BinaryFunctionMonthFn    UpBinaryFunction, TemporalRelation    Previous BinaryFunctionMereologicalSumFn