| 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 ComputerHardware Product) | QoSontology.kif 59-59 |
| appearance as argument number 2 |
|
|
| (partTypes InternalComputerLoudspeaker ComputerHardware) | ComputerInput.kif 539-539 | |
| (subclass ComputerComponent ComputerHardware) | QoSontology.kif 917-917 | |
| (subclass ComputerInputDevice ComputerHardware) | QoSontology.kif 467-467 | |
| (subclass ComputerOutputDevice ComputerHardware) | QoSontology.kif 477-477 | |
| (subclass HardwareSystem ComputerHardware) | QoSontology.kif 288-288 | |
| (subclass Sensor ComputerHardware) | QoSontology.kif 1774-1774 | |
| (termFormat ChineseLanguage ComputerHardware "电脑硬件") | domainEnglishFormat.kif 16319-16319 | |
| (termFormat ChineseTraditionalLanguage ComputerHardware "電腦硬件") | domainEnglishFormat.kif 16318-16318 | |
| (termFormat EnglishLanguage ComputerHardware "computer hardware") | domainEnglishFormat.kif 16317-16317 |
| appearance as argument number 3 |
|
|
| (domain connectedPeripheral 1 ComputerHardware) | ComputingBrands.kif 3533-3533 |
| antecedent |
|
|
| (<=> (instance ?Hardware ComputerHardware) (exists (?Computer) (and (instance ?Computer Computer) (component ?Hardware ?Computer)))) |
QoSontology.kif 63-68 |
|
|
|