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

body junction (BodyJunction)

The place where two BodyParts meet or connect.

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  
is subclass of
  body junction  

Coordinate term(s)

body covering  body vessel  cell  fruit or vegetable  organ 

Related WordNet synsets

See more related synsets on a separate page.

Axioms (2)

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)))))