TreeView Knowledge Base Browser

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 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 1241-1241	子類 WaterSkiing and WaterSport
No TPTP formula. May not be expressible in strict first order.	Sports.kif 1300-1300	子類 WindSurfing and WaterSport
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