| Printer
| |
| appearance as argument number 1 |
|
|
| (documentation Printer EnglishLanguage "A device that converts computer output into printed images.") | QoSontology.kif 1963-1964 | |
| (externalImage Printer "http://articulatesoftware.com/SUMOpictures/computer/ printer/ printer_12.png") | pictureList.kif 677-677 | |
| (subclass Printer ComputerOutputDevice) | QoSontology.kif 1962-1962 | Printer は ComputerOutputDevice の subclass では |
| appearance as argument number 2 |
|
|
| (disjoint ComputerDisplay Printer) | ComputerInput.kif 146-146 | ComputerDisplay と Printer は disjoint では |
| (termFormat ChineseLanguage Printer "打印机") | domainEnglishFormat.kif 47374-47374 | ComputerDisplay と Printer は disjoint では |
| (termFormat ChineseTraditionalLanguage Printer "打印機") | domainEnglishFormat.kif 47373-47373 | ComputerDisplay と Printer は disjoint では |
| (termFormat EnglishLanguage Printer "printer") | domainEnglishFormat.kif 47372-47372 | ComputerDisplay と Printer は disjoint では |
| 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 1956-1960 | |
| (=> (instance ?TELEX Telex) (exists (?PRINTER) (and (instance ?PRINTER Printer) (part ?PRINTER ?TELEX)))) |
Communications.kif 178-183 |
|
|
|