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 5711-5717
(subclass Scratching BodyMotion) Mid-level-ontology.kif 5708-5708 Scratching is a subclass of body motion

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


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

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 5719-5730


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