(=>
(instance ?DPS DevicePowerSupply)
(exists (?R)
(and
(instance ?R Rectifier)
(part ?R ?DPS)))) 
ComputingBrands.kif 35613566 

(=>
(instance ?DPS DevicePowerSupply)
(exists (?T)
(and
(instance ?T Transformer)
(part ?T ?DPS)))) 
ComputingBrands.kif 35683573 

(=>
(instance ?DPS DevicePowerSupply)
(hasPurpose ?DPS
(exists (?AC)
(and
(instance ?AC ACPowerSource)
(connectedEngineeringComponents ?DPS ?AC))))) 
ComputingBrands.kif 35753581 
