| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1674-1674 | Uniform resource identifier is a subclass of content bearing object |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1688-1688 | Uniform resource locator is a subclass of uniform resource identifier |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1702-1702 | Uniform resource name is a subclass of uniform resource identifier |
|
|