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 est une instance de secteur g�ographique
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3619-3619	Tropics recouvre EasternHemisphere
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3617-3617	Tropics recouvre NorthernHemisphere
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3618-3618	Tropics recouvre SouthernHemisphere
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3620-3620	Tropics recouvre WesternHemisphere

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Geography.kif 3588-3588	Tropics s'appele nom "Tropics"
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3589-3589	Tropics s'appele nom "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 615-621