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 水力发电 是 发电 的 subAttribute
No TPTP formula. May not be expressible in strict first order. Economy.kif 2077-2077 水力发电 是 发电 的 subclass

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 发电 分拆成不相交的 化石燃料发电, 水力发电, 核能发电, 和 其他发电源


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