SUMO   View all facts   Glossary   Help
Entity > Abstract > Class > Relation > BinaryRelation > AntisymmetricRelation > AsymmetricRelation > right
Next AsymmetricRelation: sentenceOfLanguage    Up: AsymmetricRelation, TransitiveRelation    Previous AsymmetricRelation: reflexiveOn   

right 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 
rightThis is a cognitive primitive, derived from the left/right schema. (right ?OBJ1 ?OBJ2) means that ?OBJ1 is to the right ?OBJ2left
(=>
    (instance ?REL TransitiveRelation)
    (forall (?INST1 ?INST2 ?INST3)
       (=>
          (and
             (holds ?REL ?INST1 ?INST2)
             (holds ?REL ?INST2 ?INST3))
          (holds ?REL ?INST1 ?INST3))))
 TransitiveRelation

Next AsymmetricRelation: sentenceOfLanguage    Up: AsymmetricRelation, TransitiveRelation    Previous AsymmetricRelation: reflexiveOn