tělní kloub (BodyJunction)
The place where two BodyParts
meet or connect.
Ontologie
SUMO / OBJECTSNadtřída(y)
Související termín(y)
pokožka
céva
buňka
ovoce a zelenina
orgán
Related WordNet synsets
See more related synsets on a separate page.
Axiomy (2)
Jestliže junct je instancí třídy tělní kloub, potom existuje část těla struct tak, že junct je a component of struct.
(=>
(instance ?JUNCT BodyJunction)
(exists
(?STRUCT)
(and
(instance ?STRUCT BodyPart)
(component ?JUNCT ?STRUCT))))
Jestliže junct je instancí třídy tělní kloub, potom existují část těla struct1,část těla struct2 tak, že junct je spojen s struct1 a junct je spojen s struct2 a struct1 se nerovná struct2.
(=>
(instance ?JUNCT BodyJunction)
(exists
(?STRUCT1 ?STRUCT2)
(and
(connected ?JUNCT ?STRUCT1)
(connected ?JUNCT ?STRUCT2)
(instance ?STRUCT1 BodyPart)
(instance ?STRUCT2 BodyPart)
(not
(equal ?STRUCT1 ?STRUCT2)))))