AccessingWebPage
|
|
appearance as argument number 1 |
(documentation AccessingWebPage EnglishLanguage "AccessWebPage consists accessing a WebPage across a ComputerNetwork.") | ComputerInput.kif 2664-2665 | |
(subclass AccessingWebPage NetworkCommunication) | ComputerInput.kif 2663-2663 | 子類 AccessingWebPage and NetworkCommunication |
appearance as argument number 2 |
(termFormat EnglishLanguage AccessingWebPage "accessing web page") | domainEnglishFormat.kif 64397-64397 |
appearance as argument number 3 |
(domain SiteSpeedFn 1 AccessingWebPage) | UXExperimentalTerms.kif 3747-3747 | 域 SiteSpeedFn, 1 and AccessingWebPage |
(domain TTFxFn 2 AccessingWebPage) | UXExperimentalTerms.kif 1492-1492 | 域 TTFxFn, 2 and AccessingWebPage |
(domain qualifiedPageView 2 AccessingWebPage) | UXExperimentalTerms.kif 4074-4074 | 域 qualifiedPageView, 2 and AccessingWebPage |
antecedent |
consequent |
(=> (and (instance ?EXPERIMENT Experimenting) (instance ?INTERVAL TimeInterval)) (equal (DivisionFn (CardinalityFn (KappaFn ?PURCHASE (and (instance ?PURCHASE Buying) (member ?PURCHASE (QualifyingPurchasesFn ?EXPERIMENT)) (during (WhenFn ?PURCHASE) ?INTERVAL)))) (CardinalityFn (KappaFn ?USER (and (member ?USER (TreatedUsersFn ?EXPERIMENT)) (instance ?ACCESSING AccessingWebPage) (during (WhenFn ?ACCESSING) ?INTERVAL) (agent ?ACCESSING ?USER))))) (PPIFn ?EXPERIMENT ?INTERVAL))) |
UXExperimentalTerms.kif 3095-3114 |
|
(=> (and (instance ?EXPERIMENT Experimenting) (instance ?INTERVAL TimeInterval)) (equal (DivisionFn (CardinalityFn (KappaFn ?PURCHASE (and (instance ?PURCHASE Buying) (member ?PURCHASE (QualifyingPurchasesFn ?EXPERIMENT))))) (CardinalityFn (KappaFn ?USER (and (member ?USER (TreatedUsersFn ?EXPERIMENT)) (instance ?ACCESSING AccessingWebPage) (agent ?ACCESSING ?USER))))) (PPSFn ?EXPERIMENT))) |
UXExperimentalTerms.kif 3056-3073 |
|
(=> (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 | |
(=> (and (viewedItemList ?USER ?LIST) (instance ?ACCESSING AccessingWebPage) (equal (FirstFn ?LIST) ?ACCESSING)) (not (exists (?ACCESSING2) (and (instance ?ACCESSING2 AccessingWebPage) (agent ?ACCESSING2 ?USER) (earlier (WhenFn ?ACCESSING2) (WhenFn ?ACCESSING)))))) |
UXExperimentalTerms.kif 783-797 | |
(=> (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 |
|
(=> (instance ?BROWSER WebBrowser) (hasPurpose ?BROWSER (exists (?ACCESSING) (and (instance ?ACCESSING AccessingWebPage) (instrument ?ACCESSING ?BROWSER))))) |
UXExperimentalTerms.kif 2104-2110 | |
(=> (instance ?REQUEST ViewItemRequest) (exists (?CLICK ?ACCESSING ?PAGE) (and (instance ?CLICK RequestingHyperlink) (instance ?PAGE ViewItemPage) (instance ?ACCESSING AccessingWebPage) (causes ?CLICK ?ACCESSING) (destination ?ACCESSING ?PAGE) (subProcess ?CLICK ?REQUEST)))) |
UXExperimentalTerms.kif 1559-1568 | |
(=> (treatedPage ?WEBPAGE ?EXPERIMENT) (exists (?EVENT ?VISITOR ?ACCESSING) (and (member ?EVENT (QualifyingEventsFn ?EXPERIMENT)) (=> (and (instance ?VISITOR Human) (instance ?ACCESSING AccessingWebPage) (agent ?ACCESSING ?VISITOR) (destination ?ACCESSING ?WEBPAGE)) (experiencer ?VISITOR ?EVENT))))) |
UXExperimentalTerms.kif 4125-4136 |
|
(=> (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 | |
(=> (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 |