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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Tongue
Tongue(tongue)
clapper, glossa, lingua, 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 10669-10670
(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 10667-10667 Tongue is a subclass of animal anatomical structure
(subclass Tongue BodyPart) Mid-level-ontology.kif 10668-10668 Tongue is a subclass of body part

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 10672-10677

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


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


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