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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - HydroElectricPowerGeneration
HydroElectricPowerGeneration
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 HydroElectricPowerGeneration est un sous-attribut de ElectricPowerGeneration
No TPTP formula. May not be expressible in strict first order. Economy.kif 2077-2077 HydroElectricPowerGeneration est une sous-classe de ElectricalPowerGeneration

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 PowerGeneration est disjointement decompos� en FossilFuelPowerGeneration, HydroElectricPowerGeneration, NuclearPowerGeneration, + OtherSourcePowerGeneration


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