| 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 1332-1333 | |
| (subclass Racquetball Sport) | Sports.kif 1331-1331 | Racquetball is a subclass of sport |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage Racquetball "racquetball") | Sports.kif 1334-1334 |
| consequent |
|
|
| (=> (instance ?X RacquetballCourt) (hasPurpose ?X (exists (?PLAY) (and (instance ?PLAY Racquetball) (eventLocated ?PLAY ?X))))) |
Sports.kif 1341-1347 |
|
|
|
|