(subclass SinglePhasePowerSource ACPowerSource) | Mid-level-ontology.kif 26360-26360 | SinglePhasePowerSource e' uma sub-classe de ACPowerSource |
(subclass SinglePhasePowerSource PowerSource) | engineering.kif 873-873 | SinglePhasePowerSource e' uma sub-classe de PowerSource |