Select language: english | cesky | deutsch | italiano | simplified chinese | traditional chinese | hindi
Concept:
English word:
Home

body part (BodyPart)

A collection of Cells and Tissues which are localized to a specific area of an Organism and which are not pathological. The instances of this Class range from gross structures to small components of complex Organs.

Ontology

SUMO / OBJECTS

Superclass(es)

[tree]
entity
is subclass of
  physical  
is subclass of
  object  
is subclass of
  self connected object  
is subclass of
  corpuscular object  
is subclass of
  organic object  
is subclass of
  anatomical structure  
is subclass of
  body part  

Subclass(es)

fruit or vegetable  body covering  body junction  body vessel  cell  organ 

Coordinate term(s)

reproductive body 

Related WordNet synsets

body part
any part of an organism such as an organ or extremity
body part is kind of (all)...   body part is kind of...   kinds of body part...   kinds of body part (all)...   body part is part of...   parts of body part...  
See more related synsets on a separate page.

Axioms (5)

If motion is an instance of body motion, then there exist body part obj,organism agent so that obj is a patient of motion and motion is an agent of agent. 
(=>
      (instance ?MOTION BodyMotion)
      (exists
            (?OBJ ?AGENT)
            (and
                  (instance ?OBJ BodyPart)
                  (patient ?MOTION ?OBJ)
                  (instance ?AGENT Organism)
                  (agent ?MOTION ?AGENT))))
If part is an instance of body part, then there doesn't exist pathologic process proc so that part is a result of proc. 
(=>
      (instance ?PART BodyPart)
      (not
            (exists
                  (?PROC)
                  (and
                        (instance ?PROC PathologicProcess)
                        (result ?PROC ?PART)))))
If cover is an instance of body covering, then there exists body so that cover is a superficial part of body and body is an instance of organism or body is an instance of body part. 
(=>
      (instance ?COVER BodyCovering)
      (exists
            (?BODY)
            (and
                  (superficialPart ?COVER ?BODY)
                  (or
                        (instance ?BODY Organism)
                        (instance ?BODY BodyPart)))))
If junct is an instance of body junction, then there exists body part struct so that junct is a component of struct. 
(=>
      (instance ?JUNCT BodyJunction)
      (exists
            (?STRUCT)
            (and
                  (instance ?STRUCT BodyPart)
                  (component ?JUNCT ?STRUCT))))
If junct is an instance of body junction, then there exist body part struct1,body part struct2 so that junct is connected to struct1 and junct is connected to struct2 and struct1 is not equal to struct2. 
(=>
      (instance ?JUNCT BodyJunction)
      (exists
            (?STRUCT1 ?STRUCT2)
            (and
                  (connected ?JUNCT ?STRUCT1)
                  (connected ?JUNCT ?STRUCT2)
                  (instance ?STRUCT1 BodyPart)
                  (instance ?STRUCT2 BodyPart)
                  (not
                        (equal ?STRUCT1 ?STRUCT2)))))