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 289-289 | Hardware system is a subclass of computational system |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1329-1329 | Hardware system is a subclass of realtime system |