|
|
   Golf
|
|
|
| appearance as argument number 1 |
|
|
| (subclass Golf Sport) | Sports.kif 915-915 | Golf is a subclass of sport |
| (documentation Golf EnglishLanguage "A Sport which has a course of 9 or 18 holes and where the object is to hit a ball with a club into each hole in turn with the fewest number of strokes.") | Sports.kif 916-918 | Golf is a subclass of sport |
| (externalImage Golf "http://articulatesoftware.com/SUMOpictures/recreation/ sports/ golf/ golf.png") | pictureList.kif 468-468 | Golf is a subclass of sport |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (instance ?GOLF Golf) (exists (?DRIVE ?PUTT) (and (instance ?DRIVE GolfDrive) (instance ?PUTT GolfPutt) (subProcess ?DRIVE ?GOLF) (subProcess ?PUTT ?GOLF)))) |
Sports.kif 920-927 | If X is an instance of golf, then there exist Y, Z such that Y is an instance of golf drive, Z is an instance of golf put, Y is a subprocess of X, and Z is a subprocess of 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 |
| consequent |
|
|
| (=> (instance ?X GolfPackage) (processInclusion ?X Golf)) |
Hotel.kif 2828-2830 | If X is an instance of golf package, then customers of X are entitled to golf |
| (=> (attribute ?ATHLETE Golfer) (hasSkill Golf ?ATHLETE)) |
Sports.kif 428-430 | If golfer is an attribute of X, then X has the skill to do golf |
| (=> (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 ?X GolfCourse) (hasPurpose ?X (exists (?GOLF) (and (instance ?GOLF Golf) (eventLocated ?GOLF ?X))))) |
Sports.kif 949-955 | If X is an instance of golf course, then X has the purpose there exists Y such that Y is an instance of golf and Y is located at X |
|
