Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Scratching
Scratching(scratching)

appearance as argument number 1
-------------------------


(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 6673-6679
(subclass Scratching BodyMotion) Mid-level-ontology.kif 6670-6670 Scratching is a subclass of body motion

appearance as argument number 2
-------------------------


(termFormat EnglishLanguage Scratching "scratching") Mid-level-ontology.kif 6671-6671

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 6681-6692


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners