No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 59-59 | Computer hardware is a subclass of product |
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 288-288 | Hardware system 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 811-811 | Computer component 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 |