Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - annualElectricityProduction
annualElectricityProduction

appearance as argument number 1
-------------------------


s__documentation(s__annualElectricityProduction__m,s__EnglishLanguage,'(annualElectricityProduction ?AREA ?AMOUNT) means that the amount of electricity generated annually in the GeographicalArea ?AREA is ?AMOUNT, measured in KilowattHours.')

Economy.kif 1979-1982
s__domain(s__annualElectricityProduction__m,1,s__GeopoliticalArea)

Economy.kif 1976-1976
s__domain(s__annualElectricityProduction__m,2,s__PhysicalQuantity)

Economy.kif 1977-1977
s__instance(s__BinaryPredicate,s__SetOrClass)

Economy.kif 1975-1975

appearance as argument number 2
-------------------------


s__format(s__EnglishLanguage,s__annualElectricityProduction__m,'%2 is %n an annual electricity production of %1')

domainEnglishFormat.kif 50-50
s__termFormat(s__EnglishLanguage,s__annualElectricityProduction__m,'annual electricity production')

domainEnglishFormat.kif 1713-1713

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. Economy.kif 1995-2002

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. Economy.kif 1984-1993


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners