SUMO   View all facts   Glossary   Help
Entity > Abstract > Class > Relation > BinaryRelation > AntisymmetricRelation > PartialOrderingRelation > beforeEq
Next BinaryPredicate: birthTime    Up: BinaryPredicate, PartialOrderingRelation    Previous BinaryPredicate: authors   

beforeEq comparison table
Subject have domain2 have domain1 be first domain of documentation have axiom is a kind of is an instance of
BinaryPredicate  singleValuedA Predicate relating two items - its valence is two
(=>
 	(instance ?REL BinaryPredicate)
 	(valence ?REL 2))
Predicate 
PartialOrderingRelation  trichotomizingOnA 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 
beforeEqTimePointTimePointsingleValued(beforeEq ?POINT1 ?POINT2) means that ?POINT1 is identical with ?POINT2 or occurs before it on the universal timeline
(=>
 	(instance ?REL BinaryPredicate)
 	(valence ?REL 2))
 PartialOrderingRelation

Next BinaryPredicate: birthTime    Up: BinaryPredicate, PartialOrderingRelation    Previous BinaryPredicate: authors