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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 1694-1698
(subclass UniformResourceLocator InternetAddress) Media.kif 2919-2919
(subclass UniformResourceLocator StandardIdentifier) Media.kif 2920-2920
(subclass UniformResourceLocator UniformResourceIdentifier) QoSontology.kif 1693-1693

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


(exhaustiveDecomposition UniformResourceIdentifier UniformResourceLocator UniformResourceName) QoSontology.kif 1680-1680
(termFormat ChineseLanguage UniformResourceLocator "统一资源定位器") domainEnglishFormat.kif 59933-59933
(termFormat ChineseTraditionalLanguage UniformResourceLocator "統一資源定位器") domainEnglishFormat.kif 59932-59932
(termFormat EnglishLanguage UniformResourceLocator "uniform resource locator") domainEnglishFormat.kif 59931-59931

appearance as argument number 3
-------------------------


(domain urlString 1 UniformResourceLocator) ComputingBrands.kif 4365-4365
(domain webPageURL 2 UniformResourceLocator) ComputingBrands.kif 4357-4357

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


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


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



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