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 5405-5411
(subclass Scratching BodyMotion) Mid-level-ontology.kif 5402-5402 Scratching身体运动subclass

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


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

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 5413-5424


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