(subclass ThreePhasePowerSource ACPowerSource) | Mid-level-ontology.kif 26394-26394 | ThreePhasePowerSource è una sottoclasse di ACPowerSource |
(subclass ThreePhasePowerSource PowerSource) | engineering.kif 878-878 | ThreePhasePowerSource è una sottoclasse di PowerSource |