No TPTP formula. May not be expressible in strict first order. | Sports.kif 1207-1207 | 子類 WaterSport and Sport |
No TPTP formula. May not be expressible in strict first order. | Sports.kif 208-208 | 子類 Surfing and WaterSport |
No TPTP formula. May not be expressible in strict first order. | Sports.kif 222-222 | 子類 KiteSurfing and WaterSport |
No TPTP formula. May not be expressible in strict first order. | Sports.kif 233-233 | 子類 Rafting and WaterSport |
No TPTP formula. May not be expressible in strict first order. | Sports.kif 1241-1241 | 子類 WaterSkiing and WaterSport |
No TPTP formula. May not be expressible in strict first order. | Sports.kif 1300-1300 | 子類 WindSurfing and WaterSport |