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 11653-11654
(externalImage Tongue "http://articulatesoftware.com/SUMOpictures/people/ bodypart/ mouth/ tongue.png") pictureList.kif 787-787
(externalImage Tongue "http://upload.wikimedia.org/wikipedia/commons/a/a6/ Tongue.agr.jpg") pictureList.kif 191-191
(subclass Tongue AnimalAnatomicalStructure) Mid-level-ontology.kif 11651-11651
(subclass Tongue BodyPart) Mid-level-ontology.kif 11652-11652

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


(muscleInsertion PalatoglossusMuscle Tongue) Muscles.kif 412-412
(muscleInsertion StyloglossusMuscle Tongue) Muscles.kif 403-403
(termFormat ChineseLanguage Tongue "舌") domainEnglishFormat.kif 58457-58457
(termFormat ChineseTraditionalLanguage Tongue "舌") domainEnglishFormat.kif 58456-58456
(termFormat EnglishLanguage Tongue "tongue") domainEnglishFormat.kif 58455-58455

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


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

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


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


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