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

Formal Language: 



Term 1: Term 2:

(subclass DevicePowerSupply ElectricDevice) ComputingBrands.kif 3559-3559 DevicePowerSupply ist eine teilkategorie von ElectricDevice
(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