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

Formal Language: 



KB Term:  Term intersection
English Word: 

  UniformResourceLocator

Sigma KEE - UniformResourceLocator
UniformResourceLocator

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 1684-1688
(subclass UniformResourceLocator InternetAddress) Media.kif 2901-2901
(subclass UniformResourceLocator StandardIdentifier) Media.kif 2902-2902
(subclass UniformResourceLocator UniformResourceIdentifier) QoSontology.kif 1683-1683

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


(exhaustiveDecomposition UniformResourceIdentifier UniformResourceLocator UniformResourceName) QoSontology.kif 1670-1670
(termFormat EnglishLanguage UniformResourceLocator "uniform resource locator") domainEnglishFormat.kif 10419-10419

antecedent
-------------------------


(=>
    (instance ?URL UniformResourceLocator)
    (exists (?Address)
        (and
            (instance ?Address IPAddress)
            (represents ?URL ?Address))))
QoSontology.kif 1690-1695


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners