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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Stomach
Stomach(stomach)
abdomen, abdominal, belly, breadbasket, stomach, tum, tummy, venter

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


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

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


(termFormat ChineseLanguage Stomach "胃") domainEnglishFormat.kif 55339-55339
(termFormat ChineseTraditionalLanguage Stomach "胃") domainEnglishFormat.kif 55338-55338
(termFormat EnglishLanguage Stomach "stomach") domainEnglishFormat.kif 55337-55337

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


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

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 1551-1565
(=>
    (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 19071-19085
(=>
    (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 19091-19107
(=>
    (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 6145-6159
(=>
    (instance ?I Intestine)
    (exists (?S)
        (and
            (instance ?S Stomach)
            (connected ?I ?S))))
Mid-level-ontology.kif 10034-10039


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