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 811-811 | 电脑组件 是 电脑硬件 的 subclass |
(subclass ComputerInputDevice ComputerHardware) | QoSontology.kif 467-467 | 电脑输入设备 是 电脑硬件 的 subclass |
(subclass ComputerOutputDevice ComputerHardware) | QoSontology.kif 477-477 | 电脑输出设备 是 电脑硬件 的 subclass |
(subclass HardwareSystem ComputerHardware) | QoSontology.kif 288-288 | 硬件系统 是 电脑硬件 的 subclass |
(subclass Sensor ComputerHardware) | QoSontology.kif 1668-1668 | 感测器 是 电脑硬件 的 subclass |
(termFormat ChineseLanguage ComputerHardware "电脑硬件") | domainEnglishFormat.kif 16308-16308 | |
(termFormat ChineseTraditionalLanguage ComputerHardware "電腦硬件") | domainEnglishFormat.kif 16307-16307 | |
(termFormat EnglishLanguage ComputerHardware "computer hardware") | domainEnglishFormat.kif 16306-16306 |
appearance as argument number 3 |
(domain connectedPeripheral 1 ComputerHardware) | ComputingBrands.kif 3533-3533 | connectedPeripheral 的 1 数量 是 电脑硬件 的 instance |
antecedent |
(<=> (instance ?Hardware ComputerHardware) (exists (?Computer) (and (instance ?Computer Computer) (component ?Hardware ?Computer)))) |
QoSontology.kif 63-68 | 躯体性物体 是 电脑硬件 的 instance 若且唯若 有存在 另一个 躯体性物体 这样 那个 另外 躯体性物体 是 电脑 的 instance 和 那个 躯体性物体 是 那个 另外 躯体性物体 的 component |