| appearance as argument number 1 |
|
| (documentation ElectricalPowerGeneration EnglishLanguage "ElectricalPowerGeneration is the subclass of PowerGeneration processes in which electricity is generated.") | Economy.kif 2186-2188 | |
| (industryProductType ElectricalPowerGeneration Electricity) | Economy.kif 5840-5840 | Electricity is an industry product type of electrical power generation |
| (subclass ElectricalPowerGeneration PowerGeneration) | Economy.kif 2184-2184 | Electrical power generation is a subclass of power generation |
| appearance as argument number 2 |
|
|
| (subclass HydroElectricPowerGeneration ElectricalPowerGeneration) | Economy.kif 2192-2192 | Hydro electric power generation is a subclass of electrical power generation |
| (termFormat ChineseLanguage ElectricalPowerGeneration "发电") | domainEnglishFormat.kif 21545-21545 | Hydro electric power generation is a subclass of electrical power generation |
| (termFormat ChineseTraditionalLanguage ElectricalPowerGeneration "發電") | domainEnglishFormat.kif 21544-21544 | Hydro electric power generation is a subclass of electrical power generation |
| (termFormat EnglishLanguage ElectricalPowerGeneration "electrical power generation") | domainEnglishFormat.kif 21543-21543 | 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