Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| WebPage(web page) |  | web_page, webpage |
| appearance as argument number 1 |
|
|
(documentation WebPage EnglishLanguage "An instance of WebPage is a chunk of DigitalData typically displayed (metaphorically) as one page by a web browser. Note that a WebPage might be dynamically generated, might include data assembled from many different files or storage media (e.g., databases), and so might not exist as a unitary ComputerFile.") |
Media.kif 1422-1428 | |
| (subclass WebPage DigitalData) | Media.kif 1429-1429 | Web page is a subclass of digital data |
| appearance as argument number 2 |
|
|
| appearance as argument number 3 |
|
|
| (domain webPageURL 1 WebPage) | ComputingBrands.kif 4299-4299 | The number 1 argument of url is an instance of web page |
| (domain homePage 1 WebPage) | UXExperimentalTerms.kif 1967-1967 | The number 1 argument of homepage is an instance of web page |
| (domain treatedPage 1 WebPage) | UXExperimentalTerms.kif 4109-4109 | The number 1 argument of treated page is an instance of web page |
| antecedent |
|
|
| (=> (and (instance ?VISITS Collection) (instance ?PURCHASES Collection) (subCollection ?PURCHASES ?VISITS) (forall (?MEMBER) (=> (member ?MEMBER ?VISITS) (instance ?MEMBER AccessingWebPage))) (forall (?BUYING ?VISITOR ?ACCESSING ?BUYING ?PAGE) (=> (and (instance ?VISITOR Human) (instance ?BUYING Buying) (instance ?ACCESSING AccessingWebPage) (instance ?PAGE WebPage) (member ?ACCESSING ?VISITS) (destination ?ACCESSING ?PAGE) (agent ?BUYING ?VISITOR) (agent ?ACCESSING ?VISITOR) (during (WhenFn ?BUYING) (WhenFn ?ACCESSING)) (instrument ?BUYING ?PAGE)) (member ?BUYING ?PURCHASES)))) (exists (?INTERVAL ?PURCHASE_IN_INTERVAL ?VISIT_IN_INTERVAL) (equal (SCRFn ?VISITS ?INTERVAL) (DivisionFn (CardinalityFn (KappaFn ?PURCHASE_IN_INTERVAL (and (member ?PURCHASE_IN_INTERVAL ?PURCHASES) (during (WhenFn ?PURCHASE_IN_INTERVAL) ?INTERVAL)))) (CardinalityFn (KappaFn ?VISIT_IN_INTERVAL (and (member ?VISIT_IN_INTERVAL ?VISITS) (during (WhenFn ?PURCHASE_IN_INTERVAL) ?INTERVAL)))))))) |
UXExperimentalTerms.kif 3665-3701 | If X is an instance of collection, Y is an instance of collection, Y is a proper sub-collection of X, For all Physical Z: if Z is a member of X, then Z is an instance of accessing web page, and For all Processes W, U, and W, AutonomousAgent V, and Object T: if All of the following hold: (1) V is an instance of human (2) W is an instance of buying (3) U is an instance of accessing web page (4) T is an instance of web page (5) U is a member of X (6) U ends up at T (7) V is an agent of W (8) V is an agent of U (9) the time of existence of W takes place during the time of existence of U (10) T is an instrument for W, then W is a member of Y, then there exist S, ?PURCHASE_IN_INTERVAL, ?VISIT_IN_INTERVAL such that equal purchases made in X during S, the number of instances in the class described by ?PURCHASE_IN_INTERVAL, and the number of instances in the class described by ?VISIT_IN_INTERVAL |
| (=> (and (instance ?ACCESSING AccessingWebPage) (instance ?PAGE WebPage) (instance ?TRANSFER DataTransfer) (instance ?SERVER Server) (instance ?REQUESTING Requesting) (instance ?BROWSER WebBrowser) (instance ?INTERVAL TimeInterval) (patient ?ACCESSING ?PAGE) (agent ?REQUESTING ?BROWSER) (destination ?REQUESTING ?SERVER) (patient ?REQUESTING ?PAGE) (origin ?TRANSFER ?SERVER) (destination ?TRANSFER ?BROWSER) (patient ?TRANSFER ?PAGE) (subProcess ?TRANSFER ?ACCESSING) (subProcess ?REQUESTING ?ACCESSING) (equal (EndFn (WhenFn ?REQUESTING)) (BeginFn ?INTERVAL)) (equal (EndFn (WhenFn ?TRANSFER)) (EndFn ?INTERVAL))) (equal (SiteSpeedFn ?ACCESSING) ?INTERVAL)) |
UXExperimentalTerms.kif 3756-3781 | If All of the following hold: (1) X is an instance of accessing web page (2) Y is an instance of web page (3) Z is an instance of data transfer (4) W is an instance of server (5) V is an instance of requesting (6) U is an instance of web browser (7) T is an instance of timeframe (8) Y is a patient of X (9) U is an agent of V (10) V ends up at W (11) Y is a patient of V (12) Z originates at W (13) Z ends up at U (14) Y is a patient of Z (15) Z is a subprocess of X (16) V is a subprocess of X (17) equal the end of the time of existence of V and the beginning of T (18) equal the end of the time of existence of Z and the end of T, then equal the time to access in X and T |
| (=> (and (instance ?VISITOR Human) (instance ?QPVIEWS Collection) (forall (?PAGE ?ACCESSING ?EXPERIMENT) (=> (and (instance ?PAGE WebPage) (instance ?ACCESSING AccessingWebPage) (instance ?EXPERIMENT Experimenting) (agent ?ACCESSING ?VISITOR) (patient ?ACCESSING ?PAGE) (treatedPage ?PAGE ?EXPERIMENT)) (member ?ACCESSING ?QPVIEWS)))) (equal ?QPVIEWS (QPViewsFn ?VISITOR))) |
UXExperimentalTerms.kif 4172-4187 | If X is an instance of human, Y is an instance of collection, and For all WebPage Z, Process W, and Experimenting V: if W is an instance of accessing web page, X is an agent of W, Z is a patient of W, and Z is the object of study of V, then W is a member of Y, then equal Y and all the treated web page views from X |
| consequent |
|
|
| (=> (instance ?ACT DownloadingOverNetwork) (exists (?FILE) (and (patient ?ACT ?FILE) (instance ?FILE WebPage)))) |
ComputerInput.kif 2683-2688 | If X is an instance of downloading, then there exists Y such that Y is a patient of X and Y is an instance of web page |
| (=> (webVisitor ?A ?WS) (exists (?AWS ?WP) (and (instance ?AWS AccessingWebPage) (instance ?WP WebPage) (component ?WP ?WS) (agent ?AWS ?A) (patient ?AWS ?WP)))) |
ComputerInput.kif 2972-2980 | If X is a visitor to Y, then there exist Z, W such that Z is an instance of accessing web page, W is an instance of web page, W is a component of Y, X is an agent of Z, and W is a patient of Z |
| (=> (instance ?PROFILE ProfilePage) (hasPurpose ?PROFILE (exists (?USER ?PAGE ?POST) (and (instance ?USER FacebookUser) (instance ?PAGE WebPage) (instance ?POST UploadingOverNetwork) (agent ?POST ?USER) (result ?POST ?PAGE) (represents ?PAGE ?USER))))) |
Facebook.kif 159-169 | If X is an instance of profile page, then All of the following hold: (1) X has the purpose there exist Y, Z (2) W such that Y is an instance of Facebook user (3) Z is an instance of web page (4) W is an instance of uploading (5) Y is an agent of W (6) Z is a result of W (7) Z expresses Y |
| (=> (instance ?SITE WebSite) (exists (?PAGE) (and (instance ?PAGE WebPage) (component ?PAGE ?SITE)))) |
Media.kif 1442-1447 | If X is an instance of web site, then there exists Y such that Y is an instance of web page and Y is a component of X |
| (=> (hostedOn ?LISTING ?SITE) (exists (?PAGE) (and (instance ?PAGE WebPage) (subString ?LISTING ?PAGE) (subString ?PAGE ?SITE)))) |
UXExperimentalTerms.kif 125-131 | If X is hosted on Y, then there exists Z such that Z is an instance of web page, X is a sub-string of Z, and Z is a sub-string of Y |
| (=> (webStoreAdvertisement ?ADVERT ?STORE) (exists (?ITEM ?PAGE) (and (refers ?ADVERT ?ITEM) (component ?ADVERT ?PAGE) (instance ?PAGE WebPage) (member ?PAGE ?STORE)))) |
UXExperimentalTerms.kif 434-441 | If X has advertisement Y, then there exist Z, W such that Y includes a reference to Z, Y is a component of W, W is an instance of web page, and W is a member of X |
| (=> (browserID ?STRING ?BROWSER ?SITE) (exists (?WEBPAGE ?ACCESSING ?AGENT ?BPROC) (and (instance ?WEBPAGE WebPage) (subString ?WEBPAGE ?SITE) (instance ?ACCESSING AccessingWebPage) (instance ?AGENT AutonomousAgent) (agent ?ACCESSING ?AGENT) (programRunning ?BPROC ?BROWSER) (causes ?BPROC ?ACCESSING) (destination ?ACCESSING ?WEBPAGE) (represents ?STRING ?AGENT)))) |
UXExperimentalTerms.kif 736-748 | If X is the ID of Y when accessing Z, then All of the following hold: (1) there exist W, V,, , U (2) T such that W is an instance of web page (3) W is a sub-string of Z (4) V is an instance of accessing web page (5) U is an instance of agent (6) U is an agent of V (7) Y is a program running of T (8) T causes V (9) V ends up at W (10) X expresses U |
| (=> (and (viewedItemList ?USER ?LIST) (inList ?ACCESSING ?LIST)) (and (instance ?ACCESSING AccessingWebPage) (agent ?ACCESSING ?USER) (exists (?DEST) (and (instance ?DEST WebPage) (destination ?ACCESSING WebPage))))) |
UXExperimentalTerms.kif 771-781 | If X is the list of items viewed by Y and Z is a member of X, then Z is an instance of accessing web page, Y is an agent of Z, and there exists W such that W is an instance of web page and Z ends up at web page |
| (=> (webVisitor ?VISITOR ?SITE) (exists (?ACCESSING ?PAGE) (and (instance ?ACCESSING AccessingWebPage) (instance ?PAGE WebPage) (patient ?ACCESSING ?PAGE) (component ?PAGE ?SITE) (agent ?ACCESSING ?VISITOR)))) |
UXExperimentalTerms.kif 1218-1226 | If X is a visitor to Y, then there exist Z, W such that Z is an instance of accessing web page, W is an instance of web page, W is a patient of Z, W is a component of Y, and X is an agent of Z |
| (=> (viewedListing ?AGENT ?LISTING) (exists (?PAGE ?ACCESSING) (and (instance ?PAGE WebPage) (instance ?ACCESSING AccessingWebPage) (component ?LISTING ?PAGE) (agent ?ACCESSING ?AGENT) (destination ?ACCESSING ?PAGE)))) |
UXExperimentalTerms.kif 1536-1544 | If X viewed Y, then there exist Z, W such that Z is an instance of web page, W is an instance of accessing web page, Y is a component of Z, X is an agent of W, and W ends up at Z |
| (=> (instance ?MODULE WebPageModule) (exists (?PAGE) (and (instance ?PAGE WebPage) (component ?MODULE ?PAGE)))) |
UXExperimentalTerms.kif 1990-1995 | If X is an instance of module, then there exists Y such that Y is an instance of web page and X is a component of Y |
| (=> (and (instance ?STORE WebStore) (member ?PAGE ?STORE)) (instance ?PAGE WebPage)) |
UXExperimentalTerms.kif 2142-2146 | If X is an instance of web store and Y is a member of X, then Y is an instance of web page |
| (=> (userDatabase ?DATABASE ?WEBSITE) (exists (?PART ?USERS) (and (instance ?USERS Collection) (part ?PART ?DATABASE) (represents ?PART ?USERS) (forall (?MEMBER) (=> (member ?MEMBER ?USERS) (and (instance ?MEMBER AutonomousAgent) (exists (?ACCESSING ?PAGE) (and (instance ?ACCESSING AccessingWebPage) (instance ?PAGE WebPage) (patient ?ACCESSING Page) (agent ?ACCESSING AutonomousAgent) (component ?PAGE ?WEBSITE))))))))) |
UXExperimentalTerms.kif 2174-2192 | If X is the user database for Y, then All of the following hold: (1) there exist Z (2) W such that W is an instance of collection (3) Z is a part of X (4) Z expresses W (5) V V is a member of WV is an instance of agent (6) there exist U (7) T such that U is an instance of accessing web page (8) T is an instance of web page (9) page is a patient of U (10) agent is an agent of U (11) T is a component of Y |
| (=> (and (instance ?SEO SEO) (patient ?SEO ?PAGE)) (instance ?PAGE WebPage)) |
UXExperimentalTerms.kif 2383-2387 | If X is an instance of search engine optimization and Y is a patient of X, then Y is an instance of web page |
| (=> (and (inList ?ITEM ?RESULTS) (instance ?RESULTS SRPResults)) (or (instance ?ITEM WebListing) (instance ?ITEM WebPage))) |
UXExperimentalTerms.kif 2484-2490 | If X is a member of Y and Y is an instance of search results, then X is an instance of web listing or X is an instance of web page |
| (=> (qualifiedPageView ?EXPERIMENT ?ACCESSING) (exists (?PAGE) (and (instance ?PAGE WebPage) (patient ?ACCESSING ?PAGE) (treatedPage ?EXPERIMENT ?PAGE)))) |
UXExperimentalTerms.kif 4076-4082 | If X is accessed during Y, then there exists Z such that Z is an instance of web page, Z is a patient of X, and Y is the object of study of Z |
|