Stomach - Sigma Knowledge base Browser

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

(connectedBodyPart Stomach Intestine)	Mid-level-ontology.kif 12064-12064	A stomach is connected to a intestine
(documentation Stomach EnglishLanguage "A muscular sac that is the principal organ of digestion.")	Mid-level-ontology.kif 12025-12026
(externalImage Stomach "http://upload.wikimedia.org/wikipedia/commons/b/ b8/ Stomach.amedd.jpg")	pictureList.kif 181-181
(subclass Stomach AnimalAnatomicalStructure)	Mid-level-ontology.kif 12024-12024	Stomach is a subclass of animal anatomical structure
(subclass Stomach Organ)	Mid-level-ontology.kif 12023-12023	Stomach is a subclass of organ
(typicalPart Stomach GastroIntestinalTract)	Mid-level-ontology.kif 12058-12058	A stomach is typically a part of a GI

appearance as argument number 2

(connectedBodyPart Esophagus Stomach)	Mid-level-ontology.kif 12063-12063	A esophagus is connected to a stomach
(termFormat ChineseLanguage Stomach "胃")	domainEnglishFormat.kif 55446-55446
(termFormat ChineseTraditionalLanguage Stomach "胃")	domainEnglishFormat.kif 55445-55445
(termFormat EnglishLanguage Stomach "stomach")	domainEnglishFormat.kif 55444-55444

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 9838-9860	If an object is an instance of antacid and a motion is an instance of ingesting and an agent is an agent of the motion and the object moves during the motion and another object is an instance of stomach and the other object is a part of the agent and the other object contains a third object and the third object is an instance of fluid holds during immediately before the time of existence of the motion and the other object contains a fourth object and the fourth object is an instance of fluid holds during immediately after the time of existence of the motion and pH measure the third object and a real number and pH measure the fourth object and another real number, then the other real number is greater than the real number
(=> (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 9899-9921	If an object is an instance of PPI and a motion is an instance of ingesting and an agent is an agent of the motion and the object moves during the motion and another object is an instance of stomach and the other object is a part of the agent and the other object contains a third object and the third object is an instance of fluid holds during immediately before the time of existence of the motion and the other object contains a fourth object and the fourth object is an instance of fluid holds during immediately after the time of existence of the motion and pH measure the third object and a real number and pH measure the fourth object and another real number, then the other real number is greater than the real number
(=> (instance ?S Stomach) (capability Digesting instrument ?S))	Mid-level-ontology.kif 12028-12030	If an object is an instance of stomach, then the object is capable of doing digesting as a instrument

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 1916-1929	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 6594-6606	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 21412-21426	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 21451-21467	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 4972-4979	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 6457-6471	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