| Printer(打印機)
| |
| appearance as argument number 1 |
|
|
| (documentation Printer EnglishLanguage "A device that converts computer output into printed images.") | QoSontology.kif 1938-1939 | |
| (externalImage Printer "http://articulatesoftware.com/SUMOpictures/computer/ printer/ printer_12.png") | pictureList.kif 677-677 | |
| (subclass Printer ComputerOutputDevice) | QoSontology.kif 1937-1937 | 子類 打印機 and 電腦輸出設備 |
| appearance as argument number 2 |
|
|
| (disjoint ComputerDisplay Printer) | ComputerInput.kif 146-146 | 不相交的 ComputerDisplay and 打印機 |
| (termFormat ChineseLanguage Printer "打印机") | domainEnglishFormat.kif 47403-47403 | 不相交的 ComputerDisplay and 打印機 |
| (termFormat ChineseTraditionalLanguage Printer "打印機") | domainEnglishFormat.kif 47402-47402 | 不相交的 ComputerDisplay and 打印機 |
| (termFormat EnglishLanguage Printer "printer") | domainEnglishFormat.kif 47401-47401 | 不相交的 ComputerDisplay and 打印機 |
| 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 1931-1935 | |
| (=> (instance ?TELEX Telex) (exists (?PRINTER) (and (instance ?PRINTER Printer) (part ?PRINTER ?TELEX)))) |
Communications.kif 178-183 |
|
|
|