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	电力进口期间的 1 数量是地缘政治区域的 instance
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2183-2183	电力进口期间的 2 数量是物理量的 instance
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2184-2184	电力进口期间的 3 数量是时距的 subclass
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2181-2181	电力进口期间是三元谓语的 instance

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