TreeView Knowledge Base Browser - Diarrhea

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - Diarrhea

Diarrhea(diarrhea)

Montezuma's_revenge, diarrhea, diarrhoea, looseness, looseness_of_the_bowels, the_shits, the_trots

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5952-5954
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5951-5951	Diarrhea is an instance of disease or syndrome

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 1245-1245	Diarrhea is a disease symptom of Covid
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 3603-3603	Diarrhea is a side effect of taking clarithromycin
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 3812-3812	Diarrhea is a side effect of taking doxycycline
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 5253-5253	Diarrhea is a side effect of taking Levocetirizine
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 4739-4739	Diarrhea is a side effect of taking mycophenolic acid
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 5090-5090	Diarrhea is a side effect of taking ondansetron
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 3935-3935	Diarrhea is a side effect of taking roflumilast
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 19446-19446
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 19445-19445
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 19444-19444

consequent

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

Medicine.kif 4816-4833

If a physical is an instance of Pedialyte,
then the physical has the purpose there exist an entity, another entity,, , a third entity and the other entityR such that the entity is an instance of human child and the other entity is an instance of diarrhea and the third entity is an instance of vomiting and the entity experiences the other entity and the time of existence of the other entity happens earlier than the time of existence of the other entityR or the entity experiences the third entity and the time of existence of the third entity happens earlier than the time of existence of the other entityR and the other entityR is an instance of drinking and the entity is an agent of the other entityR and the object transferred in the other entityR is the physical

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