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