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

Formal Language: 



KB Term:  Term intersection
English Word: 

  WebPage

Sigma KEE - WebPage
WebPageweb_page, webpage

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


s__documentation(s__WebPage,s__EnglishLanguage,'"An instance of WebPage is a chunk of DigitalData typically displayed (metaphorically) as one page by a web browser. Note that a WebPage might be dynamically generated, might include data assembled from many different files or storage media (e.g., databases), and so might not exist as a unitary ComputerFile."')

Media.kif 1479-1485
s__instance(s__DigitalData,s__SetOrClass)

s__subclass(s__WebPage,s__DigitalData)

s__instance(s__WebPage,s__SetOrClass)

Media.kif 1486-1486 WebPage is a subclass of digital data

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


s__instance(s__ProductDescriptionPage,s__SetOrClass)

s__instance(s__WebPage,s__SetOrClass)

s__subclass(s__ProductDescriptionPage,s__WebPage)

UXExperimentalTerms.kif 2236-2236 Product description page is a subclass of WebPage
s__instance(s__SearchResultsPage,s__SetOrClass)

s__instance(s__WebPage,s__SetOrClass)

s__subclass(s__SearchResultsPage,s__WebPage)

UXExperimentalTerms.kif 2733-2733 Search results page is a subclass of WebPage
s__instance(s__ViewItemPage,s__SetOrClass)

s__instance(s__WebPage,s__SetOrClass)

s__subclass(s__ViewItemPage,s__WebPage)

UXExperimentalTerms.kif 2267-2267 Next generation view item is a subclass of WebPage

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


s__domain(s__homePage__m,n__1,s__WebPage)

UXExperimentalTerms.kif 2175-2175 The number 1 argument of homepage is an instance of WebPage
s__domain(s__treatedPage__m,n__1,s__WebPage)

UXExperimentalTerms.kif 4319-4319 The number 1 argument of treated page is an instance of WebPage
s__domain(s__webPageURL__m,n__1,s__WebPage)

ComputingBrands.kif 4364-4364 The number 1 argument of url is an instance of WebPage

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__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
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3876-3911
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 4359-4364

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


( ! [V__RESULTS,V__ITEM] :
   (((s__inList(V__ITEM,V__RESULTS)
       &
       s__instance(V__RESULTS,s__SRPResults))
     =>
     ((s__instance(V__ITEM,s__WebListing) |
         s__instance(V__ITEM,s__WebPage))))
   )
)

UXExperimentalTerms.kif 2693-2699
( ! [V__SEO,V__PAGE] :
   (((s__instance(V__SEO,s__SEO) &
         s__patient(V__SEO,V__PAGE))
     =>
     (s__instance(V__PAGE,s__WebPage)))
   )
)

UXExperimentalTerms.kif 2592-2596
( ! [V__PAGE,V__STORE] :
   ((s__instance(V__PAGE,s__Physical) =>
       (((s__instance(V__STORE,s__WebStore) &
             s__member(V__PAGE,V__STORE))
         =>
         (s__instance(V__PAGE,s__WebPage)))))
   )
)

UXExperimentalTerms.kif 2350-2354
( ! [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__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
( ! [V__SITE,V__LISTING] :
   (((s__instance(V__SITE,s__WebSite) &
         s__instance(V__LISTING,s__WebListing) &
         s__instance(V__LISTING,s__CorpuscularObject))
       =>
       ((s__hostedOn(V__LISTING,V__SITE)
         =>
         (( ? [V__PAGE] :
             ((s__instance(V__PAGE,s__WebPage) &
                 s__component(V__LISTING,V__PAGE)
               &
               s__component(V__PAGE,V__SITE))))))))
)
)

UXExperimentalTerms.kif 157-163
( ! [V__ACT] :
   ((s__instance(V__ACT,s__DownloadingOverNetwork) =>
       (( ? [V__FILE] :
           ((s__patient(V__ACT,V__FILE)
             &
             s__instance(V__FILE,s__WebPage))))))
   )
)

ComputerInput.kif 2695-2700
( ! [V__MODULE] :
   ((s__instance(V__MODULE,s__WebPageModule) =>
       (( ? [V__PAGE] :
           ((s__instance(V__PAGE,s__WebPage) &
               s__component(V__MODULE,V__PAGE))))))
   )
)

UXExperimentalTerms.kif 2198-2203
( ! [V__SITE] :
   ((s__instance(V__SITE,s__WebSite) =>
       (( ? [V__PAGE] :
           ((s__instance(V__PAGE,s__WebPage) &
               s__component(V__PAGE,V__SITE))))))
   )
)

Media.kif 1498-1503
( ! [V__ACCESSING,V__EXPERIMENT] :
   (((s__instance(V__ACCESSING,s__AccessingWebPage) &
         s__instance(V__EXPERIMENT,s__WebPage) &
         s__instance(V__EXPERIMENT,s__Experimenting))
       =>
       ((s__qualifiedPageView(V__EXPERIMENT,V__ACCESSING)
         =>
         (( ? [V__PAGE] :
             ((s__instance(V__PAGE,s__WebPage) &
                 s__patient(V__ACCESSING,V__PAGE)
               &
               s__treatedPage(V__EXPERIMENT,V__PAGE))))))))
)
)

UXExperimentalTerms.kif 4285-4291
( ! [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__STORE,V__ADVERT] :
   (((s__instance(V__STORE,s__WebStore) &
         s__instance(V__ADVERT,s__Advertising) &
         s__instance(V__ADVERT,s__CorpuscularObject))
       =>
       ((s__webStoreAdvertisement(V__ADVERT,V__STORE)
         =>
         (( ? [V__ITEM, V__PAGE] :
             ((s__refers(V__ADVERT,V__ITEM)
               &
               s__component(V__ADVERT,V__PAGE)
             &
             s__instance(V__PAGE,s__WebPage) &
             s__member(V__PAGE,V__STORE))))))))
)
)

UXExperimentalTerms.kif 546-553
( ! [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