WaterSport |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Sports.kif 1208-1209 | |
No TPTP formula. May not be expressible in strict first order. | Sports.kif 1207-1207 | WaterSport 是 运动 的 subclass |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Sports.kif 222-222 | KiteSurfing 是 WaterSport 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Sports.kif 233-233 | Rafting 是 WaterSport 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Sports.kif 208-208 | Surfing 是 WaterSport 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Sports.kif 1241-1241 | WaterSkiing 是 WaterSport 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Sports.kif 1300-1300 | WindSurfing 是 WaterSport 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Sports.kif 1210-1210 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Sports.kif 1212-1224 |
consequent |
No TPTP formula. May not be expressible in strict first order. | Sports.kif 1271-1277 |
|