SUMO   View all facts   Glossary   Help
Entity > Abstract > Class > Relation > BinaryRelation > UnaryFunction > BeginFn
Next TemporalRelationcooccur    UpTemporalRelation, UnaryFunction    Previous TemporalRelationbefore   

BeginFn comparison table
Subject have domain1 be first domain of have range be second domain of documentation have axiom is a kind of is an instance of
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))
UnaryFunction rangeSubclass inverseThe Class of Functions that require a single argument
(instance ?FUNCTION UnaryFunction)
(valence ?FUNCTION 1))
BeginFnTimeIntervalrangeSubclassTimePointinverseA UnaryFunction that maps a TimeInterval to the TimePoint at which the interval begins
(equal (BeginFn (PastFn ?TIME)) NegativeInfinity)

Next TemporalRelationcooccur    UpTemporalRelation, UnaryFunction    Previous TemporalRelationbefore