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 | subclass ComputerOutputDevice and ComputerHardware |
appearance as argument number 2 |
![]() |
appearance as argument number 3 |
![]() |
(domain standardErrorDevice 2 ComputerOutputDevice) | QoSontology.kif 533-533 | domain standardErrorDevice, 2 and ComputerOutputDevice |
(domain standardOutputDevice 2 ComputerOutputDevice) | QoSontology.kif 516-516 | domain standardOutputDevice, 2 and ComputerOutputDevice |
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 |
![]() |
![]() |