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	O argumento numero 1 de annualElectricityExport e' uma instancia de Area Geopolitica
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2149-2149	O argumento numero 2 de annualElectricityExport e' uma instancia de Quantidade Fisica
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2147-2147	annualElectricityExport e' uma instancia de Predicado Binario

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