| FootballPass(football pass)
| | completion, pass, pass_completion, passing, passing_game, passing_play, spot_pass |
| appearance as argument number 1 |
|
|
| (documentation FootballPass EnglishLanguage "Any FootballManeuver where the member of one team throws the ball to another member of the same team.") | Sports.kif 825-826 | |
| (externalImage FootballPass "http://upload.wikimedia.org/wikipedia/commons/ 4/ 47/ L%C3%BCbeck-Cougars-Quarterback.jpg") | pictureList.kif 6024-6024 | |
| (externalImage FootballPass "http://upload.wikimedia.org/wikipedia/commons/ 9/ 9b/ Kiel-Baltic-Hurricanes-Spieler.jpg") | pictureList.kif 6544-6544 | |
| (subclass FootballPass FootballManeuver) | Sports.kif 824-824 | Football pass is a subclass of football maneuver |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage FootballPass "足球传球") | domainEnglishFormat.kif 24618-24618 | |
| (termFormat ChineseTraditionalLanguage FootballPass "足球傳球") | domainEnglishFormat.kif 24617-24617 | |
| (termFormat EnglishLanguage FootballPass "football pass") | domainEnglishFormat.kif 24616-24616 |
| antecedent |
|
|
| (=> (instance ?PASS FootballPass) (exists (?THROW ?B ?TEAM ?M1 ?M2) (and (subProcess ?THROW ?PASS) (instance ?THROW Throwing) (agent ?THROW ?M1) (destination ?THROW ?M2) (patient ?THROW ?B) (instance ?B Football) (instance ?TEAM SportsTeam) (member ?M1 ?TEAM) (member ?M2 ?TEAM) (not (equal ?M1 ?M2))))) |
Sports.kif 828-841 |
|
|
|
|