SUMO   View all facts   Glossary   Help
Entity > Physical > Object > SelfConnectedObject > CorpuscularObject > AnatomicalStructure > BodyPart
Next AnatomicalStructure: EmbryonicStructure    Up: AnatomicalStructure    Previous AnatomicalStructure: FullyFormedAnatomicalStructure   

BodyPart comparison table
Subject documentation have axiom
BodyJunctionThe place where two AnatomicalStructures meet or connect
(=>
     (instance ?JUNCT BodyJunction)
     (exists (?STRUCT1 ?STRUCT2)
         (and
             (connected ?JUNCT ?STRUCT1)
 	      (connected ?JUNCT ?STRUCT2)
             (instance ?STRUCT1 AnatomicalStructure)
             (instance ?STRUCT2 AnatomicalStructure)
             (not
                 (equal ?STRUCT1 ?STRUCT2)))))
CellThe fundamental structural and functional unit of living Organisms
(=>
 	(instance ?CHLAMYD Chlamydia)
 	(exists (?CELL ?ANIMAL)
 		(and
 			(inhabits ?CHLAMYD ?CELL)
 			(instance ?CELL Cell)
 			(component ?CELL ?ANIMAL)
 			(or
 				(instance ?ANIMAL Insect)
 				(instance ?ANIMAL Tick)))))
CellWallThe permeable wall that encloses the Cells of most Organisms
(=>
     (instance ?WALL CellWall)
     (exists (?CELL)
         (and
             (instance ?CELL Cell)
             (part ?WALL ?CELL))))
OrganA somewhat independent BodyPart that performs a specialized function
(=>
    (instance ?ORGAN Organ)
    (exists (?PURP)
       (hasPurpose ?ORGAN ?PURP)))

Next AnatomicalStructure: EmbryonicStructure    Up: AnatomicalStructure    Previous AnatomicalStructure: FullyFormedAnatomicalStructure