SUMO   View all facts   Glossary   Help
Entity > Abstract > Class > Relation > BinaryRelation > AntisymmetricRelation > AsymmetricRelation > contains
Next AsymmetricRelation: containsInformation    Up: AsymmetricRelation, TransitiveRelation    Previous AsymmetricRelation: closedOn   

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 IrreflexiveRelationIrreflexiveRelation
(=>
    (instance ?REL IrreflexiveRelation)
    (forall (?INST)
       (not 
          (holds ?REL ?INST ?INST))))
TransitiveRelation A BinaryRelation ?REL is transitive if (?REL ?INST1 ?INST2) and (?REL ?INST2 ?INST3) imply (?REL ?INST1 ?INST3), for all ?INST1, ?INST2, and ?INST3BinaryRelation
(=>
    (instance ?REL TransitiveRelation)
    (forall (?INST1 ?INST2 ?INST3)
       (=>
          (and
             (holds ?REL ?INST1 ?INST2)
             (holds ?REL ?INST2 ?INST3))
          (holds ?REL ?INST1 ?INST3))))
containsTransitiveRelationLimits, bounds, confines, encloses or circumscribes - the surrounding relation for Objects. (contains ?OBJ1 ?OBJ2) means that the interior of ?OBJ1 wholly surrounds ?OBJ2 
(=>
    (contains ?OBJ1 ?OBJ2)
    (forall (?PART2)
       (=>
          (part ?PART2 ?OBJ2)
          (exists (?PART1)
             (and
                (interiorPart ?PART1 ?OBJ1)
                (exactlyLocated ?PART2 ?PART1))))))

Next AsymmetricRelation: containsInformation    Up: AsymmetricRelation, TransitiveRelation    Previous AsymmetricRelation: closedOn