No TPTP formula. May not be expressible in strict first order. | Sports.kif 938-938 | 子類 高爾夫演習 and Maneuver |
No TPTP formula. May not be expressible in strict first order. | Sports.kif 947-947 | 子類 GolfDrive and 高爾夫演習 |
No TPTP formula. May not be expressible in strict first order. | Sports.kif 953-953 | 子類 GolfPutt and 高爾夫演習 |