(subclass DCPowerSource PowerSource) | Mid-level-ontology.kif 2568-2568 | DCPowerSource è una sottoclasse di PowerSource |
(subclass Battery DCPowerSource) | Mid-level-ontology.kif 2570-2570 | Battery è una sottoclasse di DCPowerSource |
(subclass DevicePowerSupply DCPowerSource) | ComputingBrands.kif 3560-3560 | DevicePowerSupply è una sottoclasse di DCPowerSource |