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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Mouth
Mouth

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


(documentation Mouth EnglishLanguage "Part of the Face, used for Ingesting Food and Vocalizing.") Mid-level-ontology.kif 9664-9665
(externalImage Mouth "http://upload.wikimedia.org/wikipedia/commons/9/99/ Mouth.jpg") pictureList.kif 134-134 externalImage Mouth and "http://upload.wikimedia.org/wikipedia/commons/9/99/ Mouth.jpg"
(externalImage Mouth "http://www.adampease.org/Articulate/SUMOpictures/pictures/ people/ bodypart/ mouth/ Mouth_2.png") pictureList.kif 608-608 externalImage Mouth and "http://www.adampease.org/Articulate/SUMOpictures/pictures/ people/ bodypart/ mouth/ Mouth_2.png"
(subclass Mouth AnimalAnatomicalStructure) Mid-level-ontology.kif 9662-9662 MouthAnimalAnatomicalStructuresubclass では %n
(subclass Mouth BodyPart) Mid-level-ontology.kif 9663-9663 Mouth体の部分subclass では %n

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


(termFormat ChineseLanguage Mouth "口") domainEnglishFormat.kif 38929-38929 termFormat ChineseLanguage, Mouth and "口"
(termFormat ChineseTraditionalLanguage Mouth "口") domainEnglishFormat.kif 38928-38928 termFormat ChineseTraditionalLanguage, Mouth and "口"
(termFormat EnglishLanguage Mouth "mouth") domainEnglishFormat.kif 38927-38927 termFormat EnglishLanguage, Mouth and "mouth"

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


(=>
    (instance ?MOUTH Mouth)
    (exists (?FACE)
        (and
            (instance ?FACE Face)
            (part ?MOUTH ?FACE))))
Mid-level-ontology.kif 9667-9672

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


(=>
    (and
        (instance ?BITE Biting)
        (agent ?BITE ?ANIMAL))
    (exists (?MOUTH)
        (and
            (instance ?MOUTH Mouth)
            (part ?MOUTH ?ANIMAL)
            (instrument ?BITE ?MOUTH))))
Mid-level-ontology.kif 6204-6212
(=>
    (and
        (instance ?SPIT Spitting)
        (agent ?SPIT ?ANIMAL))
    (exists (?MOUTH)
        (and
            (instance ?MOUTH Mouth)
            (part ?MOUTH ?ANIMAL)
            (origin ?SPIT ?MOUTH))))
Mid-level-ontology.kif 6243-6251
(=>
    (instance ?LIP Lip)
    (exists (?MOUTH)
        (and
            (instance ?MOUTH Mouth)
            (part ?LIP ?MOUTH))))
Mid-level-ontology.kif 9814-9819
(=>
    (instance ?THROAT Throat)
    (exists (?MOUTH)
        (and
            (instance ?MOUTH Mouth)
            (connected ?THROAT ?MOUTH))))
Mid-level-ontology.kif 9946-9951
(=>
    (instance ?TONGUE Tongue)
    (exists (?MOUTH)
        (and
            (instance ?MOUTH Mouth)
            (part ?TONGUE ?MOUTH))))
Mid-level-ontology.kif 9679-9684
(=>
    (instance ?TOOTH Tooth)
    (exists (?MOUTH)
        (and
            (instance ?MOUTH Mouth)
            (part ?TOOTH ?MOUTH))))
Mid-level-ontology.kif 9714-9719


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners