SUMO   View all facts   Glossary   Help
Entity > Physical > Object > SelfConnectedObject > CorpuscularObject > AnatomicalStructure > BodyPart > BodyJunction
Next BodyPart: Cell    Up: BodyPart    Previous BodyPart: Organ   

BodyJunction comparison table
Subject documentation is a kind of have axiom
BodyPartA collection of Cells and Tissues which are localized to a specific area and carry out one or more specialized functions of an Organism. The instances of this Class range from gross structures to small components of complex OrgansAnatomicalStructure
(=>
    (instance ?MOTION BodyMotion)
    (exists (?OBJ)
       (and
          (instance ?OBJ BodyPart)
          (patient ?MOTION ?OBJ))))
BodyJunctionThe place where two AnatomicalStructures meet or connectBodyPart
(=>
     (instance ?JUNCT BodyJunction)
     (exists (?STRUCT1 ?STRUCT2)
         (and
             (connected ?JUNCT ?STRUCT1)
 	      (connected ?JUNCT ?STRUCT2)
             (instance ?STRUCT1 AnatomicalStructure)
             (instance ?STRUCT2 AnatomicalStructure)
             (not
                 (equal ?STRUCT1 ?STRUCT2)))))

Next BodyPart: Cell    Up: BodyPart    Previous BodyPart: Organ