| ComputerHardware(computer hardware) | | chip, computer_accessory, computer_hardware, computer_peripheral, expansion_slot, firewall, hardware, micro_chip, microchip, microprocessor_chip, module, peripheral, peripheral_device, router, silicon_chip, slot |
| appearance as argument number 1 |
|
|
| (subclass ComputerHardware EngineeringComponent) | ComputerInput.kif 596-596 | Computer hardware is a subclass of engineering component |
| (subclass ComputerHardware Product) | QoSontology.kif 54-54 | Computer hardware is a subclass of product |
| (documentation ComputerHardware EnglishLanguage "The hardware is the physical part of a computer system.") | QoSontology.kif 55-56 | Computer hardware is a subclass of product |
| appearance as argument number 2 |
|
|
| appearance as argument number 3 |
|
|
| (domain connectedPeripheral 1 ComputerHardware) | ComputingBrands.kif 3439-3439 | The number 1 argument of connected peripheral is an instance of computer hardware |
| antecedent |
|
|
| (<=> (instance ?Hardware ComputerHardware) (exists (?Computer) (and (instance ?Computer Computer) (component ?Hardware ?Computer)))) |
QoSontology.kif 58-63 | X is an instance of computer hardware if, only if there exists Y such that Y is an instance of computer, and X is a component of Y |
|
|
|