GolfDrive
|
|
appearance as argument number 1 |
(documentation GolfDrive EnglishLanguage "GolfDrive refers to an initial GolfManeuver for a par-4 or par-5 hole where the golf ball is hit from a tee") | Sports.kif 949-950 | |
(subclass GolfDrive GameShot) | Sports.kif 948-948 | GolfDrive は GameShot の subclass では %n |
(subclass GolfDrive GolfManeuver) | Sports.kif 947-947 | GolfDrive は GolfManeuver の subclass では %n |
appearance as argument number 2 |
(termFormat EnglishLanguage GolfDrive "golf drive") | Sports.kif 951-951 |
consequent |
(=> (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 | |
(=> (instance ?GOLF Golf) (exists (?DRIVE ?PUTT) (and (instance ?DRIVE GolfDrive) (instance ?PUTT GolfPutt) (subProcess ?DRIVE ?GOLF) (subProcess ?PUTT ?GOLF)))) |
Sports.kif 894-901 |