SUMO View all facts Glossary Help |
Entity > Abstract > Class > Relation > BinaryRelation > AntisymmetricRelation > AsymmetricRelation > contains |
contains comparison table |
Subject | is an instance of | documentation | is a kind of | have axiom |
---|---|---|---|---|
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 | (=> | |
contains | TransitiveRelation | Limits, bounds, confines, encloses or circumscribes - the surrounding relation for Objects. (contains ?OBJ1 ?OBJ2) means that the interior of ?OBJ1 wholly surrounds ?OBJ2 | (=> |
Next AsymmetricRelation: containsInformation Up: AsymmetricRelation, TransitiveRelation Previous AsymmetricRelation: closedOn