SkinRash - Sigma Knowledge base Browser

appearance as argument number 1

s__subclass(s__SkinRash,s__PathologicProcess)	Mid-level-ontology.kif 6857-6857	Rash is a subclass of pathologic process
s__documentation(s__SkinRash, s__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 6859-6864	Rash is a subclass of pathologic process

appearance as argument number 2

s__termFormat(s__EnglishLanguage, s__SkinRash, "skin rash")	Mid-level-ontology.kif 6865-6865
s__termFormat(s__EnglishLanguage, s__SkinRash, "rash")	Mid-level-ontology.kif 6866-6866
s__subclass(s__Hives,s__SkinRash)	Mid-level-ontology.kif 6880-6880	Urticaria is a subclass of rash
s__diseaseSymptom(s__LymeDisease,s__SkinRash)	Medicine.kif 1408-1408	Rash is a disease symptom of Lyme disease
s__subclass(s__Psoriasis,s__SkinRash)	Medicine.kif 2248-2248	Psoriasis is a subclass of rash
s__sideEffect(s__Adalimumab,s__SkinRash)	Medicine.kif 3656-3656	Rash is a side effect of taking adalimumab
s__sideEffect(s__Sulfasalazine,s__SkinRash)	Medicine.kif 3953-3953	Rash is a side effect of taking sulfasalazine

antecedent

! [V__H : $i,V__S : $i] : (((s__instance(V__S, s__SkinRash) & s__experiencer(V__S, V__H)) => s__modalAttribute(( ? [V__I:$i] : ((s__instance(V__I, s__Itching) & s__experiencer(V__I, V__H) & s__during(s__WhenFn(V__I), s__WhenFn(V__S))))), s__Likely)))

If X is an instance of rash and Y experiences X, then the statement there exists Z such that Z is an instance of pruritus, Y experiences Z, and the time of existence of Z takes place during the time of existence of X has the modal force of likely

consequent

! [V__H : $i,V__L : $i] : (((s__instance(V__L, s__Lupus) & s__experiencer(V__L, V__H)) => s__modalAttribute(( ? [V__SR:$i] : ((s__instance(V__SR, s__SkinRash) & s__experiencer(V__SR, V__H)))), s__Likely)))	Medicine.kif 2271-2280	If X is an instance of lupus and Y experiences X, then the statement there exists Z such that Z is an instance of rash and Y experiences Z has the modal force of likely
! [V__H] : ((s__instance(V__H,s__AutonomousAgent) => (s__attribute(V__H,s__Eczema) => (? [V__SR] : ((s__instance(V__SR,s__SkinRash) & s__experiencer(V__SR,V__H)))))) )	Medicine.kif 4403-4408	If atopic dermatitis is an attribute of X, then there exists Y such that Y is an instance of rash and X experiences Y