UniformResourceIdentifier(统一资源标识符) |
appearance as argument number 1 |
![]() |
(documentation UniformResourceIdentifier EnglishLanguage "A UniformResourceIdentifier (URI) is a compact string of characters for identifying an abstract or physical resource. A URI can be further classified as a locator, a name, or both (source: http:/ / www.ietf.org/ rfc/ rfc2396.txt).") | QoSontology.kif 1807-1810 | |
(exhaustiveDecomposition UniformResourceIdentifier UniformResourceLocator UniformResourceName) | QoSontology.kif 1806-1806 | 统一资源定位器 和 统一资源名称 涵盖 统一资源标识符 |
(subclass UniformResourceIdentifier ContentBearingObject) | QoSontology.kif 1805-1805 | 统一资源标识符 是 有内用物体 的 subclass |
appearance as argument number 2 |
![]() |
(subclass UniformResourceLocator UniformResourceIdentifier) | QoSontology.kif 1819-1819 | 统一资源定位器 是 统一资源标识符 的 subclass |
(subclass UniformResourceName UniformResourceIdentifier) | QoSontology.kif 1833-1833 | 统一资源名称 是 统一资源标识符 的 subclass |
(termFormat ChineseLanguage UniformResourceIdentifier "统一资源标识符") | domainEnglishFormat.kif 59954-59954 | 统一资源名称 是 统一资源标识符 的 subclass |
(termFormat ChineseTraditionalLanguage UniformResourceIdentifier "統一資源標識符") | domainEnglishFormat.kif 59953-59953 | 统一资源名称 是 统一资源标识符 的 subclass |
(termFormat EnglishLanguage UniformResourceIdentifier "uniform resource identifier") | domainEnglishFormat.kif 59952-59952 | 统一资源名称 是 统一资源标识符 的 subclass |
antecedent |
![]() |
(=> (instance ?URI UniformResourceIdentifier) (exists (?Resource) (and (instance ?Resource DigitalData) (refers ?URI ?Resource)))) |
QoSontology.kif 1812-1817 |
![]() |
![]() |