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	If a process is an instance of experiencing discomfort in the stomach and an agent experiences the process, then there exist another process, the other processAIN and an object such that the other process is an instance of perception and the time of existence of the other process takes place during the time of existence of the other processAIN and the other processAIN is an instance of pain and the agent experiences the other processAIN and the other process is a subprocess of the process and the agent is an agent of the other process and the object is a patient of the other process and the object is an instance of stomach and the object is a part of the agent
(=>     (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 1909-1922	If a process is an instance of GERD and an agent experiences the process, then there exist another process, an object and another object such that the other process is an instance of transfer and the other process originates at the object and the object is an instance of stomach and the other object is an instance of esophagus and the other process ends up at the other object and the object is a part of the agent and the other object is a part of the agent and the other process is a subprocess of the process
(=>     (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 7528-7540	If a transfer is an instance of swallowing and an agent is an agent of the transfer, then there exist an object, another object,, , the transferT and a third object such that the object is an instance of mouth and the other object is an instance of esophagus and the transferT is an instance of stomach and the object transferred in the transfer is the third object and the transfer originates at the object and the transfer ends up at the transferT and the other object is path along which the transfer occurs
(=>     (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 23021-23035	If a process is an instance of vomiting and an agent experiences the process, then there exist an object and an entity such that the object is an instance of stomach and the object is a part of the agent and the entity is located at the object holds during the beginning of the time of existence of the process and the entity is not located at the agent holds during the end of the time of existence of the process
(=>     (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 23060-23076	If a process is an instance of vomiting and an entity is an instance of vomit and the entity is a patient of the process and an agent experiences the process, then there exists an object such that the object is an instance of stomach and the object is a part of the agent and the entity is located at the object holds during the beginning of the time of existence of the process and the entity is not located at the agent holds during the end of the time of existence of the process
(=>     (attribute ?H PepticUlcers)     (exists (?S ?U)         (and             (instance ?S Stomach)             (instance ?U Ulcer)             (part ?S ?H)             (located ?U ?S))))	Medicine.kif 4979-4986	If stomach ulcers is an attribute of an object, then there exist another object and a physical such that the other object is an instance of stomach and the physical is an instance of ulcer and the other object is a part of the object and the physical is located at the other object
(=>     (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 7391-7405	If a process is an instance of bloating, then there exist an agent, a self connected object,, , another self connected object and an object such that the agent experiences the process and the object is an instance of gas and the other self connected object is a part of the agent and the other self connected object is an instance of intestine and the other self connected object contains the object or the self connected object is a part of the agent and the self connected object is an instance of stomach and the self connected object contains the object

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