|
|
   DrivingRange
|
|
|
| appearance as argument number 1 |
|
|
| (documentation DrivingRange EnglishLanguage "DrivingRange is a GolfFacility where people line up side-by-side performing GolfDrive for practice") | Sports.kif 976-977 | |
| (subclass DrivingRange GolfFacility) | Sports.kif 975-975 | 子類 DrivingRange and GolfFacility |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage DrivingRange "driving range") | Sports.kif 978-978 |
| antecedent |
|
|
| (=> (instance ?D DrivingRange) (hasPurpose ?D (and (exists (?DRIVE) (and (instance ?DRIVE GolfDrive) (eventLocated ?DRIVE ?D))) (not (exists (?GOLF) (and (eventLocated ?GOLF ?D) (instance ?GOLF GolfManeuver) (not (instance ?GOLF GolfDrive)))))))) |
Sports.kif 980-993 |
|
|
|