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 |
appearance as argument number 2 |
(disjoint ComputerDisplay Printer) | ComputerInput.kif 146-146 | |
(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 |