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

BodyJunction
subjectfact 
BodyJunctiondocumentation The place where two AnatomicalStructures meet or connect2001-11-30 13:33:46.0
has axiom 
(=>
     (instance ?JUNCT BodyJunction)
     (exists (?STRUCT)
         (and
             (instance ?STRUCT AnatomicalStructure)
             (component ?JUNCT ?STRUCT))))
2001-11-30 13:33:46.0
has axiom 
(=>
     (instance ?JUNCT BodyJunction)
     (exists (?STRUCT1 ?STRUCT2)
         (and
             (connected ?JUNCT ?STRUCT1)
 	      (connected ?JUNCT ?STRUCT2)
             (instance ?STRUCT1 AnatomicalStructure)
             (instance ?STRUCT2 AnatomicalStructure)
             (not
                 (equal ?STRUCT1 ?STRUCT2)))))
2001-11-30 13:33:46.0
is a kind of BodyPart2001-11-30 13:33:46.0
AnatomicalStructureis disjoint from Organism2001-11-30 13:33:36.0
CorpuscularObjectis first domain of component2001-11-30 13:33:58.0
is second domain of component2001-11-30 13:33:58.0
is second domain of material2001-11-30 13:33:58.0
Objectis third domain of between2001-11-30 13:34:51.0
is third domain of capability2001-11-30 13:34:51.0
is third domain of connects2001-11-30 13:34:51.0