SUMO   View all facts   Glossary   Help
Entity > Abstract > Class > Relation > BinaryRelation > AntisymmetricRelation > PartialOrderingRelation > overlapsTemporally
Next BinaryPredicateparent    UpBinaryPredicate, PartialOrderingRelation, TemporalRelation    Previous BinaryPredicatemember   

overlapsTemporally comparison table
Subject have domain2 have domain1 be first domain of be second domain of documentation have axiom is a kind of is an instance of
BinaryPredicate  singleValuedinverseA Predicate relating two items - its valence is two
(=>
(instance ?REL BinaryPredicate)
(valence ?REL 2))
Predicate 
PartialOrderingRelation  trichotomizingOninverseA BinaryRelation is a partial ordering if it is a ReflexiveRelation, an AntisymmetricRelation, and a TransitiveRelation
(=>
(instance ?REL TransitiveRelation)
(forall (?INST1 ?INST2 ?INST3)
(=>
(and
(holds ?REL ?INST1 ?INST2)
(holds ?REL ?INST2 ?INST3))
(holds ?REL ?INST1 ?INST3))))
TransitiveRelation 
TemporalRelation  valencesubrelationThe 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 
overlapsTemporallyTimeIntervalTimeIntervalvalencesubrelation(overlapsTemporally ?INTERVAL1 ?INTERVAL2) means that the two TimeIntervals ?INTERVAL1 and ?INTERVAL2 have a TimeInterval in common. Note that this is consistent with ?INTERVAL1 and ?INTERVAL2 being the same TimeInterval
(=>
(and
(time ?PHYS ?TIME1)
(time ?PHYS ?TIME2))
(or
(overlapsTemporally ?TIME1 ?TIME2)
(temporalPart ?TIME1 ?TIME2)
(temporalPart ?TIME2 ?TIME1)))
 TemporalRelation

Next BinaryPredicateparent    UpBinaryPredicate, PartialOrderingRelation, TemporalRelation    Previous BinaryPredicatemember