| Kicking
| |
| 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 6648-6648 | |
| (externalImage Kicking "http://upload.wikimedia.org/wikipedia/en/3/34/Triple_Reverse_Turning_Kick_Combo_Samuel_Lee.gif") | pictureList.kif 7135-7135 | |
| (externalImage Kicking "http://upload.wikimedia.org/wikipedia/en/4/48/Flying_back_kick_Samuel_Lee.gif") | pictureList.kif 7136-7136 | |
| (subclass Kicking Impelling) | Mid-level-ontology.kif 6627-6627 |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage Kicking "踢") | domainEnglishFormat.kif 32526-32526 | |
| (termFormat ChineseTraditionalLanguage Kicking "踢") | domainEnglishFormat.kif 32525-32525 | |
| (termFormat EnglishLanguage Kicking "kicking") | domainEnglishFormat.kif 32524-32524 |
| 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 |
|
|
|