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 1821-1821 | Network resource is a subclass of computer resource |