TreeView Knowledge Base Browser - electricityImportInPeriod

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Economy.kif 2186-2190
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2182-2182	Le nombre 1 argument de electricityImportInPeriod est une instance de secteur g�opolitique
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2183-2183	Le nombre 2 argument de electricityImportInPeriod est une instance de quantit� physique
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2184-2184	Le nombre 3 argument de electricityImportInPeriod est une sous-classe de interval temporel
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2181-2181	electricityImportInPeriod est une instance de pr�dicat ternaire

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 879-879
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 878-878
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 877-877
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 21612-21612
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 21611-21611
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 21610-21610

antecedent

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

Economy.kif 2202-2211

consequent

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

Economy.kif 2213-2220