Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   Itching
|
|
|
| appearance as argument number 1 |
|
|
| (subclass Itching TactilePerception) | Mid-level-ontology.kif 6825-6825 | Pruritus is a subclass of tactile perception |
| (documentation Itching 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 |
|
|
| (termFormat EnglishLanguage Itching "itching") | Mid-level-ontology.kif 6826-6826 | |
| (termFormat EnglishLanguage Itching "pruritus") | Mid-level-ontology.kif 6827-6827 |
| antecedent |
|
|
| (=> (and (instance ?I Itching) (located ?I ?P) (part ?P ?H) (experiencer ?I ?H)) (desires ?H (exists (?S) (and (instance ?S Scratching) (during (WhenFn ?S) (WhenFn ?I)) (located ?S ?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 |
|
|
| (=> (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 |
|