ExperiencingDiscomfortInTheStomach - Sigma Knowledge base Browser

appearance as argument number 2

(termFormat EnglishLanguage ExperiencingDiscomfortInTheStomach "experiencing discomfort in the stomach")

antecedent

(=>
    (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 2420-2434

If X is an instance of experiencing discomfort in the stomach and Y experiences X, then All of the following hold: (1) there exist Z, W (2) V such that Z is an instance of perception (3) the time of existence of Z takes place during the time of existence of W (4) W is an instance of pain (5) Y experiences W (6) Z is a subprocess of X (7) Y is an agent of Z (8) V is a patient of Z (9) V is an instance of stomach (10) V is a part of Y

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.0-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners