Bulimia - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - Bulimia

Bulimia(bulimia nervosa)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Medicine.kif 4988-5006
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 4987-4987	Bulimia nervosa is an instance of psychological dysfunction

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Medicine.kif 5008-5008
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 5007-5007

antecedent

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

Medicine.kif 5010-5022

If bulimia nervosa is an attribute of a cognitive agent,
then there exist a physical and a process such that the physical is an instance of eating and the process is an instance of vomiting or the process is an instance of Defecating and the cognitive agent is an agent of the process and the cognitive agent wants the process and the time of existence of the physical happens earlier than the time of existence of the process

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