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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - FossilFuelElectricPowerGeneration
FossilFuelElectricPowerGeneration(fossil fuel electric power generation)

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


No TPTP formula. May not be expressible in strict first order. naics.kif 1002-1005
No TPTP formula. May not be expressible in strict first order. pictureList.kif 6563-6563
No TPTP formula. May not be expressible in strict first order. pictureList.kif 6564-6564
No TPTP formula. May not be expressible in strict first order. pictureList.kif 6032-6032
No TPTP formula. May not be expressible in strict first order. pictureList.kif 6562-6562
No TPTP formula. May not be expressible in strict first order. naics.kif 1000-1000 Fossil fuel electric power generation is a subattribute of electric power generation

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 24788-24788
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 24787-24787
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 24786-24786


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