TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Economy.kif 2271-2275
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2268-2268	Le nombre 1 argument de annualExportTotal est une instance de secteur g�opolitique
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2269-2269	Le nombre 2 argument de annualExportTotal est une instance de mesure de devise
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2267-2267	annualExportTotal 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 176-176
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 175-175
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 174-174
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 7692-7692
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 7691-7691
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 7690-7690

antecedent

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

Economy.kif 2288-2295

consequent

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

Economy.kif 2277-2286