| Printer
| |
| appearance as argument number 1 |
|
|
| (documentation Printer EnglishLanguage "A device that converts computer output into printed images.") | QoSontology.kif 1832-1833 | |
| (externalImage Printer "http://articulatesoftware.com/SUMOpictures/computer/ printer/ printer_12.png") | pictureList.kif 677-677 | |
| (subclass Printer ComputerOutputDevice) | QoSontology.kif 1831-1831 | Printer ist eine teilkategorie von ComputerOutputDevice |
| appearance as argument number 2 |
|
|
| (disjoint ComputerDisplay Printer) | ComputerInput.kif 146-146 | ComputerDisplay ist dijunkt von Printer %n{nicht} |
| (termFormat ChineseLanguage Printer "打印机") | domainEnglishFormat.kif 47374-47374 | |
| (termFormat ChineseTraditionalLanguage Printer "打印機") | domainEnglishFormat.kif 47373-47373 | |
| (termFormat EnglishLanguage Printer "printer") | domainEnglishFormat.kif 47372-47372 |
| consequent |
|
|
| (=> (instance ?NC (NetworkCommunicationFn AirPrint)) (exists (?P) (and (instance ?P Printer) (destination ?NC ?P)))) |
ComputingBrands.kif 1902-1907 |
|
| (=> (instance ?Resource NetworkResource) (or (instance ?Resource Server) (instance ?Resource Printer))) |
QoSontology.kif 1825-1829 | |
| (=> (instance ?TELEX Telex) (exists (?PRINTER) (and (instance ?PRINTER Printer) (part ?PRINTER ?TELEX)))) |
Communications.kif 178-183 |
|
|
|
|