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	UniformResourceIdentifier e' coberto por UniformResourceLocator + UniformResourceName
(subclass UniformResourceIdentifier ContentBearingObject)	QoSontology.kif 1674-1674	UniformResourceIdentifier e' uma sub-classe de Objeto Representendo Conteudo Abstrato

appearance as argument number 2

(subclass UniformResourceLocator UniformResourceIdentifier)	QoSontology.kif 1688-1688	UniformResourceLocator e' uma sub-classe de UniformResourceIdentifier
(subclass UniformResourceName UniformResourceIdentifier)	QoSontology.kif 1702-1702	UniformResourceName e' uma sub-classe de UniformResourceIdentifier
(termFormat ChineseLanguage UniformResourceIdentifier "统一资源标识符")	domainEnglishFormat.kif 59960-59960
(termFormat ChineseTraditionalLanguage UniformResourceIdentifier "統一資源標識符")	domainEnglishFormat.kif 59959-59959
(termFormat EnglishLanguage UniformResourceIdentifier "uniform resource identifier")	domainEnglishFormat.kif 59958-59958

antecedent

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

QoSontology.kif 1681-1686