InternalPudendalArtery
|
|
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 890-892 | |
(externalImage Golf "http://articulatesoftware.com/SUMOpictures/recreation/ sports/ golf/ golf.png") | pictureList.kif 468-468 | |
(subclass Golf Sport) | Sports.kif 889-889 | Golf ist eine teilkategorie von Sport |
appearance as argument number 2 |
(termFormat ChineseLanguage Golf "高尔夫球") | domainEnglishFormat.kif 26220-26220 | |
(termFormat ChineseTraditionalLanguage Golf "高爾夫球") | domainEnglishFormat.kif 26219-26219 | |
(termFormat EnglishLanguage Golf "golf") | domainEnglishFormat.kif 26218-26218 |
antecedent |
(=> (instance ?G Golf) (exists (?M) (and (instance ?M GolfManeuver) (subProcess ?M ?G)))) |
Sports.kif 940-945 |
|
(=> (instance ?GOLF Golf) (exists (?DRIVE ?PUTT) (and (instance ?DRIVE GolfDrive) (instance ?PUTT GolfPutt) (subProcess ?DRIVE ?GOLF) (subProcess ?PUTT ?GOLF)))) |
Sports.kif 894-901 |
|
consequent |
(=> (attribute ?ATHLETE Golfer) (hasSkill Golf ?ATHLETE)) |
Sports.kif 416-418 |
|
(=> (instance ?X GolfCourse) (hasPurpose ?X (exists (?GOLF) (and (instance ?GOLF Golf) (eventLocated ?GOLF ?X))))) |
Sports.kif 923-929 |
|
(=> (instance ?X GolfFacility) (hasPurpose ?X (exists (?GOLF) (and (or (instance ?GOLF Golf) (instance ?GOLF GolfManeuver)) (eventLocated ?GOLF ?X))))) |
Sports.kif 908-916 |
|
(=> (instance ?X GolfPackage) (processInclusion ?X Golf)) |
Hotel.kif 2810-2812 |
|