SUMO View all facts Glossary Help |
Entity > Abstract > Class > Relation > BinaryRelation > UnaryFunction > WhenFn |
WhenFn 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 | subrelation | The 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 | |||
UnaryFunction | rangeSubclass | inverse | The Class of Functions that require a single argument | (=> | Function | |||
WhenFn | Physical | rangeSubclass | TimeInterval | inverse | A UnaryFunction that maps an Object or Process to the exact TimeInterval during which it exists. Note that, for every TimePoint ?TIME outside of the TimeInterval (WhenFn ?THING), ?THING is not existant at ?TIME | (starts (ImmediateFutureFn (WhenFn ?THING)) (FutureFn (WhenFn ?THING))) | UnaryFunction |
Next TemporalRelation: YearFn Up: TemporalRelation, UnaryFunction Previous TemporalRelation: time