TreeView Knowledge Base Browser

appearance as argument number 1

(instance webPageURL BinaryPredicate)	ComputingBrands.kif 4298-4298	url is an instance of binary predicate
(domain webPageURL 1 WebPage)	ComputingBrands.kif 4299-4299	The number 1 argument of url is an instance of web page
(domain webPageURL 2 UniformResourceLocator)	ComputingBrands.kif 4300-4300	The number 2 argument of url is an instance of uniform resource locator
(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 4301-4303	The number 2 argument of url is an instance of uniform resource locator

appearance as argument number 2

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