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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Stomach
Stomach

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


(documentation Stomach EnglishLanguage "A muscular sac that is the principal organ of digestion.") Mid-level-ontology.kif 10016-10017
(externalImage Stomach "http://upload.wikimedia.org/wikipedia/commons/b/ b8/ Stomach.amedd.jpg") pictureList.kif 181-181
(subclass Stomach AnimalAnatomicalStructure) Mid-level-ontology.kif 10015-10015
(subclass Stomach Organ) Mid-level-ontology.kif 10014-10014

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


(termFormat ChineseLanguage Stomach "胃") domainEnglishFormat.kif 55387-55387
(termFormat ChineseTraditionalLanguage Stomach "胃") domainEnglishFormat.kif 55386-55386
(termFormat EnglishLanguage Stomach "stomach") domainEnglishFormat.kif 55385-55385

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


(=>
    (instance ?S Stomach)
    (capability Digesting instrument ?S))
Mid-level-ontology.kif 10019-10021

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


(=>
    (and
        (instance ?ELT ExperiencingDiscomfortInTheStomach)
        (experiencer ?ELT ?A))
    (exists (?P)
        (and
            (instance ?P Perception)
            (holdsDuring
                (WhenFn ?P)
                (attribute ?A Pain))
            (subProcess ?P ?ELT)
            (agent ?P ?A)
            (patient ?P ?T)
            (instance ?T Stomach)
            (part ?T ?A))))
emotion.kif 1545-1559
(=>
    (and
        (instance ?V Vomiting)
        (experiencer ?V ?A))
    (exists (?S ?O)
        (and
            (instance ?S Stomach)
            (part ?S ?A)
            (holdsDuring
                (StartFn
                    (WhenFn ?V))
                (located ?O ?S))
            (holdsDuring
                (EndFn
                    (WhenFn ?V))
                (not
                    (located ?O ?A))))))
Mid-level-ontology.kif 19060-19074
(=>
    (and
        (instance ?V Vomiting)
        (instance ?O Vomit)
        (patient ?V ?O)
        (experiencer ?V ?A))
    (exists (?S)
        (and
            (instance ?S Stomach)
            (part ?S ?A)
            (holdsDuring
                (StartFn
                    (WhenFn ?V))
                (located ?O ?S))
            (holdsDuring
                (EndFn
                    (WhenFn ?V))
                (not
                    (located ?O ?A))))))
Mid-level-ontology.kif 19080-19096
(=>
    (instance ?B Bloating)
    (exists (?P ?S ?I ?G)
        (and
            (experiencer ?B ?P)
            (instance ?G Gas)
            (or
                (and
                    (part ?I ?P)
                    (instance ?I Intestine)
                    (contains ?I ?G))
                (and
                    (part ?S ?P)
                    (instance ?S Stomach)
                    (contains ?S ?G))))))
Mid-level-ontology.kif 6146-6160
(=>
    (instance ?I Intestine)
    (exists (?S)
        (and
            (instance ?S Stomach)
            (connected ?I ?S))))
Mid-level-ontology.kif 10032-10037


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners