|
|
   WaterSport
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Sports.kif 1207-1208 | |
| No TPTP formula. May not be expressible in strict first order. | Sports.kif 1206-1206 | 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 1240-1240 | WaterSkiing 是 WaterSport 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Sports.kif 1299-1299 | WindSurfing 是 WaterSport 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Sports.kif 1209-1209 |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Sports.kif 1211-1223 |
| consequent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Sports.kif 1270-1276 |
|
|
|
|