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

Formal Language: 



KB Term:  Term intersection
English Word: 

  ElectricPowerGeneration

Sigma KEE - ElectricPowerGeneration
ElectricPowerGeneration(發電)

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


No TPTP formula. May not be expressible in strict first order. naics.kif 989-991
No TPTP formula. May not be expressible in strict first order. naics.kif 987-987 子屬性 發電 and 發電輸配電

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


No TPTP formula. May not be expressible in strict first order. naics.kif 1000-1000 子屬性 化石燃料發電 and 發電
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. naics.kif 1007-1007 子屬性 核電發電 and 發電
No TPTP formula. May not be expressible in strict first order. naics.kif 1014-1014 子屬性 其他發電 and 發電
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 21648-21648
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 21647-21647
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 21646-21646


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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