| ComputerOutputDevice(電腦輸出設備) | |
| appearance as argument number 1 |
|
|
| (documentation ComputerOutputDevice EnglishLanguage "Any peripheral that presents output from the computer, such as a screen or printer.") | QoSontology.kif 479-480 | |
| (subclass ComputerOutputDevice ComputerHardware) | QoSontology.kif 477-477 | 子類 電腦輸出設備 and 電腦硬件 |
| appearance as argument number 2 |
|
|
| appearance as argument number 3 |
|
|
| (domain standardErrorDevice 2 ComputerOutputDevice) | QoSontology.kif 641-641 | 域 標準錯誤設備, 2 and 電腦輸出設備 |
| (domain standardOutputDevice 2 ComputerOutputDevice) | QoSontology.kif 624-624 | 域 標準輸出設備, 2 and 電腦輸出設備 |
| antecedent |
|
|
| (=> (and (connectedPeripheral ?COD ?C) (instance ?COD ComputerOutputDevice) (instance ?COD ?CLASS)) (capability ?CLASS destination DataTransfer)) |
ComputingBrands.kif 3545-3550 | |
| (=> (and (instance ?DEV Loudspeaker) (instance ?DEV ComputerOutputDevice)) (instance ?DEV ComputerLoudspeaker)) |
ComputerInput.kif 527-531 |
|
| (=> (and (instance ?DEV Microphone) (instance ?DEV ComputerOutputDevice)) (instance ?DEV ComputerMicrophone)) |
ComputerInput.kif 550-554 |
|
|
|