Bloating - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - Bloating

Bloating(bloating)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7411-7412
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7409-7409	Bloating is a subclass of increasing
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7410-7410	Bloating is a subclass of pathologic process

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 11354-11354
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 11353-11353
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 11352-11352

antecedent

No TPTP formula. May not be expressible in strict first order.

Mid-level-ontology.kif 7414-7428

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