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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Mouth

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 9663-9664
(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 9661-9661 MouthAnimalAnatomicalStructuresubclass
(subclass Mouth BodyPart) Mid-level-ontology.kif 9662-9662 Mouth身体部位subclass

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


(termFormat EnglishLanguage Mouth "mouth") domainEnglishFormat.kif 6921-6921 termFormat EnglishLanguage, Mouth and "mouth"

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


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

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


(=>
    (and
        (instance ?BITE Biting)
        (agent ?BITE ?ANIMAL))
    (exists (?MOUTH)
        (and
            (instance ?MOUTH Mouth)
            (part ?MOUTH ?ANIMAL)
            (instrument ?BITE ?MOUTH))))
Mid-level-ontology.kif 6203-6211
(=>
    (and
        (instance ?SPIT Spitting)
        (agent ?SPIT ?ANIMAL))
    (exists (?MOUTH)
        (and
            (instance ?MOUTH Mouth)
            (part ?MOUTH ?ANIMAL)
            (origin ?SPIT ?MOUTH))))
Mid-level-ontology.kif 6242-6250
(=>
    (instance ?LIP Lip)
    (exists (?MOUTH)
        (and
            (instance ?MOUTH Mouth)
            (part ?LIP ?MOUTH))))
Mid-level-ontology.kif 9813-9818
(=>
    (instance ?THROAT Throat)
    (exists (?MOUTH)
        (and
            (instance ?MOUTH Mouth)
            (connected ?THROAT ?MOUTH))))
Mid-level-ontology.kif 9945-9950
(=>
    (instance ?TONGUE Tongue)
    (exists (?MOUTH)
        (and
            (instance ?MOUTH Mouth)
            (part ?TONGUE ?MOUTH))))
Mid-level-ontology.kif 9678-9683
(=>
    (instance ?TOOTH Tooth)
    (exists (?MOUTH)
        (and
            (instance ?MOUTH Mouth)
            (part ?TOOTH ?MOUTH))))
Mid-level-ontology.kif 9713-9718


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