SUMO View all facts Glossary Help |
Entity > Abstract > Class > Relation > BinaryRelation > AntisymmetricRelation > AsymmetricRelation > right |
right comparison table |
Subject | documentation | have inverse | have axiom | is a kind of | is an instance of |
---|---|---|---|---|---|
AsymmetricRelation | A BinaryRelation is asymmetric only if it is both an AntisymmetricRelation and an IrreflexiveRelation | (=> | IrreflexiveRelation | ||
TransitiveRelation | A BinaryRelation ?REL is transitive if (?REL ?INST1 ?INST2) and (?REL ?INST2 ?INST3) imply (?REL ?INST1 ?INST3), for all ?INST1, ?INST2, and ?INST3 | (=> | BinaryRelation | ||
right | This is a cognitive primitive, derived from the left/right schema. (right ?OBJ1 ?OBJ2) means that ?OBJ1 is to the right ?OBJ2 | left | (=> | TransitiveRelation |
Next AsymmetricRelation: sentenceOfLanguage Up: AsymmetricRelation, TransitiveRelation Previous AsymmetricRelation: reflexiveOn