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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - 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 5717-5723
(subclass Scratching BodyMotion) Mid-level-ontology.kif 5714-5714

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


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

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 5725-5736


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