(subclass GolfFacility SportsFacility) | Sports.kif 903-903 | Golf facility is a subclass of sports facility |
(subclass DrivingRange GolfFacility) | Sports.kif 975-975 | Driving range is a subclass of golf facility |
(subclass PuttingGreen GolfFacility) | Sports.kif 995-995 | Putting green is a subclass of golf facility |