TreeView Knowledge Base Browser - annualElectricityExport

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Economy.kif 2151-2154
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2148-2148	Le nombre 1 argument de annualElectricityExport est une instance de secteur g�opolitique
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2149-2149	Le nombre 2 argument de annualElectricityExport est une instance de quantit� physique
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2147-2147	annualElectricityExport 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 156-156
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 155-155
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 154-154
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 7662-7662
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 7661-7661
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 7660-7660

antecedent

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

Economy.kif 2167-2174

consequent

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

Economy.kif 2156-2165