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 webPageURL 的 1 数量 是 WebPageinstance
(domain webPageURL 2 UniformResourceLocator) ComputingBrands.kif 4394-4394 webPageURL 的 2 数量 是 统一资源定位器instance
(instance webPageURL BinaryPredicate) ComputingBrands.kif 4392-4392 webPageURL二元谓语instance

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