Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  UniformResourceLocator

Sigma KEE - UniformResourceLocator
UniformResourceLocator(uniform resource locator)URL, uniform_resource_locator, universal_resource_locator

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 1689-1693
(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 1688-1688 Uniform resource locator is a subclass of uniform resource identifier

appearance as argument number 2
-------------------------


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

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 1695-1700


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners