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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Mouth
Mouth(mouth)
mouth, oral_cavity, oral_fissure, rima_oris

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


(connectedBodyPart Mouth Esophagus) Mid-level-ontology.kif 11541-11541 a %1 is connected to a %2 mouth and esophagus
(connectedBodyPart Mouth Trachea) Mid-level-ontology.kif 11568-11568 a %1 is connected to a %2 mouth and trachea
(documentation Mouth EnglishLanguage "Part of the Face, used for Ingesting Food and Vocalizing.") Mid-level-ontology.kif 10922-10923
(externalImage Mouth "http://upload.wikimedia.org/wikipedia/commons/9/99/ Mouth.jpg") pictureList.kif 134-134
(externalImage Mouth "http://www.adampease.org/Articulate/SUMOpictures/pictures/ people/ bodypart/ mouth/ Mouth_2.png") pictureList.kif 608-608
(subclass Mouth AnimalAnatomicalStructure) Mid-level-ontology.kif 10920-10920 Mouth is a subclass of animal anatomical structure
(subclass Mouth BodyOrifice) Mid-level-ontology.kif 11555-11555 Mouth is a subclass of BodyOrifice
(subclass Mouth BodyPart) Mid-level-ontology.kif 10921-10921 Mouth is a subclass of body part
(typicalPart Mouth GastroIntestinalTract) Mid-level-ontology.kif 11535-11535 A mouth is typically a part of a GI

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


(initialPart SalivaryGland Mouth) Mid-level-ontology.kif 11789-11789 Every salivary gland is initially part of a mouth
(termFormat ChineseLanguage Mouth "口") domainEnglishFormat.kif 38994-38994
(termFormat ChineseTraditionalLanguage Mouth "口") domainEnglishFormat.kif 38993-38993
(termFormat EnglishLanguage Mouth "mouth") domainEnglishFormat.kif 38992-38992
(typicalPart SalivaryGland Mouth) Mid-level-ontology.kif 11788-11788 A salivary gland is typically a part of a mouth

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


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

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


(=>
    (and
        (instance ?BITE Biting)
        (agent ?BITE ?ANIMAL))
    (exists (?MOUTH)
        (and
            (instance ?MOUTH Mouth)
            (part ?MOUTH ?ANIMAL)
            (instrument ?BITE ?MOUTH))))
Mid-level-ontology.kif 6184-6192
(=>
    (and
        (instance ?S Swallowing)
        (agent ?S ?H))
    (exists (?M ?E ?ST ?O)
        (and
            (instance ?M Mouth)
            (instance ?E Esophagus)
            (instance ?ST Stomach)
            (objectTransferred ?S ?O)
            (origin ?S ?M)
            (destination ?S ?ST)
            (path ?S ?E))))
Mid-level-ontology.kif 6256-6268
(=>
    (and
        (instance ?SPIT Drooling)
        (experiencer ?SPIT ?ANIMAL))
    (exists (?MOUTH ?S)
        (and
            (instance ?MOUTH Mouth)
            (objectTransferred ?SPIT ?S)
            (instance ?S Saliva)
            (part ?MOUTH ?ANIMAL)
            (origin ?SPIT ?MOUTH))))
Mid-level-ontology.kif 6236-6246
(=>
    (and
        (instance ?SPIT Spitting)
        (agent ?SPIT ?ANIMAL))
    (exists (?MOUTH)
        (and
            (instance ?MOUTH Mouth)
            (part ?MOUTH ?ANIMAL)
            (origin ?SPIT ?MOUTH))))
Mid-level-ontology.kif 6222-6230
(=>
    (instance ?LIP Lip)
    (exists (?MOUTH)
        (and
            (instance ?MOUTH Mouth)
            (part ?LIP ?MOUTH))))
Mid-level-ontology.kif 11074-11079
(=>
    (instance ?THROAT Throat)
    (exists (?MOUTH)
        (and
            (instance ?MOUTH Mouth)
            (connected ?THROAT ?MOUTH))))
Mid-level-ontology.kif 11208-11213
(=>
    (instance ?TONGUE Tongue)
    (exists (?MOUTH)
        (and
            (instance ?MOUTH Mouth)
            (part ?TONGUE ?MOUTH))))
Mid-level-ontology.kif 10937-10942
(=>
    (instance ?TOOTH Tooth)
    (exists (?MOUTH)
        (and
            (instance ?MOUTH Mouth)
            (part ?TOOTH ?MOUTH))))
Mid-level-ontology.kif 10972-10977


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