|
|
   ComputerHardware
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 60-61 | |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 596-596 | Computer hardware is a subclass of engineering component |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 59-59 | Computer hardware is a subclass of product |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 539-539 | Every internal computer loudspeaker is a part of a computer hardware |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 811-811 | Computer component is a subclass of computer hardware |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 467-467 | Computer input device is a subclass of computer hardware |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 477-477 | Computer output device is a subclass of computer hardware |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 288-288 | Hardware system is a subclass of computer hardware |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1668-1668 | Sensor is a subclass of computer hardware |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 16308-16308 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 16307-16307 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 16306-16306 |
| appearance as argument number 3 |
|
|
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 3533-3533 | The number 1 argument of connected peripheral is an instance of computer hardware |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | 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 |
|
|
|