| 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 817-819 | |
| (externalImage Golf "http://www.adampease.org/Articulate/SUMOpictures/pictures/ recreation/ sports/ golf/ golf.png") | pictureList.kif 468-468 | |
| (subclass Golf Sport) | Sports.kif 816-816 |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage Golf "高尔夫球") | domainEnglishFormat.kif 26211-26211 | |
| (termFormat ChineseTraditionalLanguage Golf "高爾夫球") | domainEnglishFormat.kif 26210-26210 | |
| (termFormat EnglishLanguage Golf "golf") | domainEnglishFormat.kif 26209-26209 |
| antecedent |
|
|
| (=> (instance ?G Golf) (exists (?M) (and (instance ?M GolfManeuver) (subProcess ?M ?G)))) |
Sports.kif 867-872 | |
| (=> (instance ?GOLF Golf) (exists (?DRIVE ?PUTT) (and (instance ?DRIVE GolfDrive) (instance ?PUTT GolfPutt) (subProcess ?DRIVE ?GOLF) (subProcess ?PUTT ?GOLF)))) |
Sports.kif 821-828 |
| consequent |
|
|
| (=> (attribute ?ATHLETE Golfer) (hasSkill Golf ?ATHLETE)) |
Sports.kif 347-349 | |
| (=> (instance ?X GolfCourse) (hasPurpose ?X (exists (?GOLF) (and (instance ?GOLF Golf) (eventLocated ?GOLF ?X))))) |
Sports.kif 850-856 | |
| (=> (instance ?X GolfFacility) (hasPurpose ?X (exists (?GOLF) (and (or (instance ?GOLF Golf) (instance ?GOLF GolfManeuver)) (eventLocated ?GOLF ?X))))) |
Sports.kif 835-843 | |
| (=> (instance ?X GolfPackage) (processInclusion ?X Golf)) |
Hotel.kif 2779-2781 |
|
|
|