| FootballManeuver(football maneuver)
|
| appearance as argument number 1 |
|
| (documentation FootballManeuver EnglishLanguage "Any Maneuver in FootballUS.") | Sports.kif 816-816 | |
| (externalImage FootballManeuver "http://upload.wikimedia.org/wikipedia/commons/ 2/ 25/ Fiji_Cook_Island_rugby.jpg") | pictureList.kif 9228-9228 | |
| (externalImage FootballManeuver "http://upload.wikimedia.org/wikipedia/commons/ 9/ 90/ American_Football_Kick.jpg") | pictureList.kif 6023-6023 | |
| (externalImage FootballManeuver "http://upload.wikimedia.org/wikipedia/commons/ b/ b3/ Vince_Young_scores_a_touchdown_in_the_2005_Big_12_Championship_Game.JPG") | pictureList.kif 6543-6543 | |
| (externalImage FootballManeuver "http://upload.wikimedia.org/wikipedia/commons/ d/ d2/ Football4.png") | pictureList.kif 9230-9230 | |
| (subclass FootballManeuver Maneuver) | Sports.kif 815-815 | Football maneuver is a subclass of maneuver |
| appearance as argument number 2 |
|
|
| (subclass FootballPass FootballManeuver) | Sports.kif 824-824 | Football pass is a subclass of football maneuver |
| (subclass FootballTouchdown FootballManeuver) | Sports.kif 846-846 | Football touchdown is a subclass of football maneuver |
| (termFormat ChineseLanguage FootballManeuver "足球演练") | domainEnglishFormat.kif 24612-24612 | Football touchdown is a subclass of football maneuver |
| (termFormat ChineseTraditionalLanguage FootballManeuver "足球演練") | domainEnglishFormat.kif 24611-24611 | Football touchdown is a subclass of football maneuver |
| (termFormat EnglishLanguage FootballManeuver "football maneuver") | domainEnglishFormat.kif 24610-24610 | Football touchdown is a subclass of football maneuver |
| antecedent |
|
|
| (=> (instance ?M FootballManeuver) (exists (?G) (and (instance ?G FootballUS) (subProcess ?M ?G)))) |
Sports.kif 817-822 |
|
|
|
|