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