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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - SkinRash
SkinRash

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


(documentation SkinRash EnglishLanguage "A rash is a change of the Human Skin which affects its color, appearance, or texture. A rash may be localized in one part of the body, or affect all the skin. Rashes may cause the skin to change color, itch, become warm, bumpy, chapped, dry, cracked or blistered, swell, and may be painful. The causes, and therefore treatments for rashes, vary widely. [from Wikipedia]") Mid-level-ontology.kif 6696-6701
(subclass SkinRash PathologicProcess) Mid-level-ontology.kif 6694-6694

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


(diseaseSymptom LymeDisease SkinRash) Medicine.kif 1417-1417
(sideEffect Adalimumab SkinRash) Medicine.kif 3628-3628
(sideEffect Sulfasalazine SkinRash) Medicine.kif 3922-3922
(subclass Hives SkinRash) Mid-level-ontology.kif 6717-6717
(subclass Psoriasis SkinRash) Medicine.kif 2240-2240
(termFormat EnglishLanguage SkinRash "rash") Mid-level-ontology.kif 6703-6703
(termFormat EnglishLanguage SkinRash "skin rash") Mid-level-ontology.kif 6702-6702

antecedent
-------------------------


(=>
    (and
        (instance ?S SkinRash)
        (experiencer ?S ?H))
    (modalAttribute
        (exists (?I)
            (and
                (instance ?I Itching)
                (experiencer ?I ?H)
                (during
                    (WhenFn ?I)
                    (WhenFn ?S)))) Likely))
Mid-level-ontology.kif 6705-6715

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


(=>
    (and
        (instance ?L Lupus)
        (experiencer ?L ?H))
    (modalAttribute
        (exists (?SR)
            (and
                (instance ?SR SkinRash)
                (experiencer ?SR ?H))) Likely))
Medicine.kif 2263-2272
(=>
    (attribute ?H Eczema)
    (exists (?SR)
        (and
            (instance ?SR SkinRash)
            (experiencer ?SR ?H))))
Medicine.kif 4389-4394


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