|
|
   PuttingGreen
|
|
|
| appearance as argument number 1 |
|
|
| (documentation PuttingGreen EnglishLanguage "PuttingGreen refers to a GolfFacility that involves a short area of grass surrounding a hole where the object is to put the ball in the hole") | Sports.kif 996-998 | |
| (subclass PuttingGreen GolfFacility) | Sports.kif 995-995 | PuttingGreen e' uma sub-classe de GolfFacility |
| appearance as argument number 2 |
|
|
| (subclass MiniatureGolf PuttingGreen) | Sports.kif 1023-1023 | MiniatureGolf e' uma sub-classe de PuttingGreen |
| (termFormat EnglishLanguage PuttingGreen "putting green") | Sports.kif 999-999 |
| antecedent |
|
|
| (=> (instance ?P PuttingGreen) (exists (?HOLE) (and (instance ?HOLE GolfHole) (part ?HOLE ?P)))) |
Sports.kif 1016-1021 | |
| (=> (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 1001-1014 |
| consequent |
|
|
| (=> (instance ?COURSE GolfCourse) (exists (?GREEN) (and (instance ?GREEN PuttingGreen) (part ?GREEN ?COURSE)))) |
Sports.kif 931-936 |
|
|
|
|