TreeView Knowledge Base Browser - Bloating

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 6162-6163
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6160-6160	Bloating is a subclass of increasing
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6161-6161	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 11342-11342
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 11341-11341
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 11340-11340

antecedent

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

Mid-level-ontology.kif 6165-6179

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 simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

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