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 e' uma sub-classe de Esporte

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Sports.kif 222-222	KiteSurfing e' uma sub-classe de WaterSport
No TPTP formula. May not be expressible in strict first order.	Sports.kif 233-233	Rafting e' uma sub-classe de WaterSport
No TPTP formula. May not be expressible in strict first order.	Sports.kif 208-208	Surfing e' uma sub-classe de WaterSport
No TPTP formula. May not be expressible in strict first order.	Sports.kif 1241-1241	WaterSkiing e' uma sub-classe de WaterSport
No TPTP formula. May not be expressible in strict first order.	Sports.kif 1300-1300	WindSurfing e' uma sub-classe de 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