No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1324-1324 | Realtime 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 |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1330-1330 | Computer network is a subclass of realtime system |