(subclass PowerSource Device) | Mid-level-ontology.kif 2565-2565 | |
(subclass DCPowerSource PowerSource) | Mid-level-ontology.kif 2575-2575 | |
(subclass ACPowerSource PowerSource) | Mid-level-ontology.kif 26355-26355 | |
(subclass SinglePhasePowerSource PowerSource) | engineering.kif 873-873 | |
(subclass ThreePhasePowerSource PowerSource) | engineering.kif 878-878 |