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 811-811 | |
(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 1668-1668 | |
(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 |
antecedent |
(<=> (instance ?Hardware ComputerHardware) (exists (?Computer) (and (instance ?Computer Computer) (component ?Hardware ?Computer)))) |
QoSontology.kif 63-68 |