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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Punching
Punching(punching)
biff, clout, lick, plug, poke, punch, slug

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


(documentation Punching EnglishLanguage "Any instance of Impelling where the instrument is a Fist of the agent.") Mid-level-ontology.kif 6619-6620
(externalImage Punching "http://upload.wikimedia.org/wikipedia/commons/8/ 85/ Asikainen-di_Giacomo.jpg") pictureList.kif 6807-6807
(externalImage Punching "http://upload.wikimedia.org/wikipedia/commons/d/ d0/ Bellows_George_Dempsey_and_Firpo_1924.jpg") pictureList.kif 7694-7694
(externalImage Punching "http://upload.wikimedia.org/wikipedia/commons/d/ d9/ Ouch-boxing-footwork.jpg") pictureList.kif 7696-7696
(externalImage Punching "http://upload.wikimedia.org/wikipedia/commons/e/ e8/ Footwork.jpg") pictureList.kif 7695-7695
(subclass Punching Impelling) Mid-level-ontology.kif 6617-6617 Punching is a subclass of impelling
(subclass Punching IntentionalProcess) Mid-level-ontology.kif 6618-6618 Punching is a subclass of intentional process

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


(termFormat ChineseLanguage Punching "冲压") domainEnglishFormat.kif 48128-48128
(termFormat ChineseTraditionalLanguage Punching "沖壓") domainEnglishFormat.kif 48127-48127
(termFormat EnglishLanguage Punching "punching") domainEnglishFormat.kif 48126-48126

antecedent
-------------------------


(=>
    (and
        (instance ?P Punching)
        (agent ?P ?A))
    (exists (?H)
        (and
            (instance ?H Hand)
            (attribute ?H Fist)
            (part ?H ?A)
            (instrument ?P ?H))))
Mid-level-ontology.kif 6622-6631


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