(subclass ThreePhasePowerSource ACPowerSource) | Mid-level-ontology.kif 26361-26361 | ThreePhasePowerSource は ACPowerSource の subclass では %n |
(subclass ThreePhasePowerSource PowerSource) | engineering.kif 878-878 | ThreePhasePowerSource は PowerSource の subclass では %n |