| ComputerOutputDevice(computer output device) | | FPD, flat_panel_display, output_device, plotter |
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 477-478 | |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 475-475 | Computer output device is a subclass of computer hardware |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 546-546 | The intersection of Loudspeaker and computer output device is ComputerLoudspeaker |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 160-160 | ComputerDisplay is a subclass of computer output device |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 140-140 | ComputerIODevice is a subclass of computer output device |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 544-544 | ComputerLoudspeaker is a subclass of computer output device |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 491-491 | Computer terminal is a subclass of computer output device |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1836-1836 | Printer is a subclass of computer output device |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 481-481 | TouchScreen is a subclass of computer output device |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 16323-16323 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 16322-16322 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 16321-16321 |
| appearance as argument number 3 |
|
|
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 533-533 | The number 2 argument of standard error device is an instance of computer output device |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 516-516 | The number 2 argument of standard output device is an instance of computer output device |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 3518-3522 |
|
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 554-558 |
|
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 578-582 |
|
|
|
|