Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   FootballPass
|
|
|
| appearance as argument number 1 |
|
|
| (subclass FootballPass FootballManeuver) | Sports.kif 850-850 | Football pass is a subclass of football maneuver |
| (documentation FootballPass EnglishLanguage "Any FootballManeuver where the member of one team throws the ball to another member of the same team.") | Sports.kif 851-852 | Football pass is a subclass of football maneuver |
| (externalImage FootballPass "http://upload.wikimedia.org/wikipedia/commons/ 4/ 47/ L%C3%BCbeck_Cougars_Quarterback.jpg") | pictureList.kif 6023-6023 | Football pass is a subclass of football maneuver |
| (externalImage FootballPass "http://upload.wikimedia.org/wikipedia/commons/ 9/ 9b/ Kiel_Baltic_Hurricanes_Spieler.jpg") | pictureList.kif 6543-6543 | Football pass is a subclass of football maneuver |
| appearance as argument number 2 |
|
|
| 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 854-867 | If X is an instance of football pass, then All of the following hold: (1) there exist Y, Z,, , W,, , V (2) U such that Y is a subprocess of X (3) Y is an instance of throwing (4) V is an agent of Y (5) Y ends up at U (6) Z is a patient of Y (7) Z is an instance of foot ball (8) W is an instance of sports team (9) V is a member of W (10) U is a member of W (11) equal V (12) U |
|
