BodyJunction - Sigma Knowledge base Browser

appearance as argument number 1

(documentation BodyJunction ChineseLanguage "这是两个 BodyPart 接触或相连的部位。")	chinese_format.kif 3513-3513
(documentation BodyJunction EnglishLanguage "The place where two BodyParts meet or connect.")	Merge.kif 15161-15162
(externalImage BodyJunction "http://upload.wikimedia.org/wikipedia/commons/ thumb/ 1/ 16/ Knee_diagram.png/ 250px_Knee_diagram.png")	pictureList.kif 1051-1051
(subclass BodyJunction BodyPart)	Merge.kif 15160-15160	Body junction is a subclass of body part

appearance as argument number 2

(subclass BodyJoint BodyJunction)	Mid-level-ontology.kif 12599-12599	Body joint is a subclass of body junction
(termFormat ChineseLanguage BodyJunction "身体连接处")	chinese_format.kif 1020-1020	Body joint is a subclass of body junction
(termFormat EnglishLanguage BodyJunction "body junction")	english_format.kif 1252-1252	Body joint is a subclass of body junction
(termFormat FrenchLanguage BodyJunction "junction de parties du corps")	french_format.kif 698-698	Body joint is a subclass of body junction
(termFormat Hindi BodyJunction "shaarIrika sandhi")	terms-hindi.txt 229-229	Body joint is a subclass of body junction
(termFormat ItalianLanguage BodyJunction "Giuntura")	terms-it.txt 232-232	Body joint is a subclass of body junction
(termFormat JapaneseLanguage BodyJunction "ボディジャンクション")	japanese_format.kif 2381-2381	Body joint is a subclass of body junction
(termFormat PortugueseLanguage BodyJunction "junta de partes do corpo")	portuguese_format.kif 650-650	Body joint is a subclass of body junction
(termFormat cz BodyJunction "body junction")	terms-cz.txt 267-267	Body joint is a subclass of body junction
(termFormat de BodyJunction "Koerperverzweigung")	terms-de.txt 526-526	Body joint is a subclass of body junction
(termFormat ro BodyJunction "articulaþie")	relations-ro.kif 719-719	Body joint is a subclass of body junction
(termFormat tg BodyJunction "salikop ng katawan")	terms-tg.txt 233-233	Body joint is a subclass of body junction

antecedent

(=>
    (instance ?JUNCT BodyJunction)
    (exists (?OBJ1 ?OBJ2)
        (and
            (instance ?OBJ1 BodyPart)
            (instance ?OBJ2 BodyPart)
            (connects ?JUNCT ?OBJ1 ?OBJ2))))

Merge.kif 15164-15170