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
-------------------------


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 子類 電腦輸出設備 and 電腦硬件

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


No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 138-138 子類 ComputerDisplay and 電腦輸出設備
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 118-118 子類 ComputerIODevice and 電腦輸出設備
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 518-518 子類 ComputerLoudspeaker and 電腦輸出設備
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 493-493 子類 電腦終端 and 電腦輸出設備
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1831-1831 子類 打印機 and 電腦輸出設備
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 483-483 子類 TouchScreen and 電腦輸出設備
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 and 電腦輸出設備
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 518-518 域 標準輸出設備, 2 and 電腦輸出設備

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 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