DevicePowerSupply |
appearance as argument number 1 |
(documentation DevicePowerSupply EnglishLanguage "An ElectricDevice designed to take standard alternating current home wall outlet power and converter to direct current at a lower voltage, to match the needs of a particular Device or class of devices such as a kitchen appliance or a Computer.") | ComputingBrands.kif 3562-3565 | |
(subclass DevicePowerSupply DCPowerSource) | ComputingBrands.kif 3560-3560 | DevicePowerSupply ist eine teilkategorie von DCPowerSource |
(subclass DevicePowerSupply ElectricDevice) | ComputingBrands.kif 3559-3559 | DevicePowerSupply ist eine teilkategorie von ElectricDevice |
appearance as argument number 2 |
(termFormat EnglishLanguage DevicePowerSupply "device power supply") | ComputingBrands.kif 3567-3567 |
antecedent |
(=> (instance ?DPS DevicePowerSupply) (exists (?R) (and (instance ?R Rectifier) (part ?R ?DPS)))) |
ComputingBrands.kif 3569-3574 |
|
(=> (instance ?DPS DevicePowerSupply) (exists (?T) (and (instance ?T Transformer) (part ?T ?DPS)))) |
ComputingBrands.kif 3576-3581 |
|
(=> (instance ?DPS DevicePowerSupply) (hasPurpose ?DPS (exists (?AC) (and (instance ?AC ACPowerSource) (connectedEngineeringComponents ?DPS ?AC))))) |
ComputingBrands.kif 3583-3589 |
|