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

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


(initialPart SalivaryGland Mouth) Mid-level-ontology.kif 12309-12309 Every salivary gland is initially part of a mouth
(termFormat ChineseLanguage Mouth "口") domainEnglishFormat.kif 39009-39009
(termFormat ChineseTraditionalLanguage Mouth "口") domainEnglishFormat.kif 39008-39008
(termFormat EnglishLanguage Mouth "mouth") domainEnglishFormat.kif 39007-39007
(typicalPart SalivaryGland Mouth) Mid-level-ontology.kif 12308-12308 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 11425-11430

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


(=>
    (and
        (instance ?BITE Biting)
        (agent ?BITE ?ANIMAL))
    (exists (?MOUTH)
        (and
            (instance ?MOUTH Mouth)
            (part ?MOUTH ?ANIMAL)
            (instrument ?BITE ?MOUTH))))
Mid-level-ontology.kif 6514-6522
(=>
    (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 6594-6606
(=>
    (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 6566-6576
(=>
    (and
        (instance ?SPIT Spitting)
        (agent ?SPIT ?ANIMAL))
    (exists (?MOUTH)
        (and
            (instance ?MOUTH Mouth)
            (part ?MOUTH ?ANIMAL)
            (origin ?SPIT ?MOUTH))))
Mid-level-ontology.kif 6552-6560
(=>
    (instance ?LIP Lip)
    (exists (?MOUTH)
        (and
            (instance ?MOUTH Mouth)
            (part ?LIP ?MOUTH))))
Mid-level-ontology.kif 11592-11597
(=>
    (instance ?THROAT Throat)
    (exists (?MOUTH)
        (and
            (instance ?MOUTH Mouth)
            (connected ?THROAT ?MOUTH))))
Mid-level-ontology.kif 11726-11731
(=>
    (instance ?TONGUE Tongue)
    (exists (?MOUTH)
        (and
            (instance ?MOUTH Mouth)
            (part ?TONGUE ?MOUTH))))
Mid-level-ontology.kif 11437-11442
(=>
    (instance ?TOOTH Tooth)
    (exists (?MOUTH)
        (and
            (instance ?MOUTH Mouth)
            (part ?TOOTH ?MOUTH))))
Mid-level-ontology.kif 11472-11477


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