|
|
   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 | Water sport is a subclass of sport |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Sports.kif 222-222 | Kite surfing is a subclass of water sport |
| No TPTP formula. May not be expressible in strict first order. | Sports.kif 233-233 | Rafting is a subclass of water sport |
| No TPTP formula. May not be expressible in strict first order. | Sports.kif 208-208 | Surfing is a subclass of water sport |
| No TPTP formula. May not be expressible in strict first order. | Sports.kif 1241-1241 | Water skiing is a subclass of water sport |
| No TPTP formula. May not be expressible in strict first order. | Sports.kif 1300-1300 | Wind surfing is a subclass of water sport |
| 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 |
|
|
|
|