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