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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - UniformResourceIdentifier
UniformResourceIdentifier(uniform resource identifier)

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 1676-1679
(exhaustiveDecomposition UniformResourceIdentifier UniformResourceLocator UniformResourceName) QoSontology.kif 1675-1675 Uniform resource identifier is covered by uniform resource locator and uniform resource name
(subclass UniformResourceIdentifier ContentBearingObject) QoSontology.kif 1674-1674 Uniform resource identifier is a subclass of content bearing object

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


(subclass UniformResourceLocator UniformResourceIdentifier) QoSontology.kif 1688-1688 Uniform resource locator is a subclass of uniform resource identifier
(subclass UniformResourceName UniformResourceIdentifier) QoSontology.kif 1702-1702 Uniform resource name is a subclass of uniform resource identifier
(termFormat ChineseLanguage UniformResourceIdentifier "统一资源标识符") domainEnglishFormat.kif 59960-59960
(termFormat ChineseTraditionalLanguage UniformResourceIdentifier "統一資源標識符") domainEnglishFormat.kif 59959-59959
(termFormat EnglishLanguage UniformResourceIdentifier "uniform resource identifier") domainEnglishFormat.kif 59958-59958

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


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


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