Term Intersection : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 


Term 1: Term 2:

(subclass PowerGeneration Process) Economy.kif 2303-2303 Power generation is a subclass of process
(subclass ElectricalPowerGeneration PowerGeneration) Economy.kif 2309-2309 Electrical power generation is a subclass of power generation
(subclass FossilFuelPowerGeneration PowerGeneration) Economy.kif 2315-2315 Fossil fuel power generation is a subclass of power generation
(subclass NuclearPowerGeneration PowerGeneration) Economy.kif 2319-2319 Nuclear power generation is a subclass of power generation
(subclass OtherSourcePowerGeneration PowerGeneration) Economy.kif 2321-2321 Other source power generation is a subclass of power generation


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