| GolfManeuver(高爾夫演習)
| |
| appearance as argument number 1 |
|
|
| (documentation GolfManeuver EnglishLanguage "Any Maneuver in Golf.") | Sports.kif 939-939 | |
| (externalImage GolfManeuver "http://upload.wikimedia.org/wikipedia/commons/ 9/ 9a/ Golf_player_putting_green_2003.jpg") | pictureList.kif 3108-3108 | |
| (externalImage GolfManeuver "http://upload.wikimedia.org/wikipedia/commons/ e/ ec/ Tiger_Woods_2004.jpg") | pictureList.kif 2960-2960 | |
| (subclass GolfManeuver Maneuver) | Sports.kif 938-938 | 子類 高爾夫演習 and Maneuver |
| appearance as argument number 2 |
|
|
| (subclass GolfDrive GolfManeuver) | Sports.kif 947-947 | 子類 GolfDrive and 高爾夫演習 |
| (subclass GolfPutt GolfManeuver) | Sports.kif 953-953 | 子類 GolfPutt and 高爾夫演習 |
| (termFormat ChineseLanguage GolfManeuver "高尔夫演习") | domainEnglishFormat.kif 26238-26238 | |
| (termFormat ChineseTraditionalLanguage GolfManeuver "高爾夫演習") | domainEnglishFormat.kif 26237-26237 | |
| (termFormat EnglishLanguage GolfManeuver "golf maneuver") | domainEnglishFormat.kif 26236-26236 |
| 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 ?G Golf) (exists (?M) (and (instance ?M GolfManeuver) (subProcess ?M ?G)))) |
Sports.kif 940-945 | |
| (=> (instance ?P PuttingGreen) (hasPurpose ?P (and (exists (?PUT) (and (instance ?PUT GolfPutt) (eventLocated ?PUT ?P))) (not (exists (?GOLF) (and (eventLocated ?GOLF ?P) (instance ?GOLF GolfManeuver) (not (instance ?GOLF GolfPutt)))))))) |
Sports.kif 1001-1014 | |
| (=> (instance ?X GolfFacility) (hasPurpose ?X (exists (?GOLF) (and (or (instance ?GOLF Golf) (instance ?GOLF GolfManeuver)) (eventLocated ?GOLF ?X))))) |
Sports.kif 908-916 |
|
|
|