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

Formal Language: 



Term 1: Term 2:

(subclass DCPowerSource PowerSource) Mid-level-ontology.kif 2568-2568 DCPowerSource ist eine teilkategorie von PowerSource
(subclass Battery DCPowerSource) Mid-level-ontology.kif 2570-2570 Battery ist eine teilkategorie von DCPowerSource
(subclass DevicePowerSupply DCPowerSource) ComputingBrands.kif 3560-3560 DevicePowerSupply ist eine teilkategorie von DCPowerSource


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