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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - UniformResourceLocator
UniformResourceLocator(uniform resource locator)URL, uniform_resource_locator, universal_resource_locator

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


No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1689-1693
No TPTP formula. May not be expressible in strict first order. Media.kif 2931-2931 Uniform resource locator is a subclass of Internet address
No TPTP formula. May not be expressible in strict first order. Media.kif 2932-2932 Uniform resource locator is a subclass of standard identifier
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1688-1688 Uniform resource locator is a subclass of uniform resource identifier

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


No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1675-1675 Uniform resource identifier is covered by uniform resource locator and uniform resource name
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 59966-59966
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 59965-59965
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 59964-59964

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


No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 4402-4402 The number 1 argument of url is an instance of uniform resource locator
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 4394-4394 The number 2 argument of url is an instance of uniform resource locator

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


No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1695-1700


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