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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Tongue

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 11435-11436
(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 11433-11433 动物解剖结构subclass
(subclass Tongue BodyPart) Mid-level-ontology.kif 11434-11434 身体部位subclass

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


(muscleInsertion PalatoglossusMuscle Tongue) Muscles.kif 412-412 muscleInsertion PalatoglossusMuscle and
(muscleInsertion StyloglossusMuscle Tongue) Muscles.kif 403-403 muscleInsertion StyloglossusMuscle and
(termFormat ChineseLanguage Tongue "舌") domainEnglishFormat.kif 58418-58418
(termFormat ChineseTraditionalLanguage Tongue "舌") domainEnglishFormat.kif 58417-58417
(termFormat EnglishLanguage Tongue "tongue") domainEnglishFormat.kif 58416-58416

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


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

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


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


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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