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

Formal Language: 



KB Term:  Term intersection
English Word: 

  webPageURL

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
(domain webPageURL 2 UniformResourceLocator) ComputingBrands.kif 4394-4394
(instance webPageURL BinaryPredicate) ComputingBrands.kif 4392-4392

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