Browsing Interface : Welcome guest : log in		 [  Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Diarrhea
Diarrhea(腹泻)

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5951-5953
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5950-5950 腹泻 是 疾病或综合症 的 instance

appearance as argument number 2
-------------------------


No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 1244-1244 腹泻 是 Covid19 的 dis​​ease 病状
No TPTP formula. May not be expressible in strict first order. Medicine.kif 3603-3603 腹泻 是服用 Clarithromycin 的 side effect
No TPTP formula. May not be expressible in strict first order. Medicine.kif 3812-3812 腹泻 是服用 多西环素 的 side effect
No TPTP formula. May not be expressible in strict first order. Medicine.kif 5253-5253 腹泻 是服用 Levocetirizine 的 side effect
No TPTP formula. May not be expressible in strict first order. Medicine.kif 4739-4739 腹泻 是服用 MycophenolicAcid 的 side effect
No TPTP formula. May not be expressible in strict first order. Medicine.kif 5090-5090 腹泻 是服用 Ondansetron 的 side effect
No TPTP formula. May not be expressible in strict first order. Medicine.kif 3935-3935 腹泻 是服用 Roflumilast 的 side effect
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


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