| 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 1320-1321 | |
| (subclass Racquetball Sport) | Sports.kif 1319-1319 | Racquetball is a subclass of sport |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage Racquetball "racquetball") | Sports.kif 1322-1322 |
| consequent |
|
|
| (=> (instance ?X RacquetballCourt) (hasPurpose ?X (exists (?PLAY) (and (instance ?PLAY Racquetball) (eventLocated ?PLAY ?X))))) |
Sports.kif 1329-1335 |
|
|
|
|