Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   ComputerOutputDevice
|
|
|
| appearance as argument number 1 |
|
|
| (subclass ComputerOutputDevice ComputerHardware) | QoSontology.kif 464-464 | Computer output device is a subclass of computer hardware |
| (documentation ComputerOutputDevice EnglishLanguage "Any peripheral that presents output from the computer, such as a screen or printer.") | QoSontology.kif 466-467 | Computer output device is a subclass of computer hardware |
| appearance as argument number 2 |
|
|
| appearance as argument number 3 |
|
|
| (domain standardOutputDevice 2 ComputerOutputDevice) | QoSontology.kif 612-612 | The number 2 argument of standard output device is an instance of computer output device |
| (domain standardErrorDevice 2 ComputerOutputDevice) | QoSontology.kif 629-629 | The number 2 argument of standard error device is an instance of computer output device |
| antecedent |
|
|
| (=> (and (instance ?DEV Loudspeaker) (instance ?DEV ComputerOutputDevice)) (instance ?DEV ComputerLoudspeaker)) |
ComputerInput.kif 543-547 | If X is an instance of loudspeaker and X is an instance of computer output device, then X is an instance of computer loudspeaker |
| (=> (and (instance ?DEV Microphone) (instance ?DEV ComputerOutputDevice)) (instance ?DEV ComputerMicrophone)) |
ComputerInput.kif 566-570 | If X is an instance of microphone and X is an instance of computer output device, then X is an instance of computer microphone |
| (=> (and (connectedPeripheral ?COD ?C) (instance ?COD ComputerOutputDevice) (instance ?COD ?CLASS)) (capability ?CLASS destination DataTransfer)) |
ComputingBrands.kif 3451-3456 | If X is a connected peripheral of Y, X is an instance of computer output device, and X is an instance of Z, then data transfer is capable of doing Z as a destination |
|