SUMO   View all facts   Glossary   Help
Entity > Abstract > Class > Relation > Function > BinaryFunction > MonthFn
Next BinaryFunctionRelativeComplementFn    UpBinaryFunction, TemporalRelation    Previous BinaryFunctionMinuteFn   

MonthFn 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 
MonthFnYearPositiveIntegeridentityElementMonthdistributesA BinaryFunction that maps a number and a Year to the corresponding Month of the Year. For example (MonthFn 8 (YearFn 1912)) denotes the eighth Month, i.e. August, of the Year 1912
(=>
(instance (MonthFn ?NUMBER ?YEAR) Month)
(lessThanOrEqualTo ?NUMBER 12))
 TemporalRelation

Next BinaryFunctionRelativeComplementFn    UpBinaryFunction, TemporalRelation    Previous BinaryFunctionMinuteFn