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 13412-13412 A mouth is connected to a esophagus
(connectedBodyPart Mouth Trachea) Mid-level-ontology.kif 13439-13439 A mouth is connected to a trachea
(documentation Mouth EnglishLanguage "Part of the Face, used for Ingesting Food and Vocalizing.") Mid-level-ontology.kif 12772-12773 A mouth is connected to a trachea
(externalImage Mouth "http://articulatesoftware.com/SUMOpictures/people/ bodypart/ mouth/ Mouth_2.png") pictureList.kif 608-608 A mouth is connected to a trachea
(externalImage Mouth "http://upload.wikimedia.org/wikipedia/commons/9/99/ Mouth.jpg") pictureList.kif 134-134 A mouth is connected to a trachea
(subclass Mouth AnimalAnatomicalStructure) Mid-level-ontology.kif 12770-12770 Mouth is a subclass of animal anatomical structure
(subclass Mouth BodyOrifice) Mid-level-ontology.kif 13426-13426 Mouth is a subclass of body orifice
(subclass Mouth BodyPart) Mid-level-ontology.kif 12771-12771 Mouth is a subclass of body part
(typicalPart Mouth GastroIntestinalTract) Mid-level-ontology.kif 13406-13406 A mouth is typically a part of a GI

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


(initialPart SalivaryGland Mouth) Mid-level-ontology.kif 13659-13659 Every salivary gland is initially part of a mouth
(termFormat ChineseLanguage Mouth "口") domainEnglishFormat.kif 39037-39037 Every salivary gland is initially part of a mouth
(termFormat ChineseTraditionalLanguage Mouth "口") domainEnglishFormat.kif 39036-39036 Every salivary gland is initially part of a mouth
(termFormat EnglishLanguage Mouth "mouth") domainEnglishFormat.kif 39035-39035 Every salivary gland is initially part of a mouth
(typicalPart SalivaryGland Mouth) Mid-level-ontology.kif 13658-13658 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 12775-12780

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


(=>
    (and
        (instance ?BITE Biting)
        (agent ?BITE ?ANIMAL))
    (exists (?MOUTH)
        (and
            (instance ?MOUTH Mouth)
            (part ?MOUTH ?ANIMAL)
            (instrument ?BITE ?MOUTH))))
Mid-level-ontology.kif 7478-7486
(=>
    (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 7558-7570
(=>
    (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 7530-7540
(=>
    (and
        (instance ?SPIT Spitting)
        (agent ?SPIT ?ANIMAL))
    (exists (?MOUTH)
        (and
            (instance ?MOUTH Mouth)
            (part ?MOUTH ?ANIMAL)
            (origin ?SPIT ?MOUTH))))
Mid-level-ontology.kif 7516-7524
(=>
    (instance ?LIP Lip)
    (exists (?MOUTH)
        (and
            (instance ?MOUTH Mouth)
            (part ?LIP ?MOUTH))))
Mid-level-ontology.kif 12942-12947
(=>
    (instance ?THROAT Throat)
    (exists (?MOUTH)
        (and
            (instance ?MOUTH Mouth)
            (connected ?THROAT ?MOUTH))))
Mid-level-ontology.kif 13076-13081
(=>
    (instance ?TONGUE Tongue)
    (exists (?MOUTH)
        (and
            (instance ?MOUTH Mouth)
            (part ?TONGUE ?MOUTH))))
Mid-level-ontology.kif 12787-12792
(=>
    (instance ?TOOTH Tooth)
    (exists (?MOUTH)
        (and
            (instance ?MOUTH Mouth)
            (part ?TOOTH ?MOUTH))))
Mid-level-ontology.kif 12822-12827


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