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