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

Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - UniformResourceIdentifier
UniformResourceIdentifier(统一资源标识符)

appearance as argument number 1
-------------------------


(documentation UniformResourceIdentifier EnglishLanguage "A UniformResourceIdentifier (URI) is a compact string of characters for identifying an abstract or physical resource. A URI can be further classified as a locator, a name, or both (source: http:/ / www.ietf.org/ rfc/ rfc2396.txt).") QoSontology.kif 1807-1810
(exhaustiveDecomposition UniformResourceIdentifier UniformResourceLocator UniformResourceName) QoSontology.kif 1806-1806 统一资源定位器统一资源名称 涵盖 统一资源标识符
(subclass UniformResourceIdentifier ContentBearingObject) QoSontology.kif 1805-1805 统一资源标识符有内用物体subclass

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


(subclass UniformResourceLocator UniformResourceIdentifier) QoSontology.kif 1819-1819 统一资源定位器统一资源标识符subclass
(subclass UniformResourceName UniformResourceIdentifier) QoSontology.kif 1833-1833 统一资源名称统一资源标识符subclass
(termFormat ChineseLanguage UniformResourceIdentifier "统一资源标识符") domainEnglishFormat.kif 59954-59954 统一资源名称统一资源标识符subclass
(termFormat ChineseTraditionalLanguage UniformResourceIdentifier "統一資源標識符") domainEnglishFormat.kif 59953-59953 统一资源名称统一资源标识符subclass
(termFormat EnglishLanguage UniformResourceIdentifier "uniform resource identifier") domainEnglishFormat.kif 59952-59952 统一资源名称统一资源标识符subclass

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


(=>
    (instance ?URI UniformResourceIdentifier)
    (exists (?Resource)
        (and
            (instance ?Resource DigitalData)
            (refers ?URI ?Resource))))
QoSontology.kif 1812-1817


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