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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Diarrhea

Sigma KEE - Diarrhea
Diarrhea(diarrhea)Montezuma's_revenge, diarrhea, diarrhoea, looseness, looseness_of_the_bowels, the_shits, the_trots

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


(documentation Diarrhea EnglishLanguage "A DiseaseOrSyndrome of frequent, watery bowel movements. Severe cases can be fatal for the young or weak. It is a common cause of death for the very young in poor developing countries.") Mid-level-ontology.kif 5946-5948
(instance Diarrhea DiseaseOrSyndrome) Mid-level-ontology.kif 5945-5945 Diarrhea is an instance of disease or syndrome

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


(diseaseSymptom Covid19 Diarrhea) VirusProteinAndCellPart.kif 1246-1246 Diarrhea is a disease symptom of Covid
(sideEffect Clarithromycin Diarrhea) Medicine.kif 3591-3591 Diarrhea is a side effect of taking clarithromycin
(sideEffect Doxycycline Diarrhea) Medicine.kif 3800-3800 Diarrhea is a side effect of taking doxycycline
(sideEffect Levocetirizine Diarrhea) Medicine.kif 5241-5241 Diarrhea is a side effect of taking Levocetirizine
(sideEffect MycophenolicAcid Diarrhea) Medicine.kif 4727-4727 Diarrhea is a side effect of taking mycophenolic acid
(sideEffect Ondansetron Diarrhea) Medicine.kif 5078-5078 Diarrhea is a side effect of taking ondansetron
(sideEffect Roflumilast Diarrhea) Medicine.kif 3923-3923 Diarrhea is a side effect of taking roflumilast
(termFormat ChineseLanguage Diarrhea "腹泻") domainEnglishFormat.kif 19457-19457 Diarrhea is a side effect of taking roflumilast
(termFormat ChineseTraditionalLanguage Diarrhea "腹瀉") domainEnglishFormat.kif 19456-19456 Diarrhea is a side effect of taking roflumilast
(termFormat EnglishLanguage Diarrhea "diarrhea") domainEnglishFormat.kif 19455-19455 Diarrhea is a side effect of taking roflumilast

consequent
-------------------------


(=>
    (instance ?P Pedialyte)
    (hasPurpose ?P
        (exists (?C ?D ?V ?DR)
            (and
                (instance ?C HumanChild)
                (instance ?D Diarrhea)
                (instance ?V Vomiting)
                (or
                    (and
                        (experiencer ?D ?C)
                        (earlier
                            (WhenFn ?D)
                            (WhenFn ?DR)))
                    (and
                        (experiencer ?V ?C)
                        (earlier
                            (WhenFn ?V)
                            (WhenFn ?DR))))
                (instance ?DR Drinking)
                (agent ?DR ?C)
                (objectTransferred ?DR ?P)))))
Medicine.kif 4804-4821


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