HardwareSystem(hardware system) |
appearance as argument number 1 |
(documentation HardwareSystem EnglishLanguage "The class of hardware systems is the connection of three types of physical modules: instances of ComputerProcessor(s), ComputerMemory, and ComputerNetwork. ComputerProcessors execute instructions from ComputerPrograms, which usually include instructions to read and write data from memory, and send data via instances of ComputerNetworks.") | QoSontology.kif 290-295 | |
(subclass HardwareSystem ComputationalSystem) | QoSontology.kif 289-289 | Hardware system is a subclass of computational system |
(subclass HardwareSystem ComputerHardware) | QoSontology.kif 288-288 | Hardware system is a subclass of computer hardware |
(subclass HardwareSystem RealtimeSystem) | QoSontology.kif 1329-1329 | Hardware system is a subclass of realtime system |
appearance as argument number 2 |
(termFormat ChineseLanguage HardwareSystem "硬件系统") | domainEnglishFormat.kif 27444-27444 | |
(termFormat ChineseTraditionalLanguage HardwareSystem "硬件系統") | domainEnglishFormat.kif 27443-27443 | |
(termFormat EnglishLanguage HardwareSystem "hardware system") | domainEnglishFormat.kif 27442-27442 |
appearance as argument number 3 |
(domain defaultNetwork 1 HardwareSystem) | QoSontology.kif 1003-1003 | The number 1 argument of default network is an instance of hardware system |
antecedent |
consequent |