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 1318-1319 | |
(subclass Racquetball Sport) | Sports.kif 1317-1317 | Racquetball est une sous-classe de sport |
appearance as argument number 2 |
(termFormat EnglishLanguage Racquetball "racquetball") | Sports.kif 1320-1320 |
consequent |
(=> (instance ?X RacquetballCourt) (hasPurpose ?X (exists (?PLAY) (and (instance ?PLAY Racquetball) (eventLocated ?PLAY ?X))))) |
Sports.kif 1327-1333 |
|