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
-------------------------


s__documentation(s__AccessingWebPage,s__EnglishLanguage,'"AccessWebPage consists accessing a WebPage across a ComputerNetwork."')

ComputerInput.kif 2692-2693
s__instance(s__AccessingWebPage,s__SetOrClass)

s__subclass(s__AccessingWebPage,s__NetworkCommunication)

s__instance(s__NetworkCommunication,s__SetOrClass)

ComputerInput.kif 2691-2691 AccessingWebPage is a subclass of NetworkCommunication

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


s__domain(s__SiteSpeedFn__m,n__1,s__AccessingWebPage)

UXExperimentalTerms.kif 3954-3954 The number 1 argument of site speed is an instance of AccessingWebPage
s__domain(s__TTFxFn__m,n__2,s__AccessingWebPage)

UXExperimentalTerms.kif 1699-1699 The number 2 argument of TTFx is an instance of AccessingWebPage
s__domain(s__qualifiedPageView__m,n__2,s__AccessingWebPage)

UXExperimentalTerms.kif 4280-4280 The number 2 argument of qualifiedPageView is an instance of AccessingWebPage

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


( ! [V__PAGE,V__ACCESSING,V__INTERVAL,V__REQUESTING,V__BROWSER,V__TRANSFER,V__SERVER] :
   (((s__instance(V__ACCESSING,s__AccessingWebPage) &
         s__instance(V__PAGE,s__WebPage) &
         s__instance(V__TRANSFER,s__DataTransfer) &
         s__instance(V__SERVER,s__Server) &
         s__instance(V__REQUESTING,s__Requesting) &
         s__instance(V__BROWSER,s__WebBrowser) &
         s__instance(V__INTERVAL,s__TimeInterval) &
         s__patient(V__ACCESSING,V__PAGE)
       &
       s__agent(V__REQUESTING,V__BROWSER)
     &
     s__destination(V__REQUESTING,V__SERVER)
   &
   s__patient(V__REQUESTING,V__PAGE)
&
s__origin(V__TRANSFER,V__SERVER)
&
s__destination(V__TRANSFER,V__BROWSER)
&
s__patient(V__TRANSFER,V__PAGE)
&
s__subProcess(V__TRANSFER,V__ACCESSING)
&
s__subProcess(V__REQUESTING,V__ACCESSING)
&
(s__EndFn(s__WhenFn(V__REQUESTING))
= s__BeginFn(V__INTERVAL))
&
(s__EndFn(s__WhenFn(V__TRANSFER))
= s__EndFn(V__INTERVAL)))
=>
((s__SiteSpeedFn(V__ACCESSING)
= V__INTERVAL)))
)
)

UXExperimentalTerms.kif 3966-3991
( ! [V__AGENT,V__PROCESS,V__ACCESSING,V__TIMETOFIRST,V__PROCESS_CLASS] :
   (((s__instance(V__PROCESS,s__TimeInterval) &
         s__instance(V__PROCESS,s__Process) &
         s__instance(V__PROCESS_CLASS,s__Class))
       =>
       (((s__instance(V__PROCESS,V__PROCESS_CLASS)
           &
           s__subclass(V__PROCESS_CLASS,s__Process) &
           s__instance(V__ACCESSING,s__AccessingWebPage) &
           s__instance(V__AGENT,s__Agent) &
           s__agent(V__PROCESS,V__AGENT)
         &
         s__agent(V__ACCESSING,V__AGENT)
       &
       s__during(V__PROCESS,V__ACCESSING)
     &
     s__instance(V__TIMETOFIRST,s__TimeInterval) &
     ~(( ? [V__PROCESS2] :
         ((s__instance(V__PROCESS2,s__TimeInterval) &
             s__instance(V__PROCESS2,s__Process) &
             (s__instance(V__PROCESS2,V__PROCESS_CLASS)
             &
             s__agent(V__PROCESS2,V__AGENT)
           &
           s__during(V__PROCESS2,V__ACCESSING)
         &
         s__before(s__BeginFn(s__WhenFn(V__PROCESS2))
    ,s__BeginFn(s__WhenFn(V__PROCESS))))))))
&
(s__BeginFn(s__WhenFn(V__ACCESSING))
= s__BeginFn(s__WhenFn(V__TIMETOFIRST)))
&
(s__BeginFn(s__WhenFn(V__PROCESS))
= s__EndFn(s__WhenFn(V__TIMETOFIRST))))
=>
((s__TTFxFn(V__PROCESS_CLASS,V__ACCESSING)
= V__TIMETOFIRST)))))
)
)

UXExperimentalTerms.kif 1703-1725
( ! [V__AGENT,V__PAGE,V__REQUEST,V__ACCESSING,V__LISTING] :
   (((s__instance(V__REQUEST,s__ViewItemRequest) &
         s__instance(V__ACCESSING,s__AccessingWebPage) &
         s__instance(V__PAGE,s__ViewItemPage) &
         s__instance(V__AGENT,s__Agent) &
         s__instance(V__LISTING,s__Advertising) &
         s__subProcess(V__ACCESSING,V__REQUEST)
       &
       s__component(V__PAGE,V__LISTING)
     &
     s__destination(V__ACCESSING,V__PAGE)
   &
   s__agent(V__ACCESSING,V__AGENT))
=>
(s__viewedListing(V__AGENT,V__LISTING)))
)
)

UXExperimentalTerms.kif 1777-1788
( ! [V__QPVIEWS,V__VISITOR] :
   (((s__instance(V__VISITOR,s__Human) &
         s__instance(V__QPVIEWS,s__Collection) &
         ( ! [V__PAGE, V__ACCESSING, V__EXPERIMENT] :
           (((s__instance(V__PAGE,s__WebPage) &
                 s__instance(V__ACCESSING,s__AccessingWebPage) &
                 s__instance(V__EXPERIMENT,s__Experimenting) &
                 s__agent(V__ACCESSING,V__VISITOR)
               &
               s__patient(V__ACCESSING,V__PAGE)
             &
             s__treatedPage(V__PAGE,V__EXPERIMENT))
         =>
         (s__member(V__ACCESSING,V__QPVIEWS))))))
=>
((V__QPVIEWS = s__QPViewsFn(V__VISITOR))))
)
)

UXExperimentalTerms.kif 4382-4397
( ! [V__PAGE,V__VISITS,V__HYPERLINK] :
   (((s__instance(V__PAGE,s__Collection) &
         s__instance(V__PAGE,s__CorpuscularObject))
       =>
       (((s__instance(V__VISITS,s__Collection) &
             s__instance(V__HYPERLINK,s__HypertextLink) &
             ( ! [V__ACCESSING] :
               ((s__member(V__ACCESSING,V__PAGE)
                 &
                 (s__instance(V__ACCESSING,s__AccessingWebPage) &
                   s__component(V__PAGE,V__HYPERLINK))))))
       =>
       (( ? [V__CLICKS] :
           ((s__instance(V__CLICKS,s__Collection) &
               ( ! [V__CLICK] :
                 (((s__instance(V__CLICK,s__RequestingHyperlink) &
                       s__patient(V__CLICK,V__HYPERLINK))
                   =>
                   (s__member(V__CLICK,V__CLICKS)))))
           &
           (s__ClickThroughRateFn(V__VISITS,V__HYPERLINK)
           = s__DivisionFn(s__CardinalityFn(V__CLICKS)
        ,s__CardinalityFn(V__VISITS))))))))))
)
)

UXExperimentalTerms.kif 3541-3564
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3876-3911
( ! [V__USER,V__ACCESSING,V__LIST] :
   (((s__instance(V__USER,s__Agent) &
         s__instance(V__LIST,s__List))
       =>
       (((s__viewedItemList(V__USER,V__LIST)
           &
           s__instance(V__ACCESSING,s__AccessingWebPage) &
           (s__FirstFn(V__LIST)
           = V__ACCESSING))
       =>
       (~(( ? [V__ACCESSING2] :
             ((s__instance(V__ACCESSING2,s__AccessingWebPage) &
                 s__agent(V__ACCESSING2,V__USER)
               &
               s__earlier(s__WhenFn(V__ACCESSING2)
            ,s__WhenFn(V__ACCESSING))))))))))
)
)

UXExperimentalTerms.kif 973-987
( ! [V__USER,V__LIST,V__ACCESSING2,V__INDEX2,V__ACCESSING1,V__INDEX1] :
   (((s__instance(V__USER,s__Agent) &
         s__instance(V__LIST,s__List))
       =>
       (((s__viewedItemList(V__USER,V__LIST)
           &
           s__instance(V__ACCESSING1,s__AccessingWebPage) &
           s__instance(V__ACCESSING2,s__AccessingWebPage) &
           s__agent(V__ACCESSING1,V__USER)
         &
         s__agent(V__ACCESSING2,V__USER)
       &
       s__instance(V__INDEX1,s__PositiveInteger) &
       s__instance(V__INDEX2,s__PositiveInteger) &
       (s__ListOrderFn(V__LIST,V__INDEX1)
       = V__ACCESSING1)
     &
     (s__ListOrderFn(V__LIST,V__INDEX2)
     = V__ACCESSING2)
   &
   s__greaterThan(V__INDEX1,V__INDEX2))
=>
(s__earlier(s__WhenFn(V__ACCESSING2)
,s__WhenFn(V__ACCESSING1))))))
)
)

UXExperimentalTerms.kif 989-1007

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


No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3302-3321
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3263-3280
( ! [V__USER,V__ACCESSING,V__LIST] :
   (((s__instance(V__USER,s__Agent) &
         s__instance(V__ACCESSING,s__Process) &
         s__instance(V__LIST,s__List))
       =>
       (((s__viewedItemList(V__USER,V__LIST)
           &
           s__inList(V__ACCESSING,V__LIST))
       =>
       ((s__instance(V__ACCESSING,s__AccessingWebPage) &
           s__agent(V__ACCESSING,V__USER)
         &
         ( ? [V__DEST] :
           ((s__instance(V__DEST,s__WebPage) &
               s__destination(V__ACCESSING,s__WebPage)))))))))
)
)

UXExperimentalTerms.kif 961-971
( ! [V__USER,V__ACCESSING,V__LIST] :
   (((s__instance(V__USER,s__Agent) &
         s__instance(V__LIST,s__List))
       =>
       (((s__viewedItemList(V__USER,V__LIST)
           &
           s__instance(V__ACCESSING,s__AccessingWebPage) &
           (s__FirstFn(V__LIST)
           = V__ACCESSING))
       =>
       (~(( ? [V__ACCESSING2] :
             ((s__instance(V__ACCESSING2,s__AccessingWebPage) &
                 s__agent(V__ACCESSING2,V__USER)
               &
               s__earlier(s__WhenFn(V__ACCESSING2)
            ,s__WhenFn(V__ACCESSING))))))))))
)
)

UXExperimentalTerms.kif 973-987
( ! [V__STRING,V__SITE,V__BROWSER] :
   (((s__instance(V__STRING,s__Identifier) &
         s__instance(V__SITE,s__WebSite) &
         s__instance(V__BROWSER,s__WebBrowser) &
         s__instance(V__BROWSER,s__Object))
       =>
       ((s__browserID(V__STRING,V__BROWSER,V__SITE)
         =>
         (( ? [V__WEBPAGE, V__ACCESSING, V__AGENT] :
             ((s__instance(V__WEBPAGE,s__WebPage) &
                 s__component(V__WEBPAGE,V__SITE)
               &
               s__instance(V__ACCESSING,s__AccessingWebPage) &
               s__instance(V__AGENT,s__Agent) &
               s__agent(V__ACCESSING,V__AGENT)
             &
             s__instrument(V__ACCESSING,V__BROWSER)
           &
           s__destination(V__ACCESSING,V__WEBPAGE)
         &
         s__represents(V__STRING,V__AGENT))))))))
)
)

UXExperimentalTerms.kif 921-932
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 2313-2319
( ! [V__REQUEST] :
   ((s__instance(V__REQUEST,s__ViewItemRequest) =>
       (( ? [V__CLICK, V__ACCESSING, V__PAGE] :
           ((s__instance(V__CLICK,s__RequestingHyperlink) &
               s__instance(V__PAGE,s__ViewItemPage) &
               s__instance(V__ACCESSING,s__AccessingWebPage) &
               s__causes(V__CLICK,V__ACCESSING)
             &
             s__destination(V__ACCESSING,V__PAGE)
           &
           s__subProcess(V__CLICK,V__REQUEST))))))
)
)

UXExperimentalTerms.kif 1766-1775
( ! [V__ACCESSING,V__EXPERIMENT,V__VISITOR,V__WEBPAGE] :
   (((s__instance(V__ACCESSING,s__Process) &
         s__instance(V__EXPERIMENT,s__Experimenting) &
         s__instance(V__VISITOR,s__Agent) &
         s__instance(V__VISITOR,s__Process) &
         s__instance(V__WEBPAGE,s__WebPage))
       =>
       ((s__treatedPage(V__WEBPAGE,V__EXPERIMENT)
         =>
         (( ? [V__EVENT] :
             ((s__instance(V__EVENT,s__Agent) &
                 (s__member(V__EVENT,s__QualifyingEventsFn(V__EXPERIMENT))
               &
               ((s__instance(V__VISITOR,s__Human) &
                   s__instance(V__ACCESSING,s__AccessingWebPage) &
                   s__agent(V__ACCESSING,V__VISITOR)
                 &
                 s__destination(V__ACCESSING,V__WEBPAGE))
             =>
             (s__experiencer(V__VISITOR,V__EVENT)))))))))))
)
)

UXExperimentalTerms.kif 4332-4343
( ! [V__WEBSITE,V__DATABASE,V__USERS] :
   (((s__instance(V__WEBSITE,s__WebSite) &
         s__instance(V__DATABASE,s__Database) &
         s__instance(V__USERS,s__Collection))
       =>
       ((s__userDatabase(V__DATABASE,V__WEBSITE)
         =>
         (( ? [V__PART] :
             ((s__instance(V__PART,s__Object) &
                 (s__instance(V__USERS,s__Collection) &
                   s__part(V__PART,V__DATABASE)
                 &
                 s__represents(V__PART,V__USERS)
               &
               ( ! [V__MEMBER] :
                 ((s__member(V__MEMBER,V__USERS)
                   =>
                   ((s__instance(V__MEMBER,s__Agent) &
                       ( ? [V__ACCESSING, V__PAGE] :
                         ((s__instance(V__ACCESSING,s__AccessingWebPage) &
                             s__instance(V__PAGE,s__WebPage) &
                             s__patient(V__ACCESSING,s__Page) &
                             s__agent(V__ACCESSING,s__Agent) &
                             s__component(V__PAGE,V__WEBSITE)))))))))))))))))
)
)

UXExperimentalTerms.kif 2382-2400
( ! [V__AGENT,V__LISTING] :
   (((s__instance(V__AGENT,s__Agent) &
         s__instance(V__LISTING,s__WebListing) &
         s__instance(V__LISTING,s__CorpuscularObject))
       =>
       ((s__viewedListing(V__AGENT,V__LISTING)
         =>
         (( ? [V__PAGE, V__ACCESSING] :
             ((s__instance(V__PAGE,s__WebPage) &
                 s__instance(V__ACCESSING,s__AccessingWebPage) &
                 s__component(V__LISTING,V__PAGE)
               &
               s__agent(V__ACCESSING,V__AGENT)
             &
             s__destination(V__ACCESSING,V__PAGE))))))))
)
)

UXExperimentalTerms.kif 1743-1751
( ! [V__A,V__WS] :
   (((s__instance(V__A,s__Agent) &
         s__instance(V__WS,s__WebSite))
       =>
       ((s__webVisitor(V__A,V__WS)
         =>
         (( ? [V__AWS, V__WP] :
             ((s__instance(V__AWS,s__AccessingWebPage) &
                 s__instance(V__WP,s__WebPage) &
                 s__component(V__WP,V__WS)
               &
               s__agent(V__AWS,V__A)
             &
             s__patient(V__AWS,V__WP))))))))
)
)

ComputerInput.kif 2936-2944
( ! [V__VISITOR,V__SITE] :
   (((s__instance(V__VISITOR,s__Agent) &
         s__instance(V__SITE,s__WebSite))
       =>
       ((s__webVisitor(V__VISITOR,V__SITE)
         =>
         (( ? [V__ACCESSING, V__PAGE] :
             ((s__instance(V__ACCESSING,s__AccessingWebPage) &
                 s__instance(V__PAGE,s__WebPage) &
                 s__patient(V__ACCESSING,V__PAGE)
               &
               s__component(V__PAGE,V__SITE)
             &
             s__agent(V__ACCESSING,V__VISITOR))))))))
)
)

UXExperimentalTerms.kif 1415-1423


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