| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 20-20 | Computational system is a subclass of product |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 30-30 | Computer network is a subclass of computational system |
| 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 1324-1324 | Realtime system is a subclass of computational system |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1807-1807 | Computer resource is a subclass of computational system |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1835-1835 | Server is a subclass of computational system |
|
|