SUMO   View all facts   Glossary   Help
Entity > Abstract > Class > Relation > BinaryRelation > AntisymmetricRelation > AsymmetricRelation > above
Next AsymmetricRelationauthors    UpAsymmetricRelation, TransitiveRelation    Previous AsymmetricRelationversion   

above 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 
aboveThis is a cognitive primitive, derived from the up/down schema and not involving contact. (above ?OBJ1 ?OBJ2) means that ?OBJ1 is above ?OBJ2below
(=>
(under ?OBJ1 ?OBJ2)
(or
(on ?OBJ2 ?OBJ1)
(above ?OBJ2 ?OBJ1)))
 TransitiveRelation

Next AsymmetricRelationauthors    UpAsymmetricRelation, TransitiveRelation    Previous AsymmetricRelationversion