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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - webPageURL
webPageURL

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


(documentation webPageURL EnglishLanguage "The UniformResourceLocator at which a particular WebPage may be found. Note that this is a relation since the same page may be found at different locations.") ComputingBrands.kif 4395-4397
(domain webPageURL 1 WebPage) ComputingBrands.kif 4393-4393 The number 1 argument of url is an instance of web page
(domain webPageURL 2 UniformResourceLocator) ComputingBrands.kif 4394-4394 The number 2 argument of url is an instance of uniform resource locator
(instance webPageURL BinaryPredicate) ComputingBrands.kif 4392-4392 url is an instance of binary predicate

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


(format EnglishLanguage webPageURL "the URL of %1 is %2") ComputingBrands.kif 4398-4398
(termFormat EnglishLanguage webPageURL "url") ComputingBrands.kif 4399-4399


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