| (subclass PowerSource Device) | Mid-level-ontology.kif 2565-2565 | PowerSource は デバイス の subclass では %n |
| (subclass DCPowerSource PowerSource) | Mid-level-ontology.kif 2575-2575 | DCPowerSource は PowerSource の subclass では %n |
| (subclass ACPowerSource PowerSource) | Mid-level-ontology.kif 26355-26355 | ACPowerSource は PowerSource の subclass では %n |
| (subclass SinglePhasePowerSource PowerSource) | engineering.kif 873-873 | SinglePhasePowerSource は PowerSource の subclass では %n |
| (subclass ThreePhasePowerSource PowerSource) | engineering.kif 878-878 | ThreePhasePowerSource は PowerSource の subclass では %n |
|
|