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 电脑硬件工程组件subclass
(subclass ComputerHardware Product) QoSontology.kif 59-59 电脑硬件产品subclass

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


(partTypes InternalComputerLoudspeaker ComputerHardware) ComputerInput.kif 539-539 每个 InternalComputerLoudspeaker电脑硬件part
(subclass ComputerComponent ComputerHardware) QoSontology.kif 809-809 电脑组件电脑硬件subclass
(subclass ComputerInputDevice ComputerHardware) QoSontology.kif 465-465 电脑输入设备电脑硬件subclass
(subclass ComputerOutputDevice ComputerHardware) QoSontology.kif 475-475 电脑输出设备电脑硬件subclass
(subclass HardwareSystem ComputerHardware) QoSontology.kif 286-286 硬件系统电脑硬件subclass
(subclass Sensor ComputerHardware) QoSontology.kif 1673-1673 感测器电脑硬件subclass
(termFormat ChineseLanguage ComputerHardware "电脑硬件") domainEnglishFormat.kif 16299-16299
(termFormat ChineseTraditionalLanguage ComputerHardware "電腦硬件") domainEnglishFormat.kif 16298-16298
(termFormat EnglishLanguage ComputerHardware "computer hardware") domainEnglishFormat.kif 16297-16297

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


(domain connectedPeripheral 1 ComputerHardware) ComputingBrands.kif 3498-3498 connectedPeripheral 的 1 数量 是 电脑硬件instance

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


(<=>
    (instance ?Hardware ComputerHardware)
    (exists (?Computer)
        (and
            (instance ?Computer Computer)
            (component ?Hardware ?Computer))))
QoSontology.kif 63-68 躯体性物体电脑硬件instance 若且唯若 有存在 另一个 躯体性物体 这样 那个 另外 躯体性物体电脑instance那个 躯体性物体那个 另外 躯体性物体component


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