UniformResourceLocator - Sigma Knowledge base Browser

appearance as argument number 1

(subclass UniformResourceLocator InternetAddress)	Media.kif 2878-2878	Uniform resource locator is a subclass of Internet address
(subclass UniformResourceLocator StandardIdentifier)	Media.kif 2879-2879	Uniform resource locator is a subclass of standard identifier
(subclass UniformResourceLocator UniformResourceIdentifier)	QoSontology.kif 1812-1812	Uniform resource locator is a subclass of uniform resource identifier
(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 1813-1817	Uniform resource locator is a subclass of uniform resource identifier

appearance as argument number 2

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

appearance as argument number 3

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

antecedent

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

If X is an instance of uniform resource locator, then there exists Y such that Y is an instance of IP address and X expresses Y