ComputerOutputDevice - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - ComputerOutputDevice

ComputerOutputDevice(computer output device)

FPD, flat_panel_display, output_device, plotter

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 480-481
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 478-478	Computer output device is a subclass of computer hardware

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 138-138	Computer display is a subclass of computer output device
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 118-118	Computer I/O device is a subclass of computer output device
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 518-518	Computer loudspeaker is a subclass of computer output device
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 601-601	Computer terminal is a subclass of computer output device
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 1962-1962	Printer is a subclass of computer output device
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 483-483	3D printer Is a subclass of computer output device
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 591-591	Touch screen is a subclass of computer output device
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 16341-16341	Touch screen is a subclass of computer output device
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 16340-16340	Touch screen is a subclass of computer output device
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 16339-16339	Touch screen is a subclass of computer output device

appearance as argument number 3

No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 643-643	The number 2 argument of standard error device is an instance of computer output device
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 626-626	The number 2 argument of standard output device is an instance of computer output device

antecedent

No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 3540-3545	If a computer hardware is a connected peripheral of a computer and the computer hardware is an instance of computer output device and the computer hardware is an instance of the computerLASS, then data transfer is capable of doing the computerLASS as a destination
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 527-531	If an entity is an instance of loudspeaker and the entity is an instance of computer output device, then the entity is an instance of computer loudspeaker
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 550-554	If an entity is an instance of microphone and the entity is an instance of computer output device, then the entity is an instance of computer microphone

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 is open source software produced by Articulate Software and its partners