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 1820-1824
(subclass UniformResourceLocator InternetAddress) Media.kif 2933-2933 统一资源定位器InternetAddresssubclass
(subclass UniformResourceLocator StandardIdentifier) Media.kif 2934-2934 统一资源定位器StandardIdentifiersubclass
(subclass UniformResourceLocator UniformResourceIdentifier) QoSontology.kif 1819-1819 统一资源定位器统一资源标识符subclass

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


(exhaustiveDecomposition UniformResourceIdentifier UniformResourceLocator UniformResourceName) QoSontology.kif 1806-1806 统一资源定位器统一资源名称 涵盖 统一资源标识符
(termFormat ChineseLanguage UniformResourceLocator "统一资源定位器") domainEnglishFormat.kif 59960-59960 统一资源定位器统一资源名称 涵盖 统一资源标识符
(termFormat ChineseTraditionalLanguage UniformResourceLocator "統一資源定位器") domainEnglishFormat.kif 59959-59959 统一资源定位器统一资源名称 涵盖 统一资源标识符
(termFormat EnglishLanguage UniformResourceLocator "uniform resource locator") domainEnglishFormat.kif 59958-59958 统一资源定位器统一资源名称 涵盖 统一资源标识符

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


(domain urlString 1 UniformResourceLocator) ComputingBrands.kif 4397-4397 urlString 的 1 数量 是 统一资源定位器instance
(domain webPageURL 2 UniformResourceLocator) ComputingBrands.kif 4389-4389 webPageURL 的 2 数量 是 统一资源定位器instance

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


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


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