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 11413-11413 a %1 is connected to a %2 mouth and esophagus
(connectedBodyPart Mouth Trachea) Mid-level-ontology.kif 11440-11440 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 10794-10795
(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 10792-10792 Mouth is a subclass of animal anatomical structure
(subclass Mouth BodyOrifice) Mid-level-ontology.kif 11427-11427 Mouth is a subclass of BodyOrifice
(subclass Mouth BodyPart) Mid-level-ontology.kif 10793-10793 Mouth is a subclass of body part
(typicalPart Mouth GastroIntestinalTract) Mid-level-ontology.kif 11407-11407 A mouth is typically a part of a GI

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


(initialPart SalivaryGland Mouth) Mid-level-ontology.kif 11661-11661 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 11660-11660 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 10797-10802

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


(=>
    (and
        (instance ?BITE Biting)
        (agent ?BITE ?ANIMAL))
    (exists (?MOUTH)
        (and
            (instance ?MOUTH Mouth)
            (part ?MOUTH ?ANIMAL)
            (instrument ?BITE ?MOUTH))))
Mid-level-ontology.kif 6160-6168
(=>
    (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 6232-6244
(=>
    (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 6212-6222
(=>
    (and
        (instance ?SPIT Spitting)
        (agent ?SPIT ?ANIMAL))
    (exists (?MOUTH)
        (and
            (instance ?MOUTH Mouth)
            (part ?MOUTH ?ANIMAL)
            (origin ?SPIT ?MOUTH))))
Mid-level-ontology.kif 6198-6206
(=>
    (instance ?LIP Lip)
    (exists (?MOUTH)
        (and
            (instance ?MOUTH Mouth)
            (part ?LIP ?MOUTH))))
Mid-level-ontology.kif 10946-10951
(=>
    (instance ?THROAT Throat)
    (exists (?MOUTH)
        (and
            (instance ?MOUTH Mouth)
            (connected ?THROAT ?MOUTH))))
Mid-level-ontology.kif 11080-11085
(=>
    (instance ?TONGUE Tongue)
    (exists (?MOUTH)
        (and
            (instance ?MOUTH Mouth)
            (part ?TONGUE ?MOUTH))))
Mid-level-ontology.kif 10809-10814
(=>
    (instance ?TOOTH Tooth)
    (exists (?MOUTH)
        (and
            (instance ?MOUTH Mouth)
            (part ?TOOTH ?MOUTH))))
Mid-level-ontology.kif 10844-10849


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