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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Tongue
Tongue(舌)

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


(documentation Tongue EnglishLanguage "Part of the Mouth, used for Tasting Food, Vocalizing, and the initial stage of Digesting.") Mid-level-ontology.kif 10908-10909
(externalImage Tongue "http://upload.wikimedia.org/wikipedia/commons/a/a6/ Tongue.agr.jpg") pictureList.kif 191-191
(externalImage Tongue "http://www.adampease.org/Articulate/SUMOpictures/ pictures/ people/ bodypart/ mouth/ tongue.png") pictureList.kif 787-787
(subclass Tongue AnimalAnatomicalStructure) Mid-level-ontology.kif 10906-10906 动物解剖结构subclass
(subclass Tongue BodyPart) Mid-level-ontology.kif 10907-10907 身体部位subclass

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


(termFormat ChineseLanguage Tongue "舌") domainEnglishFormat.kif 58385-58385
(termFormat ChineseTraditionalLanguage Tongue "舌") domainEnglishFormat.kif 58384-58384
(termFormat EnglishLanguage Tongue "tongue") domainEnglishFormat.kif 58383-58383

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


(=>
    (instance ?TONGUE Tongue)
    (exists (?MOUTH)
        (and
            (instance ?MOUTH Mouth)
            (part ?TONGUE ?MOUTH))))
Mid-level-ontology.kif 10911-10916

consequent
-------------------------


(=>
    (instance ?L Licking)
    (exists (?T)
        (and
            (instance ?T Tongue)
            (instrument ?L ?T))))
Mid-level-ontology.kif 11084-11089


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