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
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 527-531
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 550-554


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