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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - ElectricalPowerGeneration
ElectricalPowerGeneration

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


(documentation ElectricalPowerGeneration EnglishLanguage "ElectricalPowerGeneration is the subclass of PowerGeneration processes in which electricity is generated.") Economy.kif 2071-2073
(industryProductType ElectricalPowerGeneration Electricity) Economy.kif 5725-5725 industryProductType ElectricalPowerGeneration and Electricity
(subclass ElectricalPowerGeneration PowerGeneration) Economy.kif 2069-2069 ElectricalPowerGenerationPowerGenerationsubclass では %n

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


(subclass HydroElectricPowerGeneration ElectricalPowerGeneration) Economy.kif 2077-2077 HydroElectricPowerGenerationElectricalPowerGenerationsubclass では %n
(termFormat ChineseLanguage ElectricalPowerGeneration "发电") domainEnglishFormat.kif 21534-21534
(termFormat ChineseTraditionalLanguage ElectricalPowerGeneration "發電") domainEnglishFormat.kif 21533-21533
(termFormat EnglishLanguage ElectricalPowerGeneration "electrical power generation") domainEnglishFormat.kif 21532-21532


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