SUMO   View all facts   Glossary   Help
Entity > Physical > Object > SelfConnectedObject > CorpuscularObject > AnatomicalStructure > BodyPart
Next AnatomicalStructureEmbryonicStructure    UpAnatomicalStructure    Previous AnatomicalStructureFullyFormedAnatomicalStructure   

BodyPart
subjectfact 
BodyPartdocumentation A 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 Organs2001-11-30 13:33:46.0
has axiom
(=>
(instance ?PART BodyPart)
(exists (?CELL)
(and
(instance ?CELL Cell)
(part ?CELL ?PART))))
2001-11-30 13:33:46.0
has axiom
(=>
(instance ?MOTION BodyMotion)
(exists (?OBJ)
(and
(instance ?OBJ BodyPart)
(patient ?MOTION ?OBJ))))
2001-11-30 13:33:46.0
is a kind of AnatomicalStructure2001-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

Kinds of BodyPart :