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 10014-10015
(externalImage Stomach "http://upload.wikimedia.org/wikipedia/commons/b/ b8/ Stomach.amedd.jpg") pictureList.kif 181-181
(subclass Stomach AnimalAnatomicalStructure) Mid-level-ontology.kif 10013-10013 subclass Stomach and AnimalAnatomicalStructure
(subclass Stomach Organ) Mid-level-ontology.kif 10012-10012 subclass Stomach and Organ

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


(termFormat ChineseLanguage Stomach "胃") domainEnglishFormat.kif 55436-55436
(termFormat ChineseTraditionalLanguage Stomach "胃") domainEnglishFormat.kif 55435-55435
(termFormat EnglishLanguage Stomach "stomach") domainEnglishFormat.kif 55434-55434

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


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

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 19102-19116
(=>
    (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 19122-19138
(=>
    (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 6151-6165
(=>
    (instance ?I Intestine)
    (exists (?S)
        (and
            (instance ?S Stomach)
            (connected ?I ?S))))		 Mid-level-ontology.kif 10030-10035


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