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

(documentation Stomach EnglishLanguage "A muscular sac that is the principal organ of digestion.")	Mid-level-ontology.kif 10018-10019
(externalImage Stomach "http://upload.wikimedia.org/wikipedia/commons/b/ b8/ Stomach.amedd.jpg")	pictureList.kif 181-181
(subclass Stomach AnimalAnatomicalStructure)	Mid-level-ontology.kif 10017-10017	Stomach is a subclass of animal anatomical structure
(subclass Stomach Organ)	Mid-level-ontology.kif 10016-10016	Stomach is a subclass of organ

appearance as argument number 2

(termFormat ChineseLanguage Stomach "胃")	domainEnglishFormat.kif 55339-55339
(termFormat ChineseTraditionalLanguage Stomach "胃")	domainEnglishFormat.kif 55338-55338
(termFormat EnglishLanguage Stomach "stomach")	domainEnglishFormat.kif 55337-55337

antecedent

(=>
(instance ?S Stomach)
(capability Digesting instrument ?S))

Mid-level-ontology.kif 10021-10023

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) (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	If a process is an instance of experiencing discomfort in the stomach and an agent experiences the process, then there exists another process such that the other process is an instance of perception and pain is an attribute of the agent holds during the time of existence of the other process and the other process is a subprocess of the process and the agent is an agent of the other process and an 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 ?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 19071-19085	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 start 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 (StartFn (WhenFn ?V)) (located ?O ?S)) (holdsDuring (EndFn (WhenFn ?V)) (not (located ?O ?A))))))	Mid-level-ontology.kif 19091-19107	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 start 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
(=> (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 6145-6159	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 は the object を contains %n{ない} 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 は the object を contains %n{ない}
(=> (instance ?I Intestine) (exists (?S) (and (instance ?S Stomach) (connected ?I ?S))))	Mid-level-ontology.kif 10034-10039	If an object is an instance of intestine, then there exists another object such that the other object is an instance of stomach and the object is connected to the other 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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners