Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  ComputerOutputDevice

Sigma KEE - ComputerOutputDevice
ComputerOutputDevice

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


(documentation ComputerOutputDevice EnglishLanguage "Any peripheral that presents output from the computer, such as a screen or printer.") QoSontology.kif 474-475
(subclass ComputerOutputDevice ComputerHardware) QoSontology.kif 472-472

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


(classIntersection Loudspeaker ComputerOutputDevice ComputerLoudspeaker) ComputerInput.kif 424-424
(subclass ComputerDisplay ComputerOutputDevice) ComputerInput.kif 146-146
(subclass ComputerIODevice ComputerOutputDevice) ComputerInput.kif 136-136
(subclass ComputerLoudspeaker ComputerOutputDevice) ComputerInput.kif 422-422
(subclass ComputerTerminal ComputerOutputDevice) QoSontology.kif 488-488
(subclass Printer ComputerOutputDevice) QoSontology.kif 1825-1825
(subclass TouchScreen ComputerOutputDevice) QoSontology.kif 478-478
(termFormat EnglishLanguage ComputerOutputDevice "computer output device") domainEnglishFormat.kif 3143-3143

appearance as argument number 3
-------------------------


(domain standardErrorDevice 2 ComputerOutputDevice) QoSontology.kif 530-530
(domain standardOutputDevice 2 ComputerOutputDevice) QoSontology.kif 513-513

antecedent
-------------------------


(=>
    (and
        (connectedPeripheral ?COD ?C)
        (instance ?COD ComputerOutputDevice))
    (capability ?COD destination DataTransfer))
ComputingBrands.kif 3348-3352
(=>
    (and
        (instance ?DEV Loudspeaker)
        (instance ?DEV ComputerOutputDevice))
    (instance ?DEV ComputerLoudspeaker))
ComputerInput.kif 427-431
(=>
    (and
        (instance ?DEV Microphone)
        (instance ?DEV ComputerOutputDevice))
    (instance ?DEV ComputerMicrophone))
ComputerInput.kif 442-446


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners