SUMO   View all facts   Glossary   Help
Entity > Abstract > Class > Relation > BinaryRelation > IrreflexiveRelation > before
Next IrreflexiveRelation: connectedEngineeringComponents    Up: IrreflexiveRelation, TemporalRelation, TransitiveRelation    Previous IrreflexiveRelation: AsymmetricRelation   

before 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
IrreflexiveRelation  trichotomizingOninverseRelation ?REL is irreflexive if (?REL ?INST ?INST) holds for no value of ?INST
(=>
    (instance ?REL IrreflexiveRelation)
    (forall (?INST)
       (not 
          (holds ?REL ?INST ?INST))))
BinaryRelation 
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 
TransitiveRelation  trichotomizingOninverseA BinaryRelation ?REL is transitive if (?REL ?INST1 ?INST2) and (?REL ?INST2 ?INST3) imply (?REL ?INST1 ?INST3), for all ?INST1, ?INST2, and ?INST3
(=>
    (instance ?REL TransitiveRelation)
    (forall (?INST1 ?INST2 ?INST3)
       (=>
          (and
             (holds ?REL ?INST1 ?INST2)
             (holds ?REL ?INST2 ?INST3))
          (holds ?REL ?INST1 ?INST3))))
BinaryRelation 
beforeTimePointTimePointvalencesubrelation(before ?POINT1 ?POINT2) means that ?POINT1 precedes ?POINT2 on the universal timeline
(=>
    (instance ?REL TransitiveRelation)
    (forall (?INST1 ?INST2 ?INST3)
       (=>
          (and
             (holds ?REL ?INST1 ?INST2)
             (holds ?REL ?INST2 ?INST3))
          (holds ?REL ?INST1 ?INST3))))
 TransitiveRelation

Next IrreflexiveRelation: connectedEngineeringComponents    Up: IrreflexiveRelation, TemporalRelation, TransitiveRelation    Previous IrreflexiveRelation: AsymmetricRelation