SUMO   View all facts   Glossary   Help
Entity > Abstract > Class > Relation > BinaryRelation > AntisymmetricRelation > AsymmetricRelation > penetrates
Next AsymmetricRelation: possesses    Up: AsymmetricRelation, IntransitiveRelation    Previous AsymmetricRelation: partialOrderingOn   

penetrates 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))))
IntransitiveRelation A BinaryRelation ?REL is intransitive only if (?REL ?INST1 ?INST2) and (?REL ?INST2 ?INST3) imply not (?REL ?INST1 ?INST3), for all ?INST1, ?INST2, and ?INST3BinaryRelation
(=> 
    (instance ?REL IntransitiveRelation)
    (forall (?INST1 ?INST2 ?INST3)
       (=> 
          (and 
             (holds ?REL ?INST1 ?INST2)
             (holds ?REL ?INST2 ?INST3))
          (not 
             (holds ?REL ?INST1 ?INST3)))))
penetratesIntransitiveRelation(penetrates ?OBJ1 ?OBJ2) means that ?OBJ1 is connected to ?OBJ2 along at least one whole dimension (length, width or depth) 
(=>
    (traverses ?OBJ1 ?OBJ2)
    (or
       (crosses ?OBJ1 ?OBJ2)
       (penetrates ?OBJ1 ?OBJ2)))

Next AsymmetricRelation: possesses    Up: AsymmetricRelation, IntransitiveRelation    Previous AsymmetricRelation: partialOrderingOn