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

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


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

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


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


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