UnicodeString
|
|
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 1676-1679 | |
(exhaustiveDecomposition UniformResourceIdentifier UniformResourceLocator UniformResourceName) | QoSontology.kif 1675-1675 | 徹底分解 統一資源標識符, 統一資源定位器 and 統一資源名稱 |
(subclass UniformResourceIdentifier ContentBearingObject) | QoSontology.kif 1674-1674 | 子類 統一資源標識符 and ContentBearingObject |
appearance as argument number 2 |
(subclass UniformResourceLocator UniformResourceIdentifier) | QoSontology.kif 1688-1688 | 子類 統一資源定位器 and 統一資源標識符 |
(subclass UniformResourceName UniformResourceIdentifier) | QoSontology.kif 1702-1702 | 子類 統一資源名稱 and 統一資源標識符 |
(termFormat ChineseLanguage UniformResourceIdentifier "统一资源标识符") | domainEnglishFormat.kif 59962-59962 | |
(termFormat ChineseTraditionalLanguage UniformResourceIdentifier "統一資源標識符") | domainEnglishFormat.kif 59961-59961 | |
(termFormat EnglishLanguage UniformResourceIdentifier "uniform resource identifier") | domainEnglishFormat.kif 59960-59960 |
antecedent |
(=> (instance ?URI UniformResourceIdentifier) (exists (?Resource) (and (instance ?Resource DigitalData) (refers ?URI ?Resource)))) |
QoSontology.kif 1681-1686 |