TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Geography.kif 6439-6440
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6437-6437	O argumento numero 1 de sheddingLeaves e' uma instancia de Planta
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6438-6438	O argumento numero 2 de sheddingLeaves e' uma instancia de PlantLeaf
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6436-6436	sheddingLeaves e' uma instancia de SheddingPart

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 5010-5010
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 65936-65936

antecedent

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

Geography.kif 6393-6404

consequent

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

Geography.kif 6548-6553