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 922-924 | |
(subclass PuttingGreen GolfFacility) | Sports.kif 921-921 |
appearance as argument number 2 |
![]() |
(subclass MiniatureGolf PuttingGreen) | Sports.kif 949-949 | |
(termFormat EnglishLanguage PuttingGreen "putting green") | Sports.kif 925-925 |
antecedent |
![]() |
(=> (instance ?P PuttingGreen) (exists (?HOLE) (and (instance ?HOLE GolfHole) (part ?HOLE ?P)))) |
Sports.kif 942-947 | |
(=> (instance ?P PuttingGreen) (hasPurpose ?D (and (exists (?PUT) (and (instance ?PUT GolfPutt) (eventLocated ?PUT ?P))) (not (exists (?GOLF) (and (eventLocated ?GOLF ?D) (instance ?GOLF GolfManeuver) (not (instance ?GOLF GolfPutt)))))))) |
Sports.kif 927-940 |
consequent |
![]() |
(=> (instance ?COURSE GolfCourse) (exists (?GREEN) (and (instance ?GREEN PuttingGreen) (part ?GREEN ?COURSE)))) |
Sports.kif 858-863 |
![]() |
![]() |