SUMO   View all facts   Glossary   Help
Entity > Abstract > Class > Relation > Function > BinaryFunction > SecondFn
Next BinaryFunctionUnionFn    UpBinaryFunction, TemporalRelation    Previous BinaryFunctionRemainderFn   

SecondFn 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 
SecondFnMinutePositiveRealNumberidentityElementSeconddistributesA 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
(=>
(instance (SecondFn ?NUMBER ?MINUTE) Second)
(lessThan ?NUMBER 60))
 TemporalRelation

Next BinaryFunctionUnionFn    UpBinaryFunction, TemporalRelation    Previous BinaryFunctionRemainderFn