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 6455-6456
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6453-6453	Bloating is a subclass of increasing
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6454-6454	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 11339-11339
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 11338-11338
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 11337-11337

antecedent

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

Mid-level-ontology.kif 6458-6472

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