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

Giuntura (BodyJunction)

The place where two BodyParts meet or connect.

Ontology

SUMO / OBJECTS

Superclass(es)

[tree]
Entitá
is subclass of
  EntitáConcreta  
is subclass of
  Oggetto  
is subclass of
  OggettoIntegro  
is subclass of
  OggettoCorpuscolare  
is subclass of
  EntitáOrganica  
is subclass of
  StrutturaAnatomica  
is subclass of
  ParteDelCorpo  
is subclass of
  Giuntura  

Coordinate term(s)

RivestimentoDiOrganismi  Vaso  Cellula  FruttaOVerdura  Organo 

Related WordNet synsets

See more related synsets on a separate page.

Axioms (2)

Se junct é un' istanza di Giuntura, allora esiste ParteDelCorpo struct tale che junct é un componente distruct.
(=>
      (instance ?JUNCT BodyJunction)
      (exists
            (?STRUCT)
            (and
                  (instance ?STRUCT BodyPart)
                  (component ?JUNCT ?STRUCT))))

Se junct é un' istanza di Giuntura, allora esiste ParteDelCorpo struct1,ParteDelCorpo struct2 tale che junct é connesso a struct1 e junct é connesso a struct2 e struct1 is not uguale a struct2.
(=>
      (instance ?JUNCT BodyJunction)
      (exists
            (?STRUCT1 ?STRUCT2)
            (and
                  (connected ?JUNCT ?STRUCT1)
                  (connected ?JUNCT ?STRUCT2)
                  (instance ?STRUCT1 BodyPart)
                  (instance ?STRUCT2 BodyPart)
                  (not
                        (equal ?STRUCT1 ?STRUCT2)))))