WaterSport(water sport) | aquatics, water_polo, water_sport |
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 | 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 1240-1240 | Water skiing is a subclass of water sport |
No TPTP formula. May not be expressible in strict first order. | Sports.kif 1299-1299 | Wind surfing is a subclass of water sport |
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 |
|