SkinRash - Sigma Knowledge base Browser

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 6673-6678
(subclass SkinRash PathologicProcess)	Mid-level-ontology.kif 6671-6671	SkinRash is a subclass of pathologic process

appearance as argument number 2

(diseaseSymptom LymeDisease SkinRash)	Medicine.kif 1417-1417	diseaseSymptom LymeDisease and SkinRash
(sideEffect Adalimumab SkinRash)	Medicine.kif 3628-3628	sideEffect Adalimumab and SkinRash
(sideEffect Sulfasalazine SkinRash)	Medicine.kif 3922-3922	sideEffect Sulfasalazine and SkinRash
(subclass Hives SkinRash)	Mid-level-ontology.kif 6694-6694	Hives is a subclass of SkinRash
(subclass Psoriasis SkinRash)	Medicine.kif 2240-2240	Psoriasis is a subclass of SkinRash
(termFormat EnglishLanguage SkinRash "rash")	Mid-level-ontology.kif 6680-6680	Psoriasis is a subclass of SkinRash
(termFormat EnglishLanguage SkinRash "skin rash")	Mid-level-ontology.kif 6679-6679	Psoriasis is a subclass of SkinRash

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

If a process is an instance of SkinRash and an agent experiences the process,
then the statement there exists an entity such that the entity is an instance of Itching and the agent experiences the entity and the time of existence of the entity takes place during the time of existence of the process has the modal force of Likely

consequent

(=> (and (instance ?L Lupus) (experiencer ?L ?H)) (modalAttribute (exists (?SR) (and (instance ?SR SkinRash) (experiencer ?SR ?H))) Likely))	Medicine.kif 2263-2272	If a process is an instance of Lupus and an agent experiences the process, then the statement there exists an entity such that the entity is an instance of SkinRash and the agent experiences the entity has the modal force of Likely
(=> (attribute ?H Eczema) (exists (?SR) (and (instance ?SR SkinRash) (experiencer ?SR ?H))))	Medicine.kif 4389-4394	If Eczema is an attribute of an agent, then there exists a process such that the process is an instance of SkinRash and the agent experiences the process

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

KB Term:			Term intersection

English Word: