ACPowerSource - Sigma Knowledge base Browser

appearance as argument number 1

(documentation ACPowerSource EnglishLanguage "ACPowerSource refers to an alternating current PowerSource")	Mid-level-ontology.kif 28255-28256
(subclass ACPowerSource PowerSource)	Mid-level-ontology.kif 28254-28254	Ac power source is a subclass of power source

appearance as argument number 2

(subclass SinglePhasePowerSource ACPowerSource)	Mid-level-ontology.kif 28259-28259	Single phase power source is a subclass of ac power source
(subclass ThreePhasePowerSource ACPowerSource)	Mid-level-ontology.kif 28260-28260	Three phase power source is a subclass of ac power source
(termFormat EnglishLanguage ACPowerSource "ac power source")	Mid-level-ontology.kif 28257-28257	Three phase power source is a subclass of ac power source

consequent

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

ComputingBrands.kif 3578-3584