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 ElectricPowerGeneration est un sous-attribut de ElectricPowerGenerationTransmissionAndDistribution

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


No TPTP formula. May not be expressible in strict first order. naics.kif 1000-1000 FossilFuelElectricPowerGeneration est un sous-attribut de ElectricPowerGeneration
No TPTP formula. May not be expressible in strict first order. naics.kif 993-993 HydroElectricPowerGeneration est un sous-attribut de ElectricPowerGeneration
No TPTP formula. May not be expressible in strict first order. naics.kif 1007-1007 NuclearElectricPowerGeneration est un sous-attribut de ElectricPowerGeneration
No TPTP formula. May not be expressible in strict first order. naics.kif 1014-1014 OtherElectricPowerGeneration est un sous-attribut de ElectricPowerGeneration
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