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 13394-13394 connectedBodyPart Mouth and Esophagus
(connectedBodyPart Mouth Trachea) Mid-level-ontology.kif 13421-13421 connectedBodyPart Mouth and Trachea
(documentation Mouth EnglishLanguage "Part of the Face, used for Ingesting Food and Vocalizing.") Mid-level-ontology.kif 12754-12755 connectedBodyPart Mouth and Trachea
(externalImage Mouth "http://articulatesoftware.com/SUMOpictures/people/ bodypart/ mouth/ Mouth_2.png") pictureList.kif 608-608 connectedBodyPart Mouth and Trachea
(externalImage Mouth "http://upload.wikimedia.org/wikipedia/commons/9/99/ Mouth.jpg") pictureList.kif 134-134 connectedBodyPart Mouth and Trachea
(subclass Mouth AnimalAnatomicalStructure) Mid-level-ontology.kif 12752-12752 Mouth est une sous-classe de AnimalAnatomicalStructure
(subclass Mouth BodyOrifice) Mid-level-ontology.kif 13408-13408 Mouth est une sous-classe de BodyOrifice
(subclass Mouth BodyPart) Mid-level-ontology.kif 12753-12753 Mouth est une sous-classe de partie du corps
(typicalPart Mouth GastroIntestinalTract) Mid-level-ontology.kif 13388-13388 typicalPart Mouth and GastroIntestinalTract

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


(initialPart SalivaryGland Mouth) Mid-level-ontology.kif 13641-13641 initialPart SalivaryGland and Mouth
(termFormat ChineseLanguage Mouth "口") domainEnglishFormat.kif 39020-39020 initialPart SalivaryGland and Mouth
(termFormat ChineseTraditionalLanguage Mouth "口") domainEnglishFormat.kif 39019-39019 initialPart SalivaryGland and Mouth
(termFormat EnglishLanguage Mouth "mouth") domainEnglishFormat.kif 39018-39018 initialPart SalivaryGland and Mouth
(typicalPart SalivaryGland Mouth) Mid-level-ontology.kif 13640-13640 typicalPart SalivaryGland and Mouth

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


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

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


(=>
    (and
        (instance ?BITE Biting)
        (agent ?BITE ?ANIMAL))
    (exists (?MOUTH)
        (and
            (instance ?MOUTH Mouth)
            (part ?MOUTH ?ANIMAL)
            (instrument ?BITE ?MOUTH))))
Mid-level-ontology.kif 7452-7460
(=>
    (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 7532-7544
(=>
    (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 7504-7514
(=>
    (and
        (instance ?SPIT Spitting)
        (agent ?SPIT ?ANIMAL))
    (exists (?MOUTH)
        (and
            (instance ?MOUTH Mouth)
            (part ?MOUTH ?ANIMAL)
            (origin ?SPIT ?MOUTH))))
Mid-level-ontology.kif 7490-7498
(=>
    (instance ?LIP Lip)
    (exists (?MOUTH)
        (and
            (instance ?MOUTH Mouth)
            (part ?LIP ?MOUTH))))
Mid-level-ontology.kif 12924-12929
(=>
    (instance ?THROAT Throat)
    (exists (?MOUTH)
        (and
            (instance ?MOUTH Mouth)
            (connected ?THROAT ?MOUTH))))
Mid-level-ontology.kif 13058-13063
(=>
    (instance ?TONGUE Tongue)
    (exists (?MOUTH)
        (and
            (instance ?MOUTH Mouth)
            (part ?TONGUE ?MOUTH))))
Mid-level-ontology.kif 12769-12774
(=>
    (instance ?TOOTH Tooth)
    (exists (?MOUTH)
        (and
            (instance ?MOUTH Mouth)
            (part ?TOOTH ?MOUTH))))
Mid-level-ontology.kif 12804-12809


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