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 10015-10016
(externalImage Stomach "http://upload.wikimedia.org/wikipedia/commons/b/ b8/ Stomach.amedd.jpg")	pictureList.kif 181-181	"http://upload.wikimedia.org/wikipedia/commons/b/b8/ Stomach.amedd.jpg" is a URL depicting stomach
(subclass Stomach AnimalAnatomicalStructure)	Mid-level-ontology.kif 10014-10014	Stomach is a subclass of animal anatomical structure
(subclass Stomach Organ)	Mid-level-ontology.kif 10013-10013	Stomach is a subclass of organ

appearance as argument number 2

(termFormat EnglishLanguage Stomach "stomach")

domainEnglishFormat.kif 9665-9665

"stomach" is the printable form of stomach in english language

antecedent

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

Mid-level-ontology.kif 10018-10020

If an object is an instance of stomach,
then the object is capable of doing digesting as a instrument

consequent

(=> (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 19059-19073	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 19079-19095	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 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
(=> (instance ?I Intestine) (exists (?S) (and (instance ?S Stomach) (connected ?I ?S))))	Mid-level-ontology.kif 10031-10036	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