| 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 7168-7169 | |
| (externalImage Punching "http://upload.wikimedia.org/wikipedia/commons/8/ 85/ Asikainen_di_Giacomo.jpg") | pictureList.kif 6806-6806 | |
| (externalImage Punching "http://upload.wikimedia.org/wikipedia/commons/d/ d0/ Bellows_George_Dempsey_and_Firpo_1924.jpg") | pictureList.kif 7693-7693 | |
| (externalImage Punching "http://upload.wikimedia.org/wikipedia/commons/d/ d9/ Ouch_boxing_footwork.jpg") | pictureList.kif 7695-7695 | |
| (externalImage Punching "http://upload.wikimedia.org/wikipedia/commons/e/ e8/ Footwork.jpg") | pictureList.kif 7694-7694 | |
| (subclass Punching Impelling) | Mid-level-ontology.kif 7166-7166 | Punching is a subclass of impelling |
| (subclass Punching IntentionalProcess) | Mid-level-ontology.kif 7167-7167 | Punching is a subclass of intentional process |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage Punching "冲压") | domainEnglishFormat.kif 48159-48159 | |
| (termFormat ChineseTraditionalLanguage Punching "沖壓") | domainEnglishFormat.kif 48158-48158 | |
| (termFormat EnglishLanguage Punching "punching") | domainEnglishFormat.kif 48157-48157 |
| 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 7171-7180 |
|
|
|
|