Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| DevicePowerSupply(device power supply) |
| appearance as argument number 1 |
|
| (subclass DevicePowerSupply ElectricDevice) | ComputingBrands.kif 3465-3465 | Device power supply is a subclass of electric device |
| (subclass DevicePowerSupply DCPowerSource) | ComputingBrands.kif 3466-3466 | Device power supply is a subclass of DC power source |
| (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 3468-3471 | Device power supply is a subclass of DC power source |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage DevicePowerSupply "device power supply") | ComputingBrands.kif 3473-3473 |
| antecedent |
|
|
| (=> (instance ?DPS DevicePowerSupply) (exists (?R) (and (instance ?R Rectifier) (part ?R ?DPS)))) |
ComputingBrands.kif 3475-3480 | If X is an instance of device power supply, then there exists Y such that Y is an instance of rectifier and Y is a part of X |
| (=> (instance ?DPS DevicePowerSupply) (exists (?T) (and (instance ?T Transformer) (part ?T ?DPS)))) |
ComputingBrands.kif 3482-3487 | If X is an instance of device power supply, then there exists Y such that Y is an instance of transformer and Y is a part of X |
| (=> (instance ?DPS DevicePowerSupply) (hasPurpose ?DPS (exists (?AC) (and (instance ?AC ACPowerSource) (connectedEngineeringComponents ?DPS ?AC))))) |
ComputingBrands.kif 3489-3495 | If X is an instance of device power supply, then X has the purpose there exists Y such that Y is an instance of ac power source and X is connected to Y |
|