|
|
   Golf
|
|
|
| appearance as argument number 1 |
|
|
| (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 889-891 | |
| (externalImage Golf "http://www.adampease.org/Articulate/SUMOpictures/pictures/ recreation/ sports/ golf/ golf.png") | pictureList.kif 468-468 | |
| (subclass Golf Sport) | Sports.kif 888-888 |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage Golf "高尔夫球") | domainEnglishFormat.kif 26229-26229 | |
| (termFormat ChineseTraditionalLanguage Golf "高爾夫球") | domainEnglishFormat.kif 26228-26228 | |
| (termFormat EnglishLanguage Golf "golf") | domainEnglishFormat.kif 26227-26227 |
| antecedent |
|
|
| (=> (instance ?G Golf) (exists (?M) (and (instance ?M GolfManeuver) (subProcess ?M ?G)))) |
Sports.kif 939-944 | |
| (=> (instance ?GOLF Golf) (exists (?DRIVE ?PUTT) (and (instance ?DRIVE GolfDrive) (instance ?PUTT GolfPutt) (subProcess ?DRIVE ?GOLF) (subProcess ?PUTT ?GOLF)))) |
Sports.kif 893-900 |
| consequent |
|
|
| (=> (attribute ?ATHLETE Golfer) (hasSkill Golf ?ATHLETE)) |
Sports.kif 415-417 | |
| (=> (instance ?X GolfCourse) (hasPurpose ?X (exists (?GOLF) (and (instance ?GOLF Golf) (eventLocated ?GOLF ?X))))) |
Sports.kif 922-928 | |
| (=> (instance ?X GolfFacility) (hasPurpose ?X (exists (?GOLF) (and (or (instance ?GOLF Golf) (instance ?GOLF GolfManeuver)) (eventLocated ?GOLF ?X))))) |
Sports.kif 907-915 | |
| (=> (instance ?X GolfPackage) (processInclusion ?X Golf)) |
Hotel.kif 2810-2812 |
|
|
|
