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

Formal Language: 



KB Term:  Term intersection
English Word: 

  UniformResourceIdentifier

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 1681-1684
(exhaustiveDecomposition UniformResourceIdentifier UniformResourceLocator UniformResourceName) QoSontology.kif 1680-1680
(subclass UniformResourceIdentifier ContentBearingObject) QoSontology.kif 1679-1679

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


(subclass UniformResourceLocator UniformResourceIdentifier) QoSontology.kif 1693-1693
(subclass UniformResourceName UniformResourceIdentifier) QoSontology.kif 1707-1707
(termFormat ChineseLanguage UniformResourceIdentifier "统一资源标识符") domainEnglishFormat.kif 59927-59927
(termFormat ChineseTraditionalLanguage UniformResourceIdentifier "統一資源標識符") domainEnglishFormat.kif 59926-59926
(termFormat EnglishLanguage UniformResourceIdentifier "uniform resource identifier") domainEnglishFormat.kif 59925-59925

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


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


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