| 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 1681-1684 | |
| (exhaustiveDecomposition UniformResourceIdentifier UniformResourceLocator UniformResourceName) | QoSontology.kif 1680-1680 | 统一资源定位器 和 统一资源名称 涵盖 统一资源标识符 |
| (subclass UniformResourceIdentifier ContentBearingObject) | QoSontology.kif 1679-1679 | 统一资源标识符 是 有内用物体 的 subclass |
| appearance as argument number 2 |
|
|
| (subclass UniformResourceLocator UniformResourceIdentifier) | QoSontology.kif 1693-1693 | 统一资源定位器 是 统一资源标识符 的 subclass |
| (subclass UniformResourceName UniformResourceIdentifier) | QoSontology.kif 1707-1707 | 统一资源名称 是 统一资源标识符 的 subclass |
| (termFormat ChineseLanguage UniformResourceIdentifier "统一资源标识符") | domainEnglishFormat.kif 59868-59868 | |
| (termFormat ChineseTraditionalLanguage UniformResourceIdentifier "統一資源標識符") | domainEnglishFormat.kif 59867-59867 | |
| (termFormat EnglishLanguage UniformResourceIdentifier "uniform resource identifier") | domainEnglishFormat.kif 59866-59866 |
| antecedent |
|
|
| (=> (instance ?URI UniformResourceIdentifier) (exists (?Resource) (and (instance ?Resource DigitalData) (refers ?URI ?Resource)))) |
QoSontology.kif 1686-1691 |
|
Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)
|
|
Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners