TreeView Knowledge Base Browser - annualElectricityProduction

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Economy.kif 1986-1989
No TPTP formula. May not be expressible in strict first order.	Economy.kif 1983-1983	The number 1 argument of annual electricity production is an instance of geopolitical area
No TPTP formula. May not be expressible in strict first order.	Economy.kif 1984-1984	The number 2 argument of annual electricity production is an instance of physical quantity
No TPTP formula. May not be expressible in strict first order.	Economy.kif 1982-1982	annual electricity production is an instance of binary predicate

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 164-164
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 163-163
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 162-162
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 7683-7683
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 7682-7682
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 7681-7681

antecedent

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

Economy.kif 2002-2009

consequent

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

Economy.kif 1991-2000