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 は NetworkCommunication の subclass では

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


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

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


(domain SiteSpeedFn 1 AccessingWebPage) UXExperimentalTerms.kif 3747-3747 SiteSpeedFn の数値 1 引数は AccessingWebPage の instance では
(domain TTFxFn 2 AccessingWebPage) UXExperimentalTerms.kif 1492-1492 TTFxFn の数値 2 引数は AccessingWebPage の instance では
(domain qualifiedPageView 2 AccessingWebPage) UXExperimentalTerms.kif 4074-4074 qualifiedPageView の数値 2 引数は AccessingWebPage の instance では

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 ?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
(=>
    (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
(=>
    (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 ?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 3333-3356
(=>
    (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
        (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
(=>
    (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

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 2956-2964
(=>
    (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


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