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 10015-10016
(externalImage Stomach "http://upload.wikimedia.org/wikipedia/commons/b/ b8/ Stomach.amedd.jpg") pictureList.kif 181-181 "http://upload.wikimedia.org/wikipedia/commons/b/b8/ Stomach.amedd.jpg" is a URL depicting stomach
(subclass Stomach AnimalAnatomicalStructure) Mid-level-ontology.kif 10014-10014 Stomach is a subclass of animal anatomical structure
(subclass Stomach Organ) Mid-level-ontology.kif 10013-10013 Stomach is a subclass of organ

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


(termFormat EnglishLanguage Stomach "stomach") domainEnglishFormat.kif 9665-9665 "stomach" is the printable form of stomach in english language

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


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

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


(=>
    (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 19059-19073
(=>
    (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 19079-19095
(=>
    (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 10031-10036


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