UniformResourceLocator(uniform resource locator) | URL, uniform_resource_locator, universal_resource_locator |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1689-1693 | |
No TPTP formula. May not be expressible in strict first order. | Media.kif 2931-2931 | Uniform resource locator is a subclass of Internet address |
No TPTP formula. May not be expressible in strict first order. | Media.kif 2932-2932 | Uniform resource locator is a subclass of standard identifier |
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 |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1675-1675 | Uniform resource identifier is covered by uniform resource locator and uniform resource name |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 59968-59968 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 59967-59967 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 59966-59966 |
appearance as argument number 3 |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 4402-4402 | The number 1 argument of url is an instance of uniform resource locator |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 4394-4394 | The number 2 argument of url is an instance of uniform resource locator |
antecedent |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1695-1700 |
|