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

Formal Language: 



KB Term:  Term intersection
English Word: 

  PowerGeneration

Sigma KEE - PowerGeneration
PowerGeneration(power generation)
more pictures...
source, wind_generation, wind_power

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


No TPTP formula. May not be expressible in strict first order. Economy.kif 2098-2098 Power generation is disjointly decomposed into fossil fuel power generation, hydro electric power generation, nuclear power generation, and other source power generation
No TPTP formula. May not be expressible in strict first order. Economy.kif 2076-2078
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7634-7634
No TPTP formula. May not be expressible in strict first order. pictureList.kif 6787-6787
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7629-7629
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7635-7635
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7636-7636
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7633-7633
No TPTP formula. May not be expressible in strict first order. Economy.kif 2074-2074 Power generation is a subclass of process

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


No TPTP formula. May not be expressible in strict first order. Economy.kif 2080-2080 Electrical power generation is a subclass of power generation
No TPTP formula. May not be expressible in strict first order. Economy.kif 2086-2086 Fossil fuel power generation is a subclass of power generation
No TPTP formula. May not be expressible in strict first order. Economy.kif 2090-2090 Nuclear power generation is a subclass of power generation
No TPTP formula. May not be expressible in strict first order. Economy.kif 2092-2092 Other source power generation is a subclass of power generation
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 47019-47019
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 47018-47018
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 47017-47017

appearance as argument number 3
-------------------------


No TPTP formula. May not be expressible in strict first order. Economy.kif 2054-2054 The number 2 argument of electricity fraction from source is a subclass of power generation
No TPTP formula. May not be expressible in strict first order. Economy.kif 2038-2038 The number 2 argument of electricity fraction from source in period is a subclass of power generation


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

Show without tree


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners