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

Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - Knuckle
Knuckle

appearance as argument number 1
-------------------------


(documentation Knuckle EnglishLanguage "Any joint in a Finger.") Mid-level-ontology.kif 14124-14124
(subclass Knuckle BodyJoint) Mid-level-ontology.kif 14123-14123

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


(termFormat ChineseLanguage Knuckle "指关节") domainEnglishFormat.kif 32742-32742
(termFormat ChineseTraditionalLanguage Knuckle "指關節") domainEnglishFormat.kif 32741-32741
(termFormat EnglishLanguage Knuckle "knuckle") domainEnglishFormat.kif 32740-32740

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


(=>
    (instance ?KNUCKLE Knuckle)
    (exists (?FINGER)
        (and
            (instance ?FINGER Finger)
            (part ?KNUCKLE ?FINGER))))
Mid-level-ontology.kif 14126-14131


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