UniformResourceIdentifier - Sigma Knowledge base Browser

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	Uniform resource identifier is covered by uniform resource locator and uniform resource name
(subclass UniformResourceIdentifier ContentBearingObject)	QoSontology.kif 1674-1674	Uniform resource identifier is a subclass of content bearing object

appearance as argument number 2

(subclass UniformResourceLocator UniformResourceIdentifier)	QoSontology.kif 1688-1688	Uniform resource locator is a subclass of uniform resource identifier
(subclass UniformResourceName UniformResourceIdentifier)	QoSontology.kif 1702-1702	Uniform resource name is a subclass of uniform resource identifier
(termFormat ChineseLanguage UniformResourceIdentifier "统一资源标识符")	domainEnglishFormat.kif 60008-60008	Uniform resource name is a subclass of uniform resource identifier
(termFormat ChineseTraditionalLanguage UniformResourceIdentifier "統一資源標識符")	domainEnglishFormat.kif 60007-60007	Uniform resource name is a subclass of uniform resource identifier
(termFormat EnglishLanguage UniformResourceIdentifier "uniform resource identifier")	domainEnglishFormat.kif 60006-60006	Uniform resource name is a subclass of uniform resource identifier

antecedent

(=>
    (instance ?URI UniformResourceIdentifier)
    (exists (?Resource)
        (and
            (instance ?Resource DigitalData)
            (refers ?URI ?Resource))))

QoSontology.kif 1681-1686