ACPowerSource - Sigma Knowledge base Browser

appearance as argument number 1

(documentation ACPowerSource EnglishLanguage "ACPowerSource refers to an alternating current PowerSource")	Mid-level-ontology.kif 26389-26390
(subclass ACPowerSource PowerSource)	Mid-level-ontology.kif 26388-26388	ACPowerSource ist eine teilkategorie von PowerSource

appearance as argument number 2

(subclass SinglePhasePowerSource ACPowerSource)	Mid-level-ontology.kif 26393-26393	SinglePhasePowerSource ist eine teilkategorie von ACPowerSource
(subclass ThreePhasePowerSource ACPowerSource)	Mid-level-ontology.kif 26394-26394	ThreePhasePowerSource ist eine teilkategorie von ACPowerSource
(termFormat EnglishLanguage ACPowerSource "ac power source")	Mid-level-ontology.kif 26391-26391

consequent

(=>
    (instance ?DPS DevicePowerSupply)
    (hasPurpose ?DPS
        (exists (?AC)
            (and
                (instance ?AC ACPowerSource)
                (connectedEngineeringComponents ?DPS ?AC)))))

ComputingBrands.kif 3583-3589

Wenn Physical ist ein fall von DevicePowerSupply %n{nicht},
dann ** Physical hat Zweck von es gibt entity um ** entity ist ein fall von ACPowerSource %n{nicht} und ** Physical wird mit ** entity angeschlossen %n{nicht}