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

Formal Language: 

KB Term:  Term intersection
English Word: 


Sigma KEE - 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 and WebPage
(domain webPageURL 2 UniformResourceLocator) ComputingBrands.kif 4394-4394 webPageURL, 2 and 統一資源定位器
(instance webPageURL BinaryPredicate) ComputingBrands.kif 4392-4392 webPageURL and BinaryPredicate

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