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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - ComputerHardware
ComputerHardware(電腦硬件)

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


(documentation ComputerHardware EnglishLanguage "The hardware is the physical part of a computer system.") QoSontology.kif 60-61
(subclass ComputerHardware EngineeringComponent) ComputerInput.kif 596-596 子類 電腦硬件 and EngineeringComponent
(subclass ComputerHardware Product) QoSontology.kif 59-59 子類 電腦硬件 and Product

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


(partTypes InternalComputerLoudspeaker ComputerHardware) ComputerInput.kif 539-539 每個 InternalComputerLoudspeaker電腦硬件part
(subclass ComputerComponent ComputerHardware) QoSontology.kif 920-920 子類 電腦組件 and 電腦硬件
(subclass ComputerInputDevice ComputerHardware) QoSontology.kif 468-468 子類 電腦輸入設備 and 電腦硬件
(subclass ComputerOutputDevice ComputerHardware) QoSontology.kif 478-478 子類 電腦輸出設備 and 電腦硬件
(subclass HardwareSystem ComputerHardware) QoSontology.kif 289-289 子類 硬件系統 and 電腦硬件
(subclass Sensor ComputerHardware) QoSontology.kif 1799-1799 子類 感測器 and 電腦硬件
(termFormat ChineseLanguage ComputerHardware "电脑硬件") domainEnglishFormat.kif 16317-16317 子類 感測器 and 電腦硬件
(termFormat ChineseTraditionalLanguage ComputerHardware "電腦硬件") domainEnglishFormat.kif 16316-16316 子類 感測器 and 電腦硬件
(termFormat EnglishLanguage ComputerHardware "computer hardware") domainEnglishFormat.kif 16315-16315 子類 感測器 and 電腦硬件

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


(domain connectedPeripheral 1 ComputerHardware) ComputingBrands.kif 3528-3528 connectedPeripheral, 1 and 電腦硬件

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


(<=>
    (instance ?Hardware ComputerHardware)
    (exists (?Computer)
        (and
            (instance ?Computer Computer)
            (component ?Hardware ?Computer))))
QoSontology.kif 63-68 CorpuscularObject and 電腦硬件 CorpuscularObject CorpuscularObject and 電腦 零件 CorpuscularObject and CorpuscularObject


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