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 477-478
(subclass ComputerOutputDevice ComputerHardware) QoSontology.kif 475-475 电脑输出设备电脑硬件subclass

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


(subclass ComputerDisplay ComputerOutputDevice) ComputerInput.kif 138-138 ComputerDisplay电脑输出设备subclass
(subclass ComputerIODevice ComputerOutputDevice) ComputerInput.kif 118-118 ComputerIODevice电脑输出设备subclass
(subclass ComputerLoudspeaker ComputerOutputDevice) ComputerInput.kif 518-518 ComputerLoudspeaker电脑输出设备subclass
(subclass ComputerTerminal ComputerOutputDevice) QoSontology.kif 491-491 电脑终端电脑输出设备subclass
(subclass Printer ComputerOutputDevice) QoSontology.kif 1836-1836 打印机电脑输出设备subclass
(subclass TouchScreen ComputerOutputDevice) QoSontology.kif 481-481 TouchScreen电脑输出设备subclass
(termFormat ChineseLanguage ComputerOutputDevice "电脑输出设备") domainEnglishFormat.kif 16323-16323
(termFormat ChineseTraditionalLanguage ComputerOutputDevice "電腦輸出設備") domainEnglishFormat.kif 16322-16322
(termFormat EnglishLanguage ComputerOutputDevice "computer output device") domainEnglishFormat.kif 16321-16321

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


(domain standardErrorDevice 2 ComputerOutputDevice) QoSontology.kif 533-533 标准错误设备 的 2 数量 是 电脑输出设备instance
(domain standardOutputDevice 2 ComputerOutputDevice) QoSontology.kif 516-516 标准输出设备 的 2 数量 是 电脑输出设备instance

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


(=>
    (and
        (connectedPeripheral ?COD ?C)
        (instance ?COD ComputerOutputDevice))
    (capability ?COD destination DataTransfer))
ComputingBrands.kif 3510-3514
(=>
    (and
        (instance ?DEV Loudspeaker)
        (instance ?DEV ComputerOutputDevice))
    (instance ?DEV ComputerLoudspeaker))
ComputerInput.kif 527-531
(=>
    (and
        (instance ?DEV Microphone)
        (instance ?DEV ComputerOutputDevice))
    (instance ?DEV ComputerMicrophone))
ComputerInput.kif 550-554


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