| UniformResourceLocator(uniform resource locator) | | URL, uniform_resource_locator, universal_resource_locator |
| appearance as argument number 1 |
|
|
| (documentation UniformResourceLocator EnglishLanguage "The term UniformResourceLocator (URL) refers to the subset of URI that identify resources via a representation of their primary access mechanism (e.g., their network location), rather than identifying the resource by name or by some other attribute(s) of that resource (source: http:/ / www.ietf.org/ rfc/ rfc2396.txt).") | QoSontology.kif 1820-1824 | |
| (subclass UniformResourceLocator InternetAddress) | Media.kif 2933-2933 | Uniform resource locator is a subclass of Internet address |
| (subclass UniformResourceLocator StandardIdentifier) | Media.kif 2934-2934 | Uniform resource locator is a subclass of standard identifier |
| (subclass UniformResourceLocator UniformResourceIdentifier) | QoSontology.kif 1819-1819 | Uniform resource locator is a subclass of uniform resource identifier |
| appearance as argument number 2 |
|
|
| (exhaustiveDecomposition UniformResourceIdentifier UniformResourceLocator UniformResourceName) | QoSontology.kif 1806-1806 | Uniform resource identifier is covered by uniform resource locator and uniform resource name |
| (termFormat ChineseLanguage UniformResourceLocator "统一资源定位器") | domainEnglishFormat.kif 59989-59989 | Uniform resource identifier is covered by uniform resource locator and uniform resource name |
| (termFormat ChineseTraditionalLanguage UniformResourceLocator "統一資源定位器") | domainEnglishFormat.kif 59988-59988 | Uniform resource identifier is covered by uniform resource locator and uniform resource name |
| (termFormat EnglishLanguage UniformResourceLocator "uniform resource locator") | domainEnglishFormat.kif 59987-59987 | Uniform resource identifier is covered by uniform resource locator and uniform resource name |
| appearance as argument number 3 |
|
|
| (domain urlString 1 UniformResourceLocator) | ComputingBrands.kif 4397-4397 | The number 1 argument of url is an instance of uniform resource locator |
| (domain webPageURL 2 UniformResourceLocator) | ComputingBrands.kif 4389-4389 | The number 2 argument of url is an instance of uniform resource locator |
| antecedent |
|
|
| (=> (instance ?URL UniformResourceLocator) (exists (?Address) (and (instance ?Address IPAddress) (represents ?URL ?Address)))) |
QoSontology.kif 1826-1831 |
|
|
|
|