(subclass GolfFacility SportsFacility) | Sports.kif 903-903 | GolfFacility は SportsFacility の subclass では %n |
(subclass DrivingRange GolfFacility) | Sports.kif 975-975 | DrivingRange は GolfFacility の subclass では %n |
(subclass PuttingGreen GolfFacility) | Sports.kif 995-995 | PuttingGreen は GolfFacility の subclass では %n |