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 | 电脑输出设备 是 电脑硬件 的 subclass |
appearance as argument number 2 |
(subclass ComputerDisplay ComputerOutputDevice) | ComputerInput.kif 138-138 | ComputerDisplay 是 电脑输出设备 的 subclass |
(subclass ComputerIODevice ComputerOutputDevice) | ComputerInput.kif 118-118 | ComputerIODevice 是 电脑输出设备 的 subclass |
(subclass ComputerLoudspeaker ComputerOutputDevice) | ComputerInput.kif 518-518 | ComputerLoudspeaker 是 电脑输出设备 的 subclass |
(subclass ComputerTerminal ComputerOutputDevice) | QoSontology.kif 493-493 | 电脑终端 是 电脑输出设备 的 subclass |
(subclass Printer ComputerOutputDevice) | QoSontology.kif 1831-1831 | 打印机 是 电脑输出设备 的 subclass |
(subclass TouchScreen ComputerOutputDevice) | QoSontology.kif 483-483 | TouchScreen 是 电脑输出设备 的 subclass |
(termFormat ChineseLanguage ComputerOutputDevice "电脑输出设备") | domainEnglishFormat.kif 16332-16332 | |
(termFormat ChineseTraditionalLanguage ComputerOutputDevice "電腦輸出設備") | domainEnglishFormat.kif 16331-16331 | |
(termFormat EnglishLanguage ComputerOutputDevice "computer output device") | domainEnglishFormat.kif 16330-16330 |
appearance as argument number 3 |
(domain standardErrorDevice 2 ComputerOutputDevice) | QoSontology.kif 535-535 | 标准错误设备 的 2 数量 是 电脑输出设备 的 instance |
(domain standardOutputDevice 2 ComputerOutputDevice) | QoSontology.kif 518-518 | 标准输出设备 的 2 数量 是 电脑输出设备 的 instance |
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 |