No TPTP formula. May not be expressible in strict first order. | Sports.kif 903-903 | Golf facility is a subclass of sports facility |
No TPTP formula. May not be expressible in strict first order. | Sports.kif 975-975 | Driving range is a subclass of golf facility |
No TPTP formula. May not be expressible in strict first order. | Sports.kif 995-995 | Putting green is a subclass of golf facility |