TreeView Knowledge Base Browser - AccessingWebPage

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

AccessingWebPage

Sigma KEE - AccessingWebPage

AccessingWebPage

appearance as argument number 1

(documentation AccessingWebPage EnglishLanguage "AccessWebPage consists accessing a WebPage across a ComputerNetwork.")	ComputerInput.kif 2660-2661
(subclass AccessingWebPage NetworkCommunication)	ComputerInput.kif 2659-2659	subclass AccessingWebPage and NetworkCommunication

appearance as argument number 3

(domain SiteSpeedFn 1 AccessingWebPage)	UXExperimentalTerms.kif 3954-3954	domain SiteSpeedFn, 1 and AccessingWebPage
(domain TTFxFn 2 AccessingWebPage)	UXExperimentalTerms.kif 1699-1699	domain TTFxFn, 2 and AccessingWebPage
(domain qualifiedPageView 2 AccessingWebPage)	UXExperimentalTerms.kif 4280-4280	domain qualifiedPageView, 2 and AccessingWebPage

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 3966-3991	instance AccessingWebPage and AccessingWebPage instance Entity and WebPage instance Process and DataTransfer instance Object and Server instance Process and Requesting instance Agent and WebBrowser instance TimeInterval and TimeInterval patient AccessingWebPage and Entity agent Process and Agent destination Process and Object patient Process and Entity origin Process and Object destination Process and Agent patient Process and Entity subProcess Process and AccessingWebPage subProcess Process and AccessingWebPage equal EndFn WhenFn Process and BeginFn TimeInterval equal EndFn WhenFn Process and EndFn TimeInterval equal SiteSpeedFn AccessingWebPage and TimeInterval
(=> (and (instance ?PROCESS ?PROCESS_CLASS) (subclass ?PROCESS_CLASS Process) (instance ?ACCESSING AccessingWebPage) (instance ?AGENT Agent) (agent ?PROCESS ?AGENT) (agent ?ACCESSING ?AGENT) (during ?PROCESS ?ACCESSING) (instance ?TIMETOFIRST TimeInterval) (not (exists (?PROCESS2) (and (instance ?PROCESS2 ?PROCESS_CLASS) (agent ?PROCESS2 ?AGENT) (during ?PROCESS2 ?ACCESSING) (before (BeginFn (WhenFn ?PROCESS2)) (BeginFn (WhenFn ?PROCESS)))))) (equal (BeginFn (WhenFn ?ACCESSING)) (BeginFn (WhenFn ?TIMETOFIRST))) (equal (BeginFn (WhenFn ?PROCESS)) (EndFn (WhenFn ?TIMETOFIRST)))) (equal (TTFxFn ?PROCESS_CLASS ?ACCESSING) ?TIMETOFIRST))	UXExperimentalTerms.kif 1703-1725	instance TimeInterval and TimeInterval_CLASS subclass TimeInterval_CLASS and Process instance AccessingWebPage and AccessingWebPage instance Agent and Agent agent TimeInterval and Agent agent AccessingWebPage and Agent during TimeInterval and AccessingWebPage instance Physical and TimeInterval TimeInterval instance TimeInterval and TimeInterval_CLASS agent TimeInterval and Agent during TimeInterval and AccessingWebPage before BeginFn WhenFn TimeInterval and BeginFn WhenFn TimeInterval equal BeginFn WhenFn AccessingWebPage and BeginFn WhenFn Physical equal BeginFn WhenFn TimeInterval and EndFn WhenFn Physical equal TTFxFn TimeInterval_CLASS and AccessingWebPage and Physical
(=> (and (instance ?REQUEST ViewItemRequest) (instance ?ACCESSING AccessingWebPage) (instance ?PAGE ViewItemPage) (instance ?AGENT Agent) (instance ?LISTING Advertising) (subProcess ?ACCESSING ?REQUEST) (component ?PAGE ?LISTING) (destination ?ACCESSING ?PAGE) (agent ?ACCESSING ?AGENT)) (viewedListing ?AGENT ?LISTING))	UXExperimentalTerms.kif 1777-1788	instance Process and ViewItemRequest instance Process and AccessingWebPage instance CorpuscularObject and ViewItemPage instance Agent and Agent instance WebListing and Advertising subProcess Process and Process component CorpuscularObject and WebListing destination Process and CorpuscularObject agent Process and Agent viewedListing Agent and WebListing
(=> (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 4382-4397	instance Human and Human instance Collection and Collection WebPage Process and Experimenting instance WebPage and WebPage instance Process and AccessingWebPage instance Experimenting and Experimenting agent Process and Human patient Process and WebPage treatedPage WebPage and Experimenting member Process and Collection equal Collection and QPViewsFn Human
(=> (and (instance ?VISITS Collection) (instance ?HYPERLINK HypertextLink) (forall (?ACCESSING) (and (member ?ACCESSING ?PAGE) (and (instance ?ACCESSING AccessingWebPage) (component ?PAGE ?HYPERLINK))))) (exists (?CLICKS) (and (instance ?CLICKS Collection) (forall (?CLICK) (=> (and (instance ?CLICK RequestingHyperlink) (patient ?CLICK ?HYPERLINK)) (member ?CLICK ?CLICKS))) (equal (ClickThroughRateFn ?VISITS ?HYPERLINK) (DivisionFn (CardinalityFn ?CLICKS) (CardinalityFn ?VISITS))))))	UXExperimentalTerms.kif 3541-3564	instance Collection and Collection instance HypertextLink and HypertextLink Physical member Physical and Collection instance Physical and AccessingWebPage component Collection and HypertextLink Collection instance Collection and Collection Process instance Process and RequestingHyperlink patient Process and HypertextLink member Process and Collection equal ClickThroughRateFn Collection and HypertextLink and DivisionFn CardinalityFn Collection and CardinalityFn Collection
(=> (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)))) (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 3876-3911	instance Collection and Collection instance Collection and Collection subCollection Collection and Collection Physical member Physical and Collection instance Physical and AccessingWebPage Process Agent, Process, Process and Object instance Agent and Human instance Process and Buying instance Process and AccessingWebPage instance Object and WebPage member Process and Collection destination Process and Object agent Process and Agent agent Process and Agent during WhenFn Process and WhenFn Process instrument Process and Object member Process and Collection equal SCRFn Collection and TimeInterval and DivisionFn CardinalityFn KappaFn entity_IN_INTERVAL and member entity_IN_INTERVAL and Collection during WhenFn entity_IN_INTERVAL and TimeInterval and CardinalityFn KappaFn entity_IN_INTERVAL and member entity_IN_INTERVAL and Collection during WhenFn entity_IN_INTERVAL and TimeInterval
(=> (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 973-987	viewedItemList Agent and List instance Physical and AccessingWebPage equal FirstFn List and Physical Physical instance Physical and AccessingWebPage agent Physical and Agent earlier WhenFn Physical and WhenFn Physical
(=> (and (viewedItemList ?USER ?LIST) (instance ?ACCESSING1 AccessingWebPage) (instance ?ACCESSING2 AccessingWebPage) (agent ?ACCESSING1 ?USER) (agent ?ACCESSING2 ?USER) (instance ?INDEX1 PositiveInteger) (instance ?INDEX2 PositiveInteger) (equal (ListOrderFn ?LIST ?INDEX1) ?ACCESSING1) (equal (ListOrderFn ?LIST ?INDEX2) ?ACCESSING2) (greaterThan ?INDEX1 ?INDEX2)) (earlier (WhenFn ?ACCESSING2) (WhenFn ?ACCESSING1)))	UXExperimentalTerms.kif 989-1007	viewedItemList Agent and List instance Process and AccessingWebPage instance Process and AccessingWebPage agent Process and Agent agent Process and Agent instance PositiveInteger and PositiveInteger instance PositiveInteger and PositiveInteger equal ListOrderFn List and PositiveInteger and Process equal ListOrderFn List and PositiveInteger and Process greaterThan PositiveInteger and PositiveInteger earlier WhenFn Process and WhenFn Process

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 3302-3321	instance Experimenting and Experimenting instance TimeInterval and TimeInterval equal DivisionFn CardinalityFn KappaFn SymbolicString and instance SymbolicString and Buying member SymbolicString and QualifyingPurchasesFn Experimenting during WhenFn SymbolicString and TimeInterval and CardinalityFn KappaFn SymbolicString and member SymbolicString and TreatedUsersFn Experimenting instance entity and AccessingWebPage during WhenFn entity and TimeInterval agent entity and SymbolicString and PPIFn Experimenting and TimeInterval
(=> (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 3263-3280	instance Experimenting and Experimenting instance Entity and TimeInterval equal DivisionFn CardinalityFn KappaFn SymbolicString and instance SymbolicString and Buying member SymbolicString and QualifyingPurchasesFn Experimenting and CardinalityFn KappaFn SymbolicString and member SymbolicString and TreatedUsersFn Experimenting instance entity and AccessingWebPage agent entity and SymbolicString and PPSFn Experimenting
(=> (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 961-971	viewedItemList Agent and List inList Process and List instance Process and AccessingWebPage agent Process and Agent Entity instance Entity and WebPage destination Process and WebPage
(=> (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 973-987	viewedItemList Agent and List instance Physical and AccessingWebPage equal FirstFn List and Physical Physical instance Physical and AccessingWebPage agent Physical and Agent earlier WhenFn Physical and WhenFn Physical
(=> (browserID ?STRING ?BROWSER ?SITE) (exists (?WEBPAGE ?ACCESSING ?AGENT) (and (instance ?WEBPAGE WebPage) (component ?WEBPAGE ?SITE) (instance ?ACCESSING AccessingWebPage) (instance ?AGENT Agent) (agent ?ACCESSING ?AGENT) (instrument ?ACCESSING ?BROWSER) (destination ?ACCESSING ?WEBPAGE) (represents ?STRING ?AGENT))))	UXExperimentalTerms.kif 921-932	browserID Identifier, WebBrowser and WebSite CorpuscularObject Process and Agent instance CorpuscularObject and WebPage component CorpuscularObject and WebSite instance Process and AccessingWebPage instance Agent and Agent agent Process and Agent instrument Process and WebBrowser destination Process and CorpuscularObject represents Identifier and Agent
(=> (instance ?BROWSER WebBrowser) (hasPurpose ?BROWSER (exists (?ACCESSING) (and (instance ?ACCESSING AccessingWebPage) (instrument ?ACCESSING ?BROWSER)))))	UXExperimentalTerms.kif 2313-2319	instance Physical and WebBrowser hasPurpose Physical and entity instance entity and AccessingWebPage instrument entity and Physical
(=> (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 1766-1775	instance Process and ViewItemRequest Process Process and Entity instance Process and RequestingHyperlink instance Entity and ViewItemPage instance Process and AccessingWebPage causes Process and Process destination Process and Entity subProcess Process and Process
(=> (treatedPage ?WEBPAGE ?EXPERIMENT) (exists (?EVENT) (and (member ?EVENT (QualifyingEventsFn ?EXPERIMENT)) (=> (and (instance ?VISITOR Human) (instance ?ACCESSING AccessingWebPage) (agent ?ACCESSING ?VISITOR) (destination ?ACCESSING ?WEBPAGE)) (experiencer ?VISITOR ?EVENT)))))	UXExperimentalTerms.kif 4332-4343	treatedPage WebPage and Experimenting Agent member Agent and QualifyingEventsFn Experimenting instance Agent and Human instance Process and AccessingWebPage agent Process and Agent destination Process and WebPage experiencer Agent and Agent
(=> (userDatabase ?DATABASE ?WEBSITE) (exists (?PART) (and (instance ?USERS Collection) (part ?PART ?DATABASE) (represents ?PART ?USERS) (forall (?MEMBER) (=> (member ?MEMBER ?USERS) (and (instance ?MEMBER Agent) (exists (?ACCESSING ?PAGE) (and (instance ?ACCESSING AccessingWebPage) (instance ?PAGE WebPage) (patient ?ACCESSING Page) (agent ?ACCESSING Agent) (component ?PAGE ?WEBSITE)))))))))	UXExperimentalTerms.kif 2382-2400	userDatabase Database and WebSite Object instance Collection and Collection part Object and Database represents Object and Collection Physical member Physical and Collection instance Physical and Agent Process CorpuscularObject instance Process and AccessingWebPage instance CorpuscularObject and WebPage patient Process and Page agent Process and Agent component CorpuscularObject and WebSite
(=> (viewedListing ?AGENT ?LISTING) (exists (?PAGE ?ACCESSING) (and (instance ?PAGE WebPage) (instance ?ACCESSING AccessingWebPage) (component ?LISTING ?PAGE) (agent ?ACCESSING ?AGENT) (destination ?ACCESSING ?PAGE))))	UXExperimentalTerms.kif 1743-1751	viewedListing Agent and WebListing CorpuscularObject Process instance CorpuscularObject and WebPage instance Process and AccessingWebPage component WebListing and CorpuscularObject agent Process and Agent destination Process and CorpuscularObject
(=> (webVisitor ?A ?WS) (exists (?AWS ?WP) (and (instance ?AWS AccessingWebPage) (instance ?WP WebPage) (component ?WP ?WS) (agent ?AWS ?A) (patient ?AWS ?WP))))	ComputerInput.kif 2950-2958	webVisitor Agent and WebSite AgentWS CorpuscularObject instance AgentWS and AccessingWebPage instance CorpuscularObject and WebPage component CorpuscularObject and WebSite agent AgentWS and Agent patient AgentWS and CorpuscularObject
(=> (webVisitor ?VISITOR ?SITE) (exists (?ACCESSING ?PAGE) (and (instance ?ACCESSING AccessingWebPage) (instance ?PAGE WebPage) (patient ?ACCESSING ?PAGE) (component ?PAGE ?SITE) (agent ?ACCESSING ?VISITOR))))	UXExperimentalTerms.kif 1415-1423	webVisitor Agent and WebSite Process CorpuscularObject instance Process and AccessingWebPage instance CorpuscularObject and WebPage patient Process and CorpuscularObject component CorpuscularObject and WebSite agent Process and Agent

Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners