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	O argumento numero 1 de electricityImportInPeriod e' uma instancia de Area Geopolitica
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2183-2183	O argumento numero 2 de electricityImportInPeriod e' uma instancia de Quantidade Fisica
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2184-2184	O argumento numero 3 de electricityImportInPeriod e' uma sub-classe de Intervalo Temporal
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2181-2181	electricityImportInPeriod e' uma instancia de Predicado Ternario

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