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 477-478
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 475-475	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	ComputerDisplay is a subclass of computer output device
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 118-118	ComputerIODevice is a subclass of computer output device
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 518-518	ComputerLoudspeaker is a subclass of computer output device
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 491-491	Computer terminal is a subclass of computer output device
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 1836-1836	Printer is a subclass of computer output device
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 481-481	TouchScreen is a subclass of computer output device
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 16323-16323
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 16322-16322
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 16321-16321

appearance as argument number 3

No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 533-533	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 516-516	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 3510-3514	If %1 is a connected peripheral of %2 a kind of process and a computer and a kind of process is an instance of computer output device, then data transfer is capable of doing the kind of process 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 ComputerLoudspeaker
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 ComputerMicrophone

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