Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| SkinRash(rash) |
| appearance as argument number 1 |
|
| (subclass SkinRash PathologicProcess) | Mid-level-ontology.kif 6857-6857 | Rash is a subclass of pathologic process |
| (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 6859-6864 | Rash is a subclass of pathologic process |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage SkinRash "skin rash") | Mid-level-ontology.kif 6865-6865 | |
| (termFormat EnglishLanguage SkinRash "rash") | Mid-level-ontology.kif 6866-6866 | |
| (subclass Hives SkinRash) | Mid-level-ontology.kif 6880-6880 | Urticaria is a subclass of rash |
| (diseaseSymptom LymeDisease SkinRash) | Medicine.kif 1408-1408 | Rash is a disease symptom of Lyme disease |
| (subclass Psoriasis SkinRash) | Medicine.kif 2248-2248 | Psoriasis is a subclass of rash |
| (sideEffect Adalimumab SkinRash) | Medicine.kif 3656-3656 | Rash is a side effect of taking adalimumab |
| (sideEffect Sulfasalazine SkinRash) | Medicine.kif 3953-3953 | Rash is a side effect of taking sulfasalazine |
| 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 6868-6878 | 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 |
|
|
| (=> (and (instance ?L Lupus) (experiencer ?L ?H)) (modalAttribute (exists (?SR) (and (instance ?SR SkinRash) (experiencer ?SR ?H))) 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 |
| (=> (attribute ?H Eczema) (exists (?SR) (and (instance ?SR SkinRash) (experiencer ?SR ?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 |
|