(subclass ACPowerSource PowerSource) | Mid-level-ontology.kif 26355-26355 | ACPowerSource は PowerSource の subclass では %n |
(subclass SinglePhasePowerSource ACPowerSource) | Mid-level-ontology.kif 26360-26360 | SinglePhasePowerSource は ACPowerSource の subclass では %n |
(subclass ThreePhasePowerSource ACPowerSource) | Mid-level-ontology.kif 26361-26361 | ThreePhasePowerSource は ACPowerSource の subclass では %n |