AccessingWebPage - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - AccessingWebPage

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 is a subclass of NetworkCommunication

appearance as argument number 2

(termFormat EnglishLanguage AccessingWebPage "accessing web page")

domainEnglishFormat.kif 64390-64390

appearance as argument number 3

(domain SiteSpeedFn 1 AccessingWebPage)	UXExperimentalTerms.kif 3746-3746	The number 1 argument of SiteSpeedFn is an instance of AccessingWebPage
(domain TTFxFn 2 AccessingWebPage)	UXExperimentalTerms.kif 1492-1492	The number 2 argument of TTFxFn is an instance of AccessingWebPage
(domain qualifiedPageView 2 AccessingWebPage)	UXExperimentalTerms.kif 4073-4073	The number 2 argument of qualifiedPageView is an instance of 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 3758-3783	If an AccessingWebPage is an instance of AccessingWebPage and an entity is an instance of WebPage and a process is an instance of DataTransfer and an object is an instance of Server and another process is an instance of requesting and an agent is an instance of WebBrowser and a time interval is an instance of time interval and the entity is a patient of the AccessingWebPage and the agent is an agent of the other process and the other process ends up at the object and the entity is a patient of the other process and the process originates at the object and the process ends up at the agent and the entity is a patient of the process and the process is a subprocess of the AccessingWebPage and the other process is a subprocess of the AccessingWebPage and equal the end of the time of existence of the other process and the beginning of the time interval and equal the end of the time of existence of the process and the end of the time interval, then equal SiteSpeedFn the AccessingWebPage and the time interval
(=> (and (instance ?PROCESS ?PROCESS_CLASS) (subclass ?PROCESS_CLASS Process) (instance ?ACCESSING AccessingWebPage) (instance ?AGENT AutonomousAgent) (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 1496-1518	If a time interval is an instance of the time interval_CLASS and the time interval_CLASS is a subclass of process and an AccessingWebPage is an instance of AccessingWebPage and an agent is an instance of agent and the agent is an agent of the time interval and the agent is an agent of the AccessingWebPage and the time interval takes place during the AccessingWebPage and a physical is an instance of time interval and there doesn't exist the time interval2 such that the time interval2 is an instance of the time interval_CLASS and the agent is an agent of the time interval2 and the time interval2 takes place during the AccessingWebPage and the beginning of the time of existence of the time interval2 happens before the beginning of the time of existence of the time interval and equal the beginning of the time of existence of the AccessingWebPage and the beginning of the time of existence of the physical and equal the beginning of the time of existence of the time interval and the end of the time of existence of the physical, then equal TTFxFn the time interval_CLASS and the AccessingWebPage and the physical
(=> (and (instance ?REQUEST ViewItemRequest) (instance ?ACCESSING AccessingWebPage) (instance ?PAGE ViewItemPage) (instance ?AGENT AutonomousAgent) (instance ?LISTING Advertising) (subProcess ?ACCESSING ?REQUEST) (component ?PAGE ?LISTING) (destination ?ACCESSING ?PAGE) (agent ?ACCESSING ?AGENT)) (viewedListing ?AGENT ?LISTING))	UXExperimentalTerms.kif 1570-1581	If a process is an instance of ViewItemRequest and another process is an instance of AccessingWebPage and a corpuscular object is an instance of ViewItemPage and an agent is an instance of agent and a WebListing is an instance of advertising and the other process is a subprocess of the process and the corpuscular object is a component of the WebListing and the other process ends up at the corpuscular object and the agent is an agent of the other process, then viewedListing the agent and the 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 4174-4189	If a human is an instance of human and a collection is an instance of collection and for all a WebPage, a process and an Experimenting if the WebPage is an instance of WebPage and the process is an instance of AccessingWebPage and the Experimenting is an instance of Experimenting and the human is an agent of the process and the WebPage is a patient of the process and treatedPage the WebPage and the Experimenting, then the process is a member of the collection , then equal the collection and QPViewsFn the 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 3332-3355	If a collection is an instance of collection and a corpuscular object is an instance of HypertextLink and for all a physical the physical is a member of another collection and the physical is an instance of AccessingWebPage and the other collection is a component of the corpuscular object, then there exists a third collection such that the third collection is an instance of collection and for all a process if the process is an instance of RequestingHyperlink and the corpuscular object is a patient of the process, then the process is a member of the third collection and equal ClickThroughRateFn the collection and the corpuscular object and the number of instances in the third collection and the number of instances in the 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)))) (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 3667-3703	If a collection is an instance of collection and another collection is an instance of collection and the other collection is a proper sub-collection of the collection and for all a physical if the physical is a member of the collection, then the physical is an instance of AccessingWebPage and for all a process, an agent,, , another process,, , the process and an object if the agent is an instance of human and the process is an instance of buying and the other process is an instance of AccessingWebPage and the object is an instance of WebPage and the other process is a member of the collection and the other process ends up at the object and the agent is an agent of the process and the agent is an agent of the other process and the time of existence of the process takes place during the time of existence of the other process and the object is an instrument for the process, then the process is a member of the other collection , then there exist a time interval, an entity_IN_INTERVAL and another entity_IN_INTERVAL such that equal SCRFn the collection and the time interval and the number of instances in the class described by the entity_IN_INTERVAL and the number of instances in the class described by the other entity_IN_INTERVAL
(=> (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	If viewedItemList an agent and a list and a physical is an instance of AccessingWebPage and equal FirstFn the list and the physical, then there doesn't exist the physical2 such that the physical2 is an instance of AccessingWebPage and the agent is an agent of the physical2 and the time of existence of the physical2 happens earlier than the time of existence of the 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 799-817	If viewedItemList an agent and a list and a process is an instance of AccessingWebPage and another process is an instance of AccessingWebPage and the agent is an agent of the process and the agent is an agent of the other process and a positive integer is an instance of positive integer and another positive integer is an instance of positive integer and equal the positive integerth element of the list and the process and equal the other positive integerth element of the list and the other process and the positive integer is greater than the other positive integer, then the time of existence of the other process happens earlier than the time of existence of the 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 3094-3113	If an Experimenting is an instance of Experimenting and a time interval is an instance of time interval, then equal the number of instances in the class described by a symbolic string and the number of instances in the class described by another symbolic string and PPIFn the Experimenting and the time interval
(=> (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 3055-3072	If an Experimenting is an instance of Experimenting and an entity is an instance of time interval, then equal the number of instances in the class described by a symbolic string and the number of instances in the class described by another symbolic string and PPSFn the 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 771-781	If viewedItemList an agent and a list and a process is a member of the list, then the process is an instance of AccessingWebPage and the agent is an agent of the process and there exists an entity such that the entity is an instance of WebPage and the process ends up at 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 783-797	If viewedItemList an agent and a list and a physical is an instance of AccessingWebPage and equal FirstFn the list and the physical, then there doesn't exist the physical2 such that the physical2 is an instance of AccessingWebPage and the agent is an agent of the physical2 and the time of existence of the physical2 happens earlier than the time of existence of the physical
(=> (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 browserID an Identifier, a WebBrowser and a WebSite, then there exist a symbolic string, a process,, , an agent and a ComputerProcess such that the symbolic string is an instance of WebPage and subString the symbolic string and the WebSite and the process is an instance of AccessingWebPage and the agent is an instance of agent and the agent is an agent of the process and programRunning the ComputerProcess and the WebBrowser and the ComputerProcess causes the process and the process ends up at the symbolic string and the Identifier expresses the agent
(=> (instance ?BROWSER WebBrowser) (hasPurpose ?BROWSER (exists (?ACCESSING) (and (instance ?ACCESSING AccessingWebPage) (instrument ?ACCESSING ?BROWSER)))))	UXExperimentalTerms.kif 2104-2110	If a physical is an instance of WebBrowser, then the physical has the purpose there exists an entity such that the entity is an instance of AccessingWebPage and the physical is an instrument for the entity
(=> (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	If a process is an instance of ViewItemRequest, then there exist another process, a third process and an entity such that the other process is an instance of RequestingHyperlink and the entity is an instance of ViewItemPage and the third process is an instance of AccessingWebPage and the other process causes the third process and the third process ends up at the entity and the other process is a subprocess of the process
(=> (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 4124-4135	If treatedPage a WebPage and an Experimenting, then there exist an agent, another agent and a process such that the agent is a member of QualifyingEventsFn the Experimenting and if the other agent is an instance of human and the process is an instance of AccessingWebPage and the other agent is an agent of the process and the process ends up at the WebPage, then the agent experiences the other agent
(=> (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	If userDatabase a Database and a WebSite, then there exist an object and a collection such that the collection is an instance of collection and the object is a part of the Database and the object expresses the collection and for all a physical if the physical is a member of the collection, then the physical is an instance of agent and there exist a process and a corpuscular object such that the process is an instance of AccessingWebPage and the corpuscular object is an instance of WebPage and Page is a patient of the process and agent is an agent of the process and the corpuscular object is a component of the 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 1536-1544	If viewedListing an agent and a WebListing, then there exist a corpuscular object and a process such that the corpuscular object is an instance of WebPage and the process is an instance of AccessingWebPage and the WebListing is a component of the corpuscular object and the agent is an agent of the process and the process ends up at the corpuscular object
(=> (webVisitor ?A ?WS) (exists (?AWS ?WP) (and (instance ?AWS AccessingWebPage) (instance ?WP WebPage) (component ?WP ?WS) (agent ?AWS ?A) (patient ?AWS ?WP))))	ComputerInput.kif 2956-2964	If webVisitor an agent and a WebSite, then there exist the agentWS and a corpuscular object such that the agentWS is an instance of AccessingWebPage and the corpuscular object is an instance of WebPage and the corpuscular object is a component of the WebSite and the agent is an agent of the agentWS and the corpuscular object is a patient of the agentWS
(=> (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 webVisitor an agent and a WebSite, then there exist a process and a corpuscular object such that the process is an instance of AccessingWebPage and the corpuscular object is an instance of WebPage and the corpuscular object is a patient of the process and the corpuscular object is a component of the WebSite and the agent is an agent of the process

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

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