No TPTP formula. May not be expressible in strict first order. |
Sports.kif 222-222 |
KiteSurfing est une sous-classe de WaterSport |
No TPTP formula. May not be expressible in strict first order. |
Sports.kif 233-233 |
Rafting est une sous-classe de WaterSport |
No TPTP formula. May not be expressible in strict first order. |
Sports.kif 208-208 |
Surfing est une sous-classe de WaterSport |
No TPTP formula. May not be expressible in strict first order. |
Sports.kif 1241-1241 |
WaterSkiing est une sous-classe de WaterSport |
No TPTP formula. May not be expressible in strict first order. |
Sports.kif 1300-1300 |
WindSurfing est une sous-classe de WaterSport |
No TPTP formula. May not be expressible in strict first order. |
Sports.kif 1210-1210 |
|