| Racquetball(racquetball) | | racquetball |
| appearance as argument number 1 |
|
|
| (documentation Racquetball EnglishLanguage "Racquetball is a type of Sport where a ball is hit with short-handled rackets towards a wall") | Sports.kif 1319-1320 | |
| (subclass Racquetball Sport) | Sports.kif 1318-1318 | Racquetball is a subclass of sport |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage Racquetball "racquetball") | Sports.kif 1321-1321 |
| consequent |
|
|
| (=> (instance ?X RacquetballCourt) (hasPurpose ?X (exists (?PLAY) (and (instance ?PLAY Racquetball) (eventLocated ?PLAY ?X))))) |
Sports.kif 1328-1334 |
|
|
|
|