TreeView Knowledge Base Browser - UniformResourceIdentifier

appearance as argument number 1

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

appearance as argument number 2

(subclass UniformResourceLocator UniformResourceIdentifier)	QoSontology.kif 1812-1812	Uniform resource locator is a subclass of uniform resource identifier
(subclass UniformResourceName UniformResourceIdentifier)	QoSontology.kif 1826-1826	Uniform resource name is a subclass of uniform resource identifier
(termFormat EnglishLanguage UniformResourceIdentifier "uniform resource identifier")	domainEnglishFormat.kif 59945-59945	Uniform resource name is a subclass of uniform resource identifier
(termFormat ChineseTraditionalLanguage UniformResourceIdentifier "統一資源標識符")	domainEnglishFormat.kif 59946-59946	Uniform resource name is a subclass of uniform resource identifier
(termFormat ChineseLanguage UniformResourceIdentifier "统一资源标识符")	domainEnglishFormat.kif 59947-59947	Uniform resource name is a subclass of uniform resource identifier

antecedent

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

If X is an instance of uniform resource identifier, then there exists Y such that Y is an instance of digital data and X includes a reference to Y