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)uniform_resource_identifier

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


No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1671-1674
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1670-1670 Uniform resource identifier is covered by uniform resource locator and uniform resource name
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1669-1669 Uniform resource identifier is a subclass of content bearing object

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


No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1683-1683 Uniform resource locator is a subclass of uniform resource identifier
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1697-1697 Uniform resource name is a subclass of uniform resource identifier
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 10418-10418 "uniform resource identifier" is the printable form of uniform resource identifier in english language

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


No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1676-1681


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners