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 est une sous-classe de DigitalData |
appearance as argument number 2 |
(subclass ProductDescriptionPage WebPage) | UXExperimentalTerms.kif 2027-2027 | ProductDescriptionPage est une sous-classe de WebPage |
(subclass SearchResultsPage WebPage) | UXExperimentalTerms.kif 2523-2523 | SearchResultsPage est une sous-classe de WebPage |
(subclass ViewItemPage WebPage) | UXExperimentalTerms.kif 2058-2058 | ViewItemPage est une sous-classe de WebPage |
(termFormat EnglishLanguage WebPage "web page") | Media.kif 1483-1483 |
appearance as argument number 3 |
(domain homePage 1 WebPage) | UXExperimentalTerms.kif 1966-1966 | Le nombre 1 argument de homePage est une instance de WebPage |
(domain treatedPage 1 WebPage) | UXExperimentalTerms.kif 4112-4112 | Le nombre 1 argument de treatedPage est une instance de WebPage |
(domain webPageURL 1 WebPage) | ComputingBrands.kif 4393-4393 | Le nombre 1 argument de webPageURL est une instance de 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 |