SUMO   View all facts   Glossary   Help
Entity > Abstract > Class > Relation > Function > BinaryFunction > DayFn
Next BinaryFunctionDensityFn    UpBinaryFunction, TemporalRelation    Previous BinaryFunctionCommutativeFunction   

DayFn 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 
DayFnMonthPositiveIntegeridentityElementDaydistributesA BinaryFunction that maps a number and a Month to the corresponding Day of the Month. For example, (DayFn 18 (MonthFn 8 (YearFn 1912))) denotes the 18th day of August 1912
(=>
(instance (DayFn ?NUMBER ?MONTH) Day)
(lessThanOrEqualTo ?NUMBER 31))
 TemporalRelation

Next BinaryFunctionDensityFn    UpBinaryFunction, TemporalRelation    Previous BinaryFunctionCommutativeFunction