|
|
   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 è una sottoclasse di DCPowerSource |
| (subclass DevicePowerSupply ElectricDevice) | ComputingBrands.kif 3559-3559 | DevicePowerSupply è una sottoclasse di 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 |
|
|
|
|