Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  ]  KB:  Language:    Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - AccessingWebPage
AccessingWebPage(accessing web page)

appearance as argument number 1
-------------------------


(subclass AccessingWebPage NetworkCommunication) ComputerInput.kif 2663-2663 Accessing web page is a subclass of network communication
(documentation AccessingWebPage EnglishLanguage "AccessWebPage consists accessing a WebPage across a ComputerNetwork.") ComputerInput.kif 2664-2665 Accessing web page is a subclass of network communication

appearance as argument number 2
-------------------------


(termFormat EnglishLanguage AccessingWebPage "accessing web page") domainEnglishFormat.kif 64400-64400

appearance as argument number 3
-------------------------


(domain TTFxFn 2 AccessingWebPage) UXExperimentalTerms.kif 1492-1492 The number 2 argument of TTFx is an instance of accessing web page
(domain SiteSpeedFn 1 AccessingWebPage) UXExperimentalTerms.kif 3746-3746 The number 1 argument of site speed is an instance of accessing web page
(domain qualifiedPageView 2 AccessingWebPage) UXExperimentalTerms.kif 4073-4073 The number 2 argument of qualified page view is an instance of accessing web page

antecedent
-------------------------


(=>
    (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 X is the list of items viewed by Y, Z is an instance of accessing web page, and equal the first of X and Z, then there doesn't exist W such that W is an instance of accessing web page, Y is an agent of W, and the time of existence of W happens earlier than the time of existence of Z
(=>
    (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 All of the following hold: (1) X is the list of items viewed by Y (2) Z is an instance of accessing web page (3) W is an instance of accessing web page (4) Y is an agent of Z (5) Y is an agent of W (6) V is an instance of positive integer (7) U is an instance of positive integer (8) equal T element of X and Z (9) equal S element of X and W (10) V is greater than U, then the time of existence of W happens earlier than the time of existence of Z
(=>
    (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 All of the following hold: (1) X is an instance of ?PROCESS_CLASS (2) ?PROCESS_CLASS is a subclass of process (3) Y is an instance of accessing web page (4) Z is an instance of agent (5) Z is an agent of X (6) Z is an agent of Y (7) X takes place during Y (8) W is an instance of timeframe (9) there doesn't exist V such that V is an instance of ?PROCESS_CLASS, Z is an agent of V, V takes place during Y, and the beginning of the time of existence of V happens before the beginning of the time of existence of X (10) equal the beginning of the time of existence of Y and the beginning of the time of existence of W (11) equal the beginning of the time of existence of X and the end of the time of existence of W, then equal the time of Y in the class ?PROCESS_CLASS and W
(=>
    (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 All of the following hold: (1) X is an instance of view item request (2) Y is an instance of accessing web page (3) Z is an instance of next generation view item (4) W is an instance of agent (5) V is an instance of advertising (6) Y is a subprocess of X (7) Z is a component of V (8) Y ends up at Z (9) W is an agent of Y, then W viewed V
(=>
    (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 X is an instance of collection, Y is an instance of hyperlink, and For all Physical Z: Z is a member of W and Z is an instance of accessing web page and W is a component of Y, then there exists V such that V is an instance of collection, U U is an instance of requesting hyperlink, Y is a patient of UU is a member of V, equal the rate of clicking through Y in X, the number of instances in V, and the number of instances in X
(=>
    (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 X is an instance of collection, Y is an instance of collection, Y is a proper sub-collection of X, For all Physical Z: if Z is a member of X, then Z is an instance of accessing web page, and For all Processes W, U, and W, AutonomousAgent V, and Object T: if All of the following hold: (1) V is an instance of human (2) W is an instance of buying (3) U is an instance of accessing web page (4) T is an instance of web page (5) U is a member of X (6) U ends up at T (7) V is an agent of W (8) V is an agent of U (9) the time of existence of W takes place during the time of existence of U (10) T is an instrument for W, then W is a member of Y, then there exist S, ?PURCHASE_IN_INTERVAL, ?VISIT_IN_INTERVAL such that equal purchases made in X during S, the number of instances in the class described by ?PURCHASE_IN_INTERVAL, and the number of instances in the class described by ?VISIT_IN_INTERVAL
(=>
    (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 All of the following hold: (1) X is an instance of accessing web page (2) Y is an instance of web page (3) Z is an instance of data transfer (4) W is an instance of server (5) V is an instance of requesting (6) U is an instance of web browser (7) T is an instance of timeframe (8) Y is a patient of X (9) U is an agent of V (10) V ends up at W (11) Y is a patient of V (12) Z originates at W (13) Z ends up at U (14) Y is a patient of Z (15) Z is a subprocess of X (16) V is a subprocess of X (17) equal the end of the time of existence of V and the beginning of T (18) equal the end of the time of existence of Z and the end of T, then equal the time to access in X and T
(=>
    (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 X is an instance of human, Y is an instance of collection, and For all WebPage Z, Process W, and Experimenting V: if W is an instance of accessing web page, X is an agent of W, Z is a patient of W, and Z is the object of study of V, then W is a member of Y, then equal Y and all the treated web page views from X

consequent
-------------------------


(=>
    (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 X is a visitor to Y, then there exist Z, W such that Z is an instance of accessing web page, W is an instance of web page, W is a component of Y, X is an agent of Z, and W is a patient of Z
(=>
    (follows ?USER1 ?USER2)
    (exists (?POST ?SEE)
        (and
            (instance ?POST DigitalPost)
            (creator ?USER2 ?POST)
            (instance ?SEE AccessingWebPage)
            (agent ?SEE ?USER1)
            (patient ?SEE ?POST))))		 Facebook.kif 73-81 If X folows Y., then there exist Z, W such that Z is an instance of digital post, Y created Z, W is an instance of accessing web page, X is an agent of W, and Z is a patient of W
(=>
    (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 X is the ID of Y when accessing Z, then All of the following hold: (1) there exist W, V,, , U (2) T such that W is an instance of web page (3) W is a sub-string of Z (4) V is an instance of accessing web page (5) U is an instance of agent (6) U is an agent of V (7) Y is a program running of T (8) T causes V (9) V ends up at W (10) X expresses U
(=>
    (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 X is the list of items viewed by Y and Z is a member of X, then Z is an instance of accessing web page, Y is an agent of Z, and there exists W such that W is an instance of web page and Z ends up at web page
(=>
    (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 X is the list of items viewed by Y, Z is an instance of accessing web page, and equal the first of X and Z, then there doesn't exist W such that W is an instance of accessing web page, Y is an agent of W, and the time of existence of W happens earlier than the time of existence of Z
(=>
    (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 X is a visitor to Y, then there exist Z, W such that Z is an instance of accessing web page, W is an instance of web page, W is a patient of Z, W is a component of Y, and X is an agent of Z
(=>
    (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 X viewed Y, then there exist Z, W such that Z is an instance of web page, W is an instance of accessing web page, Y is a component of Z, X is an agent of W, and W ends up at Z
(=>
    (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 X is an instance of view item request, then All of the following hold: (1) there exist Y, Z (2) W such that Y is an instance of requesting hyperlink (3) W is an instance of next generation view item (4) Z is an instance of accessing web page (5) Y causes Z (6) Z ends up at W (7) Y is a subprocess of X
(=>
    (instance ?BROWSER WebBrowser)
    (hasPurpose ?BROWSER
        (exists (?ACCESSING)
            (and
                (instance ?ACCESSING AccessingWebPage)
                (instrument ?ACCESSING ?BROWSER)))))		 UXExperimentalTerms.kif 2104-2110 If X is an instance of web browser, then X has the purpose there exists Y such that Y is an instance of accessing web page and X is an instrument for Y
(=>
    (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 X is the user database for Y, then All of the following hold: (1) there exist Z (2) W such that W is an instance of collection (3) Z is a part of X (4) Z expresses W (5) V V is a member of WV is an instance of agent (6) there exist U (7) T such that U is an instance of accessing web page (8) T is an instance of web page (9) page is a patient of U (10) agent is an agent of U (11) T is a component of Y
(=>
    (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 X is an instance of experimenting and Y is an instance of timeframe, then equal the number of instances in the class described by Z, the number of instances in the class described by W, and purchases per user in X
(=>
    (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 X is an instance of experimenting and Y is an instance of timeframe, then equal the number of instances in the class described by Z, the number of instances in the class described by W, and purchases per user in X during Y
(=>
    (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 X is the object of study of Y, then there exist Z, W, V such that Z is a member of events in Y, W is an instance of human, V is an instance of accessing web page, W is an agent of V, and V ends up at XZ experiences W


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