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 208-208 |
子類 Surfing 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 |
No TPTP formula. May not be expressible in strict first order. |
Sports.kif 1210-1210 |
|