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
-------------------------


(connectedBodyPart Stomach Intestine) Mid-level-ontology.kif 12961-12961 connectedBodyPart Stomach and Intestine
(documentation Stomach EnglishLanguage "A muscular sac that is the principal organ of digestion.") Mid-level-ontology.kif 12922-12923 connectedBodyPart Stomach and Intestine
(externalImage Stomach "http://upload.wikimedia.org/wikipedia/commons/b/ b8/ Stomach.amedd.jpg") pictureList.kif 181-181 connectedBodyPart Stomach and Intestine
(subclass Stomach AnimalAnatomicalStructure) Mid-level-ontology.kif 12921-12921 Stomach est une sous-classe de AnimalAnatomicalStructure
(subclass Stomach Organ) Mid-level-ontology.kif 12920-12920 Stomach est une sous-classe de organe
(typicalPart Stomach GastroIntestinalTract) Mid-level-ontology.kif 12955-12955 typicalPart Stomach and GastroIntestinalTract

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


(connectedBodyPart Esophagus Stomach) Mid-level-ontology.kif 12960-12960 connectedBodyPart Esophagus and Stomach
(termFormat ChineseLanguage Stomach "胃") domainEnglishFormat.kif 55479-55479 connectedBodyPart Esophagus and Stomach
(termFormat ChineseTraditionalLanguage Stomach "胃") domainEnglishFormat.kif 55478-55478 connectedBodyPart Esophagus and Stomach
(termFormat EnglishLanguage Stomach "stomach") domainEnglishFormat.kif 55477-55477 connectedBodyPart Esophagus and Stomach

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


(=>
    (and
        (instance ?A Antacid)
        (instance ?I Ingesting)
        (agent ?I ?H)
        (moves ?I ?A)
        (instance ?S Stomach)
        (part ?S ?H)
        (holdsDuring
            (ImmediatePastFn
                (WhenFn ?I))
            (and
                (contains ?S ?F1)
                (instance ?F1 Fluid)))
        (holdsDuring
            (ImmediateFutureFn
                (WhenFn ?I))
            (and
                (contains ?S ?F2)
                (instance ?F2 Fluid)))
        (phMeasure ?F1 ?N1)
        (phMeasure ?F2 ?N2))
    (greaterThan ?N2 ?N1))		 Mid-level-ontology.kif 10735-10757
(=>
    (and
        (instance ?A ProtonPumpInhibitor)
        (instance ?I Ingesting)
        (agent ?I ?H)
        (moves ?I ?A)
        (instance ?S Stomach)
        (part ?S ?H)
        (holdsDuring
            (ImmediatePastFn
                (WhenFn ?I))
            (and
                (contains ?S ?F1)
                (instance ?F1 Fluid)))
        (holdsDuring
            (ImmediateFutureFn
                (WhenFn ?I))
            (and
                (contains ?S ?F2)
                (instance ?F2 Fluid)))
        (phMeasure ?F1 ?N1)
        (phMeasure ?F2 ?N2))
    (greaterThan ?N2 ?N1))		 Mid-level-ontology.kif 10796-10818
(=>
    (instance ?S Stomach)
    (capability Digesting instrument ?S))		 Mid-level-ontology.kif 12925-12927

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


(=>
    (and
        (instance ?ELT ExperiencingDiscomfortInTheStomach)
        (experiencer ?ELT ?A))
    (exists (?P ?PAIN ?T)
        (and
            (instance ?P Perception)
            (during
                (WhenFn ?P)
                (WhenFn ?PAIN))
            (instance ?PAIN Pain)
            (experiencer ?PAIN ?A)
            (subProcess ?P ?ELT)
            (agent ?P ?A)
            (patient ?P ?T)
            (instance ?T Stomach)
            (part ?T ?A))))		 emotion.kif 1583-1597
(=>
    (and
        (instance ?GERD GERefluxDisease)
        (experiencer ?GERD ?H))
    (exists (?T ?S ?E)
        (and
            (instance ?T Transfer)
            (origin ?T ?S)
            (instance ?S Stomach)
            (instance ?E Esophagus)
            (destination ?T ?E)
            (part ?S ?H)
            (part ?E ?H)
            (subProcess ?T ?GERD))))		 Medicine.kif 1904-1917
(=>
    (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 7144-7156
(=>
    (and
        (instance ?V Vomiting)
        (experiencer ?V ?A))
    (exists (?S ?O)
        (and
            (instance ?S Stomach)
            (part ?S ?A)
            (holdsDuring
                (BeginFn
                    (WhenFn ?V))
                (located ?O ?S))
            (holdsDuring
                (EndFn
                    (WhenFn ?V))
                (not
                    (located ?O ?A))))))		 Mid-level-ontology.kif 22502-22516
(=>
    (and
        (instance ?V Vomiting)
        (instance ?O Vomit)
        (patient ?V ?O)
        (experiencer ?V ?A))
    (exists (?S)
        (and
            (instance ?S Stomach)
            (part ?S ?A)
            (holdsDuring
                (BeginFn
                    (WhenFn ?V))
                (located ?O ?S))
            (holdsDuring
                (EndFn
                    (WhenFn ?V))
                (not
                    (located ?O ?A))))))		 Mid-level-ontology.kif 22541-22557
(=>
    (attribute ?H PepticUlcers)
    (exists (?S ?U)
        (and
            (instance ?S Stomach)
            (instance ?U Ulcer)
            (part ?S ?H)
            (located ?U ?S))))		 Medicine.kif 4960-4967
(=>
    (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 7007-7021


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