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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - HydroElectricPowerGeneration
HydroElectricPowerGeneration(hydro electric power generation)
more pictures...

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


No TPTP formula. May not be expressible in strict first order. naics.kif 995-998
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11195-11195
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11199-11199
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11194-11194
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11190-11190
No TPTP formula. May not be expressible in strict first order. pictureList.kif 8532-8532
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11192-11192
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11197-11197
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11196-11196
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11191-11191
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11198-11198
No TPTP formula. May not be expressible in strict first order. naics.kif 993-993 Hydro electric power generation is a subattribute of electric power generation
No TPTP formula. May not be expressible in strict first order. Economy.kif 2077-2077 Hydro electric power generation is a subclass of electrical power generation

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 29031-29031
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 29030-29030
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 29029-29029

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


No TPTP formula. May not be expressible in strict first order. Economy.kif 2087-2087 Power generation is disjointly decomposed into fossil fuel power generation, hydro electric power generation, nuclear power generation, and other source power generation


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 3.0 is open source software produced by Articulate Software and its partners