Kicking(kicking) | drop-kick, dropkick, kick |
appearance as argument number 1 |
(documentation Kicking EnglishLanguage "Any instance of Impelling where the instrument is a Foot of the agent.") | Mid-level-ontology.kif 6628-6629 | |
(externalImage Kicking "http://upload.wikimedia.org/wikipedia/en/0/00/Butterfly_Kick_Samuel_Lee.gif") | pictureList.kif 6649-6649 | |
(externalImage Kicking "http://upload.wikimedia.org/wikipedia/en/3/34/Triple_Reverse_Turning_Kick_Combo_Samuel_Lee.gif") | pictureList.kif 7136-7136 | |
(externalImage Kicking "http://upload.wikimedia.org/wikipedia/en/4/48/Flying_back_kick_Samuel_Lee.gif") | pictureList.kif 7137-7137 | |
(subclass Kicking Impelling) | Mid-level-ontology.kif 6627-6627 | Kicking is a subclass of impelling |
appearance as argument number 2 |
(termFormat ChineseLanguage Kicking "踢") | domainEnglishFormat.kif 32497-32497 | |
(termFormat ChineseTraditionalLanguage Kicking "踢") | domainEnglishFormat.kif 32496-32496 | |
(termFormat EnglishLanguage Kicking "kicking") | domainEnglishFormat.kif 32495-32495 |
antecedent |
(=> (and (instance ?KICK Kicking) (agent ?KICK ?ANIMAL)) (exists (?FOOT) (and (instance ?FOOT Foot) (part ?FOOT ?ANIMAL) (instrument ?KICK ?FOOT)))) |
Mid-level-ontology.kif 6631-6639 |
|
consequent |
(=> (instance ?BALL SoccerBall) (hasPurpose ?BALL (exists (?S ?K) (and (instance ?S Soccer) (instance ?K Kicking) (subProcess ?K ?S) (patient ?K ?BALL))))) |
Sports.kif 313-321 |
|