| 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 |
|
|
| s__documentation(s__ComputerHardware,s__EnglishLanguage,'"The hardware is the physical part of a computer system."')
|
QoSontology.kif 60-61 | |
| s__subclass(s__ComputerHardware,s__EngineeringComponent) s__instance(s__ComputerHardware,s__Class) s__instance(s__EngineeringComponent,s__Class)
|
ComputerInput.kif 624-624 | Computer hardware is a subclass of engineering component |
| s__subclass(s__ComputerHardware,s__Product) s__instance(s__Product,s__Class) s__instance(s__ComputerHardware,s__Class)
|
QoSontology.kif 59-59 | Computer hardware is a subclass of product |
| appearance as argument number 2 |
|
|
| appearance as argument number 3 |
|
|
| s__domain(s__connectedPeripheral__m,n__1,s__ComputerHardware)
|
ComputingBrands.kif 3506-3506 | The number 1 argument of %1 is a connected peripheral of 1 is an instance of computer hardware |
| antecedent |
|
|
| ( ! [V__Hardware] : (((s__instance(V__Hardware,s__ComputerHardware) => ( ? [V__Computer] : ((s__instance(V__Computer,s__Computer) & s__component(V__Hardware,V__Computer))))) & (( ? [V__Computer] : ((s__instance(V__Computer,s__Computer) & s__component(V__Hardware,V__Computer)))) => s__instance(V__Hardware,s__ComputerHardware))) ) )
|
QoSontology.kif 63-68 | A corpuscular object is an instance of computer hardware if and only if there exists another corpuscular object such that the other corpuscular object is an instance of computer and the corpuscular object is a component of the other corpuscular object |
|
|
|