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 子屬性 水力發電 and 發電
No TPTP formula. May not be expressible in strict first order. Economy.kif 2077-2077 子類 水力發電 and 發電

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 不相交分解 發電, 化石燃料發電, 水力發電, 核能發電 and 其他發電源


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