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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - ComputerOutputDevice
ComputerOutputDevice(电脑输出设备)

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 电脑输出设备 是 电脑硬件 的 subclass

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


No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 138-138 ComputerDisplay 是 电脑输出设备 的 subclass
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 118-118 ComputerIODevice 是 电脑输出设备 的 subclass
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 518-518 ComputerLoudspeaker 是 电脑输出设备 的 subclass
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 493-493 电脑终端 是 电脑输出设备 的 subclass
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1831-1831 打印机 是 电脑输出设备 的 subclass
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 483-483 TouchScreen 是 电脑输出设备 的 subclass
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 标准错误设备 的 2 数量 是 电脑输出设备 的 instance
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 518-518 标准输出设备 的 2 数量 是 电脑输出设备 的 instance

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


No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3545-3550
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