UniformResourceLocator - Sigma Knowledge base Browser

appearance as argument number 1

(documentation UniformResourceLocator EnglishLanguage "The term UniformResourceLocator (URL) refers to the subset of URI that identify resources via a representation of their primary access mechanism (e.g., their network location), rather than identifying the resource by name or by some other attribute(s) of that resource (source: http:/ / www.ietf.org/ rfc/ rfc2396.txt).")	QoSontology.kif 1795-1799
(subclass UniformResourceLocator InternetAddress)	Media.kif 2931-2931	Uniform resource locator is a subclass of Internet address
(subclass UniformResourceLocator StandardIdentifier)	Media.kif 2932-2932	Uniform resource locator is a subclass of standard identifier
(subclass UniformResourceLocator UniformResourceIdentifier)	QoSontology.kif 1794-1794	Uniform resource locator is a subclass of uniform resource identifier

appearance as argument number 2

(exhaustiveDecomposition UniformResourceIdentifier UniformResourceLocator UniformResourceName)	QoSontology.kif 1781-1781	Uniform resource identifier is covered by uniform resource locator and uniform resource name
(termFormat ChineseLanguage UniformResourceLocator "统一资源定位器")	domainEnglishFormat.kif 59989-59989	Uniform resource identifier is covered by uniform resource locator and uniform resource name
(termFormat ChineseTraditionalLanguage UniformResourceLocator "統一資源定位器")	domainEnglishFormat.kif 59988-59988	Uniform resource identifier is covered by uniform resource locator and uniform resource name
(termFormat EnglishLanguage UniformResourceLocator "uniform resource locator")	domainEnglishFormat.kif 59987-59987	Uniform resource identifier is covered by uniform resource locator and uniform resource name

appearance as argument number 3

(domain urlString 1 UniformResourceLocator)	ComputingBrands.kif 4402-4402	The number 1 argument of url is an instance of uniform resource locator
(domain webPageURL 2 UniformResourceLocator)	ComputingBrands.kif 4394-4394	The number 2 argument of url is an instance of uniform resource locator

antecedent

(=>
    (instance ?URL UniformResourceLocator)
    (exists (?Address)
        (and
            (instance ?Address IPAddress)
            (represents ?URL ?Address))))

QoSontology.kif 1801-1806