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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Mouth
Mouth

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


(connectedBodyPart Mouth Esophagus) Mid-level-ontology.kif 12281-12281
(connectedBodyPart Mouth Trachea) Mid-level-ontology.kif 12308-12308
(documentation Mouth EnglishLanguage "Part of the Face, used for Ingesting Food and Vocalizing.") Mid-level-ontology.kif 11641-11642
(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 11639-11639
(subclass Mouth BodyOrifice) Mid-level-ontology.kif 12295-12295
(subclass Mouth BodyPart) Mid-level-ontology.kif 11640-11640
(typicalPart Mouth GastroIntestinalTract) Mid-level-ontology.kif 12275-12275

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


(initialPart SalivaryGland Mouth) Mid-level-ontology.kif 12528-12528
(termFormat ChineseLanguage Mouth "口") domainEnglishFormat.kif 39040-39040
(termFormat ChineseTraditionalLanguage Mouth "口") domainEnglishFormat.kif 39039-39039
(termFormat EnglishLanguage Mouth "mouth") domainEnglishFormat.kif 39038-39038
(typicalPart SalivaryGland Mouth) Mid-level-ontology.kif 12527-12527

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


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

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


(=>
    (and
        (instance ?BITE Biting)
        (agent ?BITE ?ANIMAL))
    (exists (?MOUTH)
        (and
            (instance ?MOUTH Mouth)
            (part ?MOUTH ?ANIMAL)
            (instrument ?BITE ?MOUTH))))
Mid-level-ontology.kif 6509-6517
(=>
    (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 6589-6601
(=>
    (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 6561-6571
(=>
    (and
        (instance ?SPIT Spitting)
        (agent ?SPIT ?ANIMAL))
    (exists (?MOUTH)
        (and
            (instance ?MOUTH Mouth)
            (part ?MOUTH ?ANIMAL)
            (origin ?SPIT ?MOUTH))))
Mid-level-ontology.kif 6547-6555
(=>
    (instance ?LIP Lip)
    (exists (?MOUTH)
        (and
            (instance ?MOUTH Mouth)
            (part ?LIP ?MOUTH))))
Mid-level-ontology.kif 11811-11816
(=>
    (instance ?THROAT Throat)
    (exists (?MOUTH)
        (and
            (instance ?MOUTH Mouth)
            (connected ?THROAT ?MOUTH))))
Mid-level-ontology.kif 11945-11950
(=>
    (instance ?TONGUE Tongue)
    (exists (?MOUTH)
        (and
            (instance ?MOUTH Mouth)
            (part ?TONGUE ?MOUTH))))
Mid-level-ontology.kif 11656-11661
(=>
    (instance ?TOOTH Tooth)
    (exists (?MOUTH)
        (and
            (instance ?MOUTH Mouth)
            (part ?TOOTH ?MOUTH))))
Mid-level-ontology.kif 11691-11696


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