UniformResourceLocator(统一资源定位器) |
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 1689-1693 | |
(subclass UniformResourceLocator InternetAddress) | Media.kif 2931-2931 | 统一资源定位器 是 InternetAddress 的 subclass |
(subclass UniformResourceLocator StandardIdentifier) | Media.kif 2932-2932 | 统一资源定位器 是 StandardIdentifier 的 subclass |
(subclass UniformResourceLocator UniformResourceIdentifier) | QoSontology.kif 1688-1688 | 统一资源定位器 是 统一资源标识符 的 subclass |
appearance as argument number 2 |
(exhaustiveDecomposition UniformResourceIdentifier UniformResourceLocator UniformResourceName) | QoSontology.kif 1675-1675 | 统一资源定位器 和 统一资源名称 涵盖 统一资源标识符 |
(termFormat ChineseLanguage UniformResourceLocator "统一资源定位器") | domainEnglishFormat.kif 59968-59968 | |
(termFormat ChineseTraditionalLanguage UniformResourceLocator "統一資源定位器") | domainEnglishFormat.kif 59967-59967 | |
(termFormat EnglishLanguage UniformResourceLocator "uniform resource locator") | domainEnglishFormat.kif 59966-59966 |
appearance as argument number 3 |
(domain urlString 1 UniformResourceLocator) | ComputingBrands.kif 4402-4402 | urlString 的 1 数量 是 统一资源定位器 的 instance |
(domain webPageURL 2 UniformResourceLocator) | ComputingBrands.kif 4394-4394 | webPageURL 的 2 数量 是 统一资源定位器 的 instance |
antecedent |
(=> (instance ?URL UniformResourceLocator) (exists (?Address) (and (instance ?Address IPAddress) (represents ?URL ?Address)))) |
QoSontology.kif 1695-1700 |