Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - BodyJunction
BodyJunction

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 13996-13997
(externalImage BodyJunction "http://upload.wikimedia.org/wikipedia/commons/ thumb/ 1/ 16/ Knee_diagram.png/ 250px-Knee_diagram.png") pictureList.kif 1052-1052
(subclass BodyJunction BodyPart) Merge.kif 13995-13995 subclass BodyJunction and BodyPart

appearance as argument number 2
-------------------------


(subclass BodyJoint BodyJunction) Mid-level-ontology.kif 9946-9946 subclass BodyJoint and BodyJunction
(termFormat ChineseLanguage BodyJunction "身体连接处") chinese_format.kif 1020-1020
(termFormat EnglishLanguage BodyJunction "body junction") english_format.kif 1257-1257

antecedent
-------------------------


(=>
    (instance ?JUNCT BodyJunction)
    (exists (?OBJ1 ?OBJ2)
        (and
            (instance ?OBJ1 BodyPart)
            (instance ?OBJ2 BodyPart)
            (connects ?JUNCT ?OBJ1 ?OBJ2))))
Merge.kif 13999-14005


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners