| 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 477-478 | |
| (subclass ComputerOutputDevice ComputerHardware) | QoSontology.kif 475-475 |
| appearance as argument number 2 |
|
|
| (classIntersection Loudspeaker ComputerOutputDevice ComputerLoudspeaker) | ComputerInput.kif 546-546 | |
| (subclass ComputerDisplay ComputerOutputDevice) | ComputerInput.kif 160-160 | |
| (subclass ComputerIODevice ComputerOutputDevice) | ComputerInput.kif 140-140 | |
| (subclass ComputerLoudspeaker ComputerOutputDevice) | ComputerInput.kif 544-544 | |
| (subclass ComputerTerminal ComputerOutputDevice) | QoSontology.kif 491-491 | |
| (subclass Printer ComputerOutputDevice) | QoSontology.kif 1836-1836 | |
| (subclass TouchScreen ComputerOutputDevice) | QoSontology.kif 481-481 | |
| (termFormat ChineseLanguage ComputerOutputDevice "电脑输出设备") | domainEnglishFormat.kif 16255-16255 | |
| (termFormat ChineseTraditionalLanguage ComputerOutputDevice "電腦輸出設備") | domainEnglishFormat.kif 16254-16254 | |
| (termFormat EnglishLanguage ComputerOutputDevice "computer output device") | domainEnglishFormat.kif 16253-16253 |
| appearance as argument number 3 |
|
|
| (domain standardErrorDevice 2 ComputerOutputDevice) | QoSontology.kif 533-533 | |
| (domain standardOutputDevice 2 ComputerOutputDevice) | QoSontology.kif 516-516 |
| antecedent |
|
|
| (=> (and (connectedPeripheral ?COD ?C) (instance ?COD ComputerOutputDevice)) (capability ?COD destination DataTransfer)) |
ComputingBrands.kif 3534-3538 | |
| (=> (and (instance ?DEV Loudspeaker) (instance ?DEV ComputerOutputDevice)) (instance ?DEV ComputerLoudspeaker)) |
ComputerInput.kif 554-558 | |
| (=> (and (instance ?DEV Microphone) (instance ?DEV ComputerOutputDevice)) (instance ?DEV ComputerMicrophone)) |
ComputerInput.kif 578-582 |
|
|
|