TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Geography.kif 3591-3593
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 798-798
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 3023-3023
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 3261-3261
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3587-3587	Tropics e' uma instancia de Area Geografica
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3619-3619	Tropics engloba EasternHemisphere
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3617-3617	Tropics engloba NorthernHemisphere
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3618-3618	Tropics engloba SouthernHemisphere
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3620-3620	Tropics engloba WesternHemisphere

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Geography.kif 3588-3588	Tropics se chama nome "Tropics"
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3589-3589	Tropics se chama nome "the Tropics"
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 59276-59276
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 59275-59275
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 59274-59274

antecedent

No TPTP formula. May not be expressible in strict first order.

Geography.kif 3595-3615

consequent

No TPTP formula. May not be expressible in strict first order.

Weather.kif 619-625