Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
GolfManeuver(golf maneuver)
|  | approach, approach_shot, chip, chip_shot, downswing, draw, explosion, fade, golf_shot, golf_stroke, hook, hooking, pitch, pitch_shot, sclaff, shank, slice, slicing, swing |
| appearance as argument number 1 |
|
|
| (subclass GolfManeuver Maneuver) | Sports.kif 964-964 | Golf maneuver is a subclass of maneuver |
| (documentation GolfManeuver EnglishLanguage "Any Maneuver in Golf.") | Sports.kif 965-965 | Golf maneuver is a subclass of maneuver |
| (externalImage GolfManeuver "http://upload.wikimedia.org/wikipedia/commons/ e/ ec/ Tiger_Woods_2004.jpg") | pictureList.kif 2959-2959 | Golf maneuver is a subclass of maneuver |
| (externalImage GolfManeuver "http://upload.wikimedia.org/wikipedia/commons/ 9/ 9a/ Golf_player_putting_green_2003.jpg") | pictureList.kif 3107-3107 | Golf maneuver is a subclass of maneuver |
| appearance as argument number 2 |
|
|
| consequent |
|
|
| (=> (instance ?X GolfFacility) (hasPurpose ?X (exists (?GOLF) (and (or (instance ?GOLF Golf) (instance ?GOLF GolfManeuver)) (eventLocated ?GOLF ?X))))) |
Sports.kif 934-942 | If X is an instance of golf facility, then X has the purpose there exists Y such that Y is an instance of golf or Y is an instance of golf maneuver and Y is located at X |
| (=> (instance ?G Golf) (exists (?M) (and (instance ?M GolfManeuver) (subProcess ?M ?G)))) |
Sports.kif 966-971 | If X is an instance of golf, then there exists Y such that Y is an instance of golf maneuver and Y is a subprocess of X |
| (=> (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 1007-1020 | If X is an instance of driving range, then X has the purpose there exists Y such that Y is an instance of golf drive, Y is located at X, there doesn't exist Z such that Z is located at X, Z is an instance of golf maneuver, and Z is not an instance of golf drive |
| (=> (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 1028-1041 | If X is an instance of putting green, then X has the purpose there exists Y such that Y is an instance of golf put, Y is located at X, there doesn't exist Z such that Z is located at X, Z is an instance of golf maneuver, and Z is not an instance of golf put |
|