Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| Scratching(scratching) |
| appearance as argument number 1 |
|
| (subclass Scratching BodyMotion) | Mid-level-ontology.kif 6833-6833 | Scratching is a subclass of body motion |
| (documentation Scratching EnglishLanguage "Scratching is a rhythmic rubbing of the body with a sharp object or other part of the body, such as a claw or nail. During a scratch reflex, a nearby limb reaches toward and rubs against the site on the body surface that has been stimulated. Despite decades of research, key aspects of the scratch reflex are still unknown, such as the neural mechanisms by which the reflex is terminated.[from Wikipedia]") | Mid-level-ontology.kif 6836-6842 | Scratching is a subclass of body motion |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage Scratching "scratching") | Mid-level-ontology.kif 6834-6834 |
| consequent |
|
|
| (=> (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 |
|