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
-------------------------


(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 5952-5954
(instance Diarrhea DiseaseOrSyndrome) Mid-level-ontology.kif 5951-5951 腹泻疾病或综合症instance

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


(diseaseSymptom Covid19 Diarrhea) VirusProteinAndCellPart.kif 1245-1245 腹泻Covid19dis​​ease 病状
(sideEffect Clarithromycin Diarrhea) Medicine.kif 3603-3603 腹泻 是服用 Clarithromycinside effect
(sideEffect Doxycycline Diarrhea) Medicine.kif 3812-3812 腹泻 是服用 多西环素side effect
(sideEffect Levocetirizine Diarrhea) Medicine.kif 5253-5253 腹泻 是服用 Levocetirizineside effect
(sideEffect MycophenolicAcid Diarrhea) Medicine.kif 4739-4739 腹泻 是服用 MycophenolicAcidside effect
(sideEffect Ondansetron Diarrhea) Medicine.kif 5090-5090 腹泻 是服用 Ondansetronside effect
(sideEffect Roflumilast Diarrhea) Medicine.kif 3935-3935 腹泻 是服用 Roflumilastside effect
(termFormat ChineseLanguage Diarrhea "腹泻") domainEnglishFormat.kif 19446-19446
(termFormat ChineseTraditionalLanguage Diarrhea "腹瀉") domainEnglishFormat.kif 19445-19445
(termFormat EnglishLanguage Diarrhea "diarrhea") domainEnglishFormat.kif 19444-19444

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 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