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 5739-5744
(subclass SkinRash PathologicProcess) Mid-level-ontology.kif 5737-5737

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


(diseaseSymptom LymeDisease SkinRash) Medicine.kif 1425-1425
(sideEffect Adalimumab SkinRash) Medicine.kif 3625-3625
(sideEffect Sulfasalazine SkinRash) Medicine.kif 3919-3919
(subclass Hives SkinRash) Mid-level-ontology.kif 5760-5760
(subclass Psoriasis SkinRash) Medicine.kif 2242-2242
(termFormat EnglishLanguage SkinRash "rash") Mid-level-ontology.kif 5746-5746
(termFormat EnglishLanguage SkinRash "skin rash") Mid-level-ontology.kif 5745-5745

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

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


(=>
    (and
        (instance ?L Lupus)
        (experiencer ?L ?H))
    (modalAttribute
        (exists (?SR)
            (and
                (instance ?SR SkinRash)
                (experiencer ?SR ?H))) Likely))
Medicine.kif 2265-2274
(=>
    (attribute ?H Eczema)
    (exists (?SR)
        (and
            (instance ?SR SkinRash)
            (experiencer ?SR ?H))))
Medicine.kif 4382-4387


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