DrivingRange(driving range) | ![]() | driving_range, golf_range, practice_range |
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 977-978 | |
(subclass DrivingRange GolfFacility) | Sports.kif 976-976 | Driving range is a subclass of golf facility |
appearance as argument number 2 |
![]() |
(termFormat EnglishLanguage DrivingRange "driving range") | Sports.kif 979-979 |
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 981-994 |
|
![]() |
![]() |