SUMO   View all facts   Glossary   Help
Entity > Abstract > Class > Relation > BinaryRelation > AntisymmetricRelation > AsymmetricRelation > front
Next AsymmetricRelation: hasPurpose    Up: AsymmetricRelation, TransitiveRelation    Previous AsymmetricRelation: frequency   

front comparison table
Subject documentation have inverse have axiom is a kind of is an instance of
AsymmetricRelationA BinaryRelation is asymmetric only if it is both an AntisymmetricRelation and an IrreflexiveRelation 
(=>
    (instance ?REL IrreflexiveRelation)
    (forall (?INST)
       (not 
          (holds ?REL ?INST ?INST))))
IrreflexiveRelation 
TransitiveRelationA 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 
frontThis is a cognitive primitive, derived from the front/back schema. (front ?OBJ1 ?OBJ2) means that ?OBJ1 is in front of ?OBJ2behind
(=>
    (instance ?REL TransitiveRelation)
    (forall (?INST1 ?INST2 ?INST3)
       (=>
          (and
             (holds ?REL ?INST1 ?INST2)
             (holds ?REL ?INST2 ?INST3))
          (holds ?REL ?INST1 ?INST3))))
 TransitiveRelation

Next AsymmetricRelation: hasPurpose    Up: AsymmetricRelation, TransitiveRelation    Previous AsymmetricRelation: frequency