Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - Printer
Printer(printer)
Addressograph, addressing_machine, bar_printer, bubble-jet_printer, bubble_jet_printer, bubblejet, dot_matrix_printer, dot_printer, drum_printer, electrostatic_printer, impact_printer, ink-jet_printer, laser_printer, line-at-a-time_printer, line_printer, matrix_printer, page-at-a-time_printer, page_printer, printer, printing_machine, stock_ticker, stylus_printer, thermal_printer, ticker, wire_matrix_printer, wire_printer, xerographic_printer

appearance as argument number 1
-------------------------


(subclass Printer HomeOfficeAppliance) HouseholdAppliances.kif 593-593 Printer is a subclass of home office appliance
(subclass Printer ComputerOutputDevice) QoSontology.kif 1955-1955 Printer is a subclass of computer output device
(documentation Printer EnglishLanguage "A device that converts computer output into printed images.") QoSontology.kif 1956-1957 Printer is a subclass of computer output device
(externalImage Printer "http://articulatesoftware.com/SUMOpictures/computer/ printer/ printer_12.png") pictureList.kif 677-677 Printer is a subclass of computer output device

appearance as argument number 2
-------------------------


(disjoint ComputerDisplay Printer) ComputerInput.kif 146-146 Computer display is disjoint from printer
(subclass InkjetPrinter Printer) HouseholdAppliances.kif 596-596 Ink printer is a subclass of printer
(subclass TonerPrinter Printer) HouseholdAppliances.kif 601-601 Laser printer is a subclass of printer
(termFormat EnglishLanguage Printer "printer") domainEnglishFormat.kif 47365-47365 Laser printer is a subclass of printer
(termFormat ChineseTraditionalLanguage Printer "打印機") domainEnglishFormat.kif 47366-47366 Laser printer is a subclass of printer
(termFormat ChineseLanguage Printer "打印机") domainEnglishFormat.kif 47367-47367 Laser printer is a subclass of printer

consequent
-------------------------


(=>
    (instance ?TELEX Telex)
    (exists (?PRINTER)
        (and
            (instance ?PRINTER Printer)
            (part ?PRINTER ?TELEX))))		 Communications.kif 159-164 If X is an instance of telex, then there exists Y such that Y is an instance of printer and Y is a part of X
(=>
    (instance ?NC
        (NetworkCommunicationFn AirPrint))
    (exists (?P)
        (and
            (instance ?P Printer)
            (destination ?NC ?P))))		 ComputingBrands.kif 1902-1907 If X is an instance of communication over AirPrint, then there exists Y such that Y is an instance of printer and X ends up at Y
(=>
    (instance ?Resource NetworkResource)
    (or
        (instance ?Resource Server)
        (instance ?Resource Printer)))		 QoSontology.kif 1949-1953 If X is an instance of network resource, then X is an instance of server or X is an instance of printer


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners