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 1807-1810
(exhaustiveDecomposition UniformResourceIdentifier UniformResourceLocator UniformResourceName)	QoSontology.kif 1806-1806	Uniform resource identifier is covered by uniform resource locator and uniform resource name
(subclass UniformResourceIdentifier ContentBearingObject)	QoSontology.kif 1805-1805	Uniform resource identifier is a subclass of content bearing object

appearance as argument number 2

(subclass UniformResourceLocator UniformResourceIdentifier)	QoSontology.kif 1819-1819	Uniform resource locator is a subclass of uniform resource identifier
(subclass UniformResourceName UniformResourceIdentifier)	QoSontology.kif 1833-1833	Uniform resource name is a subclass of uniform resource identifier
(termFormat ChineseLanguage UniformResourceIdentifier "统一资源标识符")	domainEnglishFormat.kif 59983-59983	Uniform resource name is a subclass of uniform resource identifier
(termFormat ChineseTraditionalLanguage UniformResourceIdentifier "統一資源標識符")	domainEnglishFormat.kif 59982-59982	Uniform resource name is a subclass of uniform resource identifier
(termFormat EnglishLanguage UniformResourceIdentifier "uniform resource identifier")	domainEnglishFormat.kif 59981-59981	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 1812-1817