WebPage |
appearance as argument number 1 |
(documentation WebPage EnglishLanguage "An instance of WebPage is a chunk of DigitalData typically displayed (metaphorically) as one page quote> 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 1475-1481 | |
(subclass WebPage DigitalData) | Media.kif 1482-1482 | 子類 WebPage and 數字數據 |
appearance as argument number 2 |
(subclass ProductDescriptionPage WebPage) | UXExperimentalTerms.kif 2027-2027 | 子類 ProductDescriptionPage and WebPage |
(subclass SearchResultsPage WebPage) | UXExperimentalTerms.kif 2523-2523 | 子類 SearchResultsPage and WebPage |
(subclass ViewItemPage WebPage) | UXExperimentalTerms.kif 2058-2058 | 子類 ViewItemPage and WebPage |
(termFormat EnglishLanguage WebPage "web page") | Media.kif 1483-1483 |
appearance as argument number 3 |
(domain homePage 1 WebPage) | UXExperimentalTerms.kif 1966-1966 | 域 homePage, 1 and WebPage |
(domain treatedPage 1 WebPage) | UXExperimentalTerms.kif 4112-4112 | 域 treatedPage, 1 and WebPage |
(domain webPageURL 1 WebPage) | ComputingBrands.kif 4393-4393 | 域 webPageURL, 1 and WebPage |
antecedent |
(=> (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 3759-3784 |
|
(=> (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 4175-4190 | |
(=> (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 3668-3704 |
|
(=> (and (treatedPageDefinition ?EXPERIMENT ?FORMULA) (instance ?PAGE WebPage) (refers ?FORMULA ?PAGE)) (treatedPage ?PAGE ?EXPERIMENT)) |
UXExperimentalTerms.kif 4152-4157 |
consequent |
(=> (and (inList ?ITEM ?RESULTS) (instance ?RESULTS SRPResults)) (or (instance ?ITEM WebListing) (instance ?ITEM WebPage))) |
UXExperimentalTerms.kif 2483-2489 | |
(=> (and (instance ?SEO SEO) (patient ?SEO ?PAGE)) (instance ?PAGE WebPage)) |
UXExperimentalTerms.kif 2382-2386 | |
(=> (and (instance ?STORE WebStore) (member ?PAGE ?STORE)) (instance ?PAGE WebPage)) |
UXExperimentalTerms.kif 2141-2145 |
|
(=> (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 | |
(=> (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 |
|
(=> (hostedOn ?LISTING ?SITE) (exists (?PAGE) (and (instance ?PAGE WebPage) (subString ?LISTING ?PAGE) (subString ?PAGE ?SITE)))) |
UXExperimentalTerms.kif 125-131 |
|
(=> (instance ?ACT DownloadingOverNetwork) (exists (?FILE) (and (patient ?ACT ?FILE) (instance ?FILE WebPage)))) |
ComputerInput.kif 2667-2672 | |
(=> (instance ?MODULE WebPageModule) (exists (?PAGE) (and (instance ?PAGE WebPage) (component ?MODULE ?PAGE)))) |
UXExperimentalTerms.kif 1989-1994 | |
(=> (instance ?SITE WebSite) (exists (?PAGE) (and (instance ?PAGE WebPage) (component ?PAGE ?SITE)))) |
Media.kif 1495-1500 | |
(=> (qualifiedPageView ?EXPERIMENT ?ACCESSING) (exists (?PAGE) (and (instance ?PAGE WebPage) (patient ?ACCESSING ?PAGE) (treatedPage ?EXPERIMENT ?PAGE)))) |
UXExperimentalTerms.kif 4079-4085 | |
(=> (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 2173-2191 |
|
(=> (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 | |
(=> (webStoreAdvertisement ?ADVERT ?STORE) (exists (?ITEM ?PAGE) (and (refers ?ADVERT ?ITEM) (component ?ADVERT ?PAGE) (instance ?PAGE WebPage) (member ?PAGE ?STORE)))) |
UXExperimentalTerms.kif 434-441 | |
(=> (webVisitor ?A ?WS) (exists (?AWS ?WP) (and (instance ?AWS AccessingWebPage) (instance ?WP WebPage) (component ?WP ?WS) (agent ?AWS ?A) (patient ?AWS ?WP)))) |
ComputerInput.kif 2953-2961 | |
(=> (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 |