Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   Football
|
|
|
| appearance as argument number 1 |
|
|
| (documentation Football EnglishLanguage "It is GamePiece used in the Game of FootballUS. It is ConvexRoundShape.") | Sports.kif 340-340 | |
| (subclass Football GamePiece) | Sports.kif 356-356 | Foot ball is a subclass of game piece |
| (externalImage Football "http://articulatesoftware.com/SUMOpictures/recreation/ sports/ football/ football.png") | pictureList.kif 442-442 | Foot ball is a subclass of game piece |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (instance ?F Football) (exists (?GAME) (and (instance ?GAME FootballUS) (patient ?GAME ?F)))) |
Sports.kif 345-350 | If X is an instance of foot ball, then there exists Y such that Y is an instance of foot ball US and X is a patient of Y |
| (=> (instance ?F Football) (shape ?F ConvexRoundShape)) |
Sports.kif 352-354 | If X is an instance of foot ball, then X is convex round shape |
| consequent |
|
|
| (=> (attribute ?ATHLETE FootballerUS) (hasSkill Football ?ATHLETE)) |
Sports.kif 420-422 | If footballer is an attribute of X, then X has the skill to do foot ball |
| (=> (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 |
|
