FootballPass |
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 |
appearance as argument number 2 |
(termFormat ChineseLanguage FootballPass "足球传球") | domainEnglishFormat.kif 24596-24596 | |
(termFormat ChineseTraditionalLanguage FootballPass "足球傳球") | domainEnglishFormat.kif 24595-24595 | |
(termFormat EnglishLanguage FootballPass "football pass") | domainEnglishFormat.kif 24594-24594 |
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 |