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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Diarrhea

Sigma KEE - Diarrhea
Diarrhea

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 e' uma instancia de Doenca ou Sindrome

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


No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 1245-1245 diseaseSymptom Covid19 and Diarrhea
No TPTP formula. May not be expressible in strict first order. Medicine.kif 3603-3603 sideEffect Clarithromycin and Diarrhea
No TPTP formula. May not be expressible in strict first order. Medicine.kif 3812-3812 sideEffect Doxycycline and Diarrhea
No TPTP formula. May not be expressible in strict first order. Medicine.kif 5253-5253 sideEffect Levocetirizine and Diarrhea
No TPTP formula. May not be expressible in strict first order. Medicine.kif 4739-4739 sideEffect MycophenolicAcid and Diarrhea
No TPTP formula. May not be expressible in strict first order. Medicine.kif 5090-5090 sideEffect Ondansetron and Diarrhea
No TPTP formula. May not be expressible in strict first order. Medicine.kif 3935-3935 sideEffect Roflumilast and Diarrhea
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 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