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 12331-12332
(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 12329-12329 Tongue is a subclass of animal anatomical structure
(subclass Tongue BodyPart) Mid-level-ontology.kif 12330-12330 Tongue is a subclass of body part

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


(muscleInsertion PalatoglossusMuscle Tongue) Muscles.kif 412-412 The insertion point of palatoglossus muscle is tongue
(muscleInsertion StyloglossusMuscle Tongue) Muscles.kif 403-403 The insertion point of styloglossus muscle is tongue
(termFormat ChineseLanguage Tongue "舌") domainEnglishFormat.kif 58455-58455 The insertion point of styloglossus muscle is tongue
(termFormat ChineseTraditionalLanguage Tongue "舌") domainEnglishFormat.kif 58454-58454 The insertion point of styloglossus muscle is tongue
(termFormat EnglishLanguage Tongue "tongue") domainEnglishFormat.kif 58453-58453 The insertion point of styloglossus muscle is tongue

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


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

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


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


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