TreeView Knowledge Base Browser - ComputerOutputDevice

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

ComputerOutputDevice

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 479-480
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 477-477	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 493-493	Computer terminal is a subclass of computer output device
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 1831-1831	Printer is a subclass of computer output device
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 483-483	Touch screen is a subclass of computer output device
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 16332-16332
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 16331-16331
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 16330-16330

appearance as argument number 3

No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 535-535	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 518-518	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 3545-3550	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 simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

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