WaterSport - Sigma Knowledge base Browser

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 and Sport

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Sports.kif 222-222	子類 KiteSurfing and WaterSport
No TPTP formula. May not be expressible in strict first order.	Sports.kif 233-233	子類 Rafting and WaterSport
No TPTP formula. May not be expressible in strict first order.	Sports.kif 208-208	子類 Surfing and WaterSport
No TPTP formula. May not be expressible in strict first order.	Sports.kif 1240-1240	子類 WaterSkiing and WaterSport
No TPTP formula. May not be expressible in strict first order.	Sports.kif 1299-1299	子類 WindSurfing and WaterSport
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