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 14048-14049
(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 14047-14047

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


(subclass BodyJoint BodyJunction) Mid-level-ontology.kif 9068-9068
(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 14051-14057


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 3.0 is open source software produced by Articulate Software and its partners