Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| Itching(pruritus) |
| appearance as argument number 1 |
|
| s__subclass(s__Itching,s__TactilePerception)
|
Mid-level-ontology.kif 6825-6825 | Pruritus is a subclass of tactile perception |
| s__documentation(s__Itching, s__EnglishLanguage, "Itch (also known as pruritus) is a sensation that causes the desire or reflex to scratch_ [from Wikipedia]") | Mid-level-ontology.kif 6829-6831 | Pruritus is a subclass of tactile perception |
| appearance as argument number 2 |
|
|
| s__termFormat(s__EnglishLanguage, s__Itching, "itching") | Mid-level-ontology.kif 6826-6826 | |
| s__termFormat(s__EnglishLanguage, s__Itching, "pruritus") | Mid-level-ontology.kif 6827-6827 |
| antecedent |
|
|
| ! [V__H : $i,V__I : $i,V__P : $i] : (((s__instance(V__I, s__Itching) & s__located(V__I, V__P) & s__part(V__P, V__H) & s__experiencer(V__I, V__H)) => s__desires(V__H, ( ? [V__S:$i] : ((s__instance(V__S, s__Scratching) & s__during(s__WhenFn(V__S), s__WhenFn(V__I)) & s__located(V__S, V__P))))))) | Mid-level-ontology.kif 6844-6855 | If X is an instance of pruritus, X is located at Y, Y is a part of Z, and Z experiences X, then Z desires there exists W such that W is an instance of scratching, the time of existence of W takes place during the time of existence of X, and W is located at Y |
| consequent |
|
|
| ! [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))) | 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 |
|