TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Geography.kif 530-531
No TPTP formula. May not be expressible in strict first order.	Geography.kif 527-527	Le nombre 1 argument de mapOfArea est une instance de r�gion
No TPTP formula. May not be expressible in strict first order.	Geography.kif 528-528	Le nombre 2 argument de mapOfArea est une instance de cha�ne sympbolique
No TPTP formula. May not be expressible in strict first order.	Geography.kif 526-526	mapOfArea est une instance de pr�dicat binaire

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 1607-1607
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 1606-1606
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 1605-1605
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 36089-36089
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 36088-36088
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 36087-36087