| appearance as argument number 1 |
|
| (documentation ElectricalPowerGeneration EnglishLanguage "ElectricalPowerGeneration is the subclass of PowerGeneration processes in which electricity is generated.") | Economy.kif 2311-2313 | |
| (industryProductType ElectricalPowerGeneration Electricity) | Economy.kif 6067-6067 | Electricity is an industry product type of electrical power generation |
| (subclass ElectricalPowerGeneration PowerGeneration) | Economy.kif 2309-2309 | Electrical power generation is a subclass of power generation |
| appearance as argument number 2 |
|
|
| (subclass HydroElectricPowerGeneration ElectricalPowerGeneration) | Economy.kif 2317-2317 | Hydro electric power generation is a subclass of electrical power generation |
| (termFormat ChineseLanguage ElectricalPowerGeneration "发电") | domainEnglishFormat.kif 21549-21549 | Hydro electric power generation is a subclass of electrical power generation |
| (termFormat ChineseTraditionalLanguage ElectricalPowerGeneration "發電") | domainEnglishFormat.kif 21548-21548 | Hydro electric power generation is a subclass of electrical power generation |
| (termFormat EnglishLanguage ElectricalPowerGeneration "electrical power generation") | domainEnglishFormat.kif 21547-21547 | Hydro electric power generation is a subclass of electrical 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