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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - WebSite
WebSiteinternet_site, portal, portal_site, site, web_site, website

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


s__documentation(s__WebSite,s__EnglishLanguage,'"An instance of WebSite is a body of ComputerData that can be accessed at a specific virtual location identified by a UniformResourceLocator and rendered as WebPages by a web browser."')

Media.kif 1492-1496
s__instance(s__DigitalData,s__SetOrClass)

s__subclass(s__WebSite,s__DigitalData)

s__instance(s__WebSite,s__SetOrClass)

Media.kif 1497-1497 WebSite is a subclass of digital data

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


s__instance(s__IBookstore,s__WebSite)

s__instance(s__WebSite,s__SetOrClass)

ComputingBrands.kif 3269-3269 IBookstore is an instance of WebSite
s__instance(s__Blog,s__SetOrClass)

s__subclass(s__Blog,s__WebSite)

s__instance(s__WebSite,s__SetOrClass)

ComputerInput.kif 2838-2838 Blog is a subclass of WebSite
s__instance(s__Wiki,s__SetOrClass)

s__subclass(s__Wiki,s__WebSite)

s__instance(s__WebSite,s__SetOrClass)

ComputerInput.kif 2842-2842 Wiki is a subclass of WebSite

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


s__domain(s__SellersItemsFn__m,n__2,s__WebSite)

UXExperimentalTerms.kif 1180-1180 The number 2 argument of sellers items is an instance of WebSite
s__domain(s__SellersOtherItemsFn__m,n__2,s__WebSite)

UXExperimentalTerms.kif 1215-1215 The number 2 argument of sellers other items is an instance of WebSite
s__domain(s__SiteWideNewBuyersFn__m,n__2,s__WebSite)

UXExperimentalTerms.kif 3574-3574 The number 2 argument of new buyers is an instance of WebSite
s__domain(s__SiteWideNewRegistrationsFn__m,n__2,s__WebSite)

UXExperimentalTerms.kif 3626-3626 The number 2 argument of site-wide new registrations is an instance of WebSite
s__domain(s__SiteWideNewSellersFn__m,n__2,s__WebSite)

UXExperimentalTerms.kif 3673-3673 The number 2 argument of site-wide new sellers is an instance of WebSite
s__domain(s__accountAtSite__m,n__2,s__WebSite)

UXExperimentalTerms.kif 778-778 The number 2 argument of account at site is an instance of WebSite
s__domain(s__advertisedOn__m,n__2,s__WebSite)

UXExperimentalTerms.kif 240-240 The number 2 argument of advertised on is an instance of WebSite
s__domain(s__browserID__m,n__3,s__WebSite)

UXExperimentalTerms.kif 919-919 The number 3 argument of browser identifier string is an instance of WebSite
s__domain(s__categoryOf__m,n__2,s__WebSite)

UXExperimentalTerms.kif 225-225 The number 2 argument of category of is an instance of WebSite
s__domain(s__confirmedRegisteredUser__m,n__2,s__WebSite)

UXExperimentalTerms.kif 1092-1092 The number 2 argument of confirmed registed user is an instance of WebSite
s__domain(s__eCommerceSite__m,n__2,s__WebSite)

UXExperimentalTerms.kif 1915-1915 The number 2 argument of eCommerceSite is an instance of WebSite
s__domain(s__firstTimeBuyers__m,n__2,s__WebSite)

UXExperimentalTerms.kif 3725-3725 The number 2 argument of first time buyers is an instance of WebSite
s__domain(s__firstTimeSellers__m,n__2,s__WebSite)

UXExperimentalTerms.kif 3773-3773 The number 2 argument of first time buyers is an instance of WebSite
s__domain(s__homePage__m,n__2,s__WebSite)

UXExperimentalTerms.kif 2177-2177 The number 2 argument of homepage is an instance of WebSite
s__domain(s__hostedOn__m,n__2,s__WebSite)

UXExperimentalTerms.kif 150-150 The number 2 argument of hosted on is an instance of WebSite
s__domain(s__newRegisteredUsers__m,n__2,s__WebSite)

UXExperimentalTerms.kif 3821-3821 The number 2 argument of new registered users is an instance of WebSite
s__domain(s__prohibitedItem__m,n__2,s__WebSite)

UXExperimentalTerms.kif 491-491 The number 2 argument of prohibited item is an instance of WebSite
s__domain(s__registeredUser__m,n__2,s__WebSite)

UXExperimentalTerms.kif 1053-1053 The number 2 argument of registered user is an instance of WebSite
s__domain(s__siteCatalog__m,n__2,s__WebSite)

UXExperimentalTerms.kif 2442-2442 The number 2 argument of site catalog is an instance of WebSite
s__domain(s__underageUser__m,n__2,s__WebSite)

UXExperimentalTerms.kif 1266-1266 The number 2 argument of underageUser is an instance of WebSite
s__domain(s__userDatabase__m,n__2,s__WebSite)

UXExperimentalTerms.kif 2373-2373 The number 2 argument of user database is an instance of WebSite
s__domain(s__visitorParameter__m,n__3,s__WebSite)

UXExperimentalTerms.kif 1362-1362 The number 3 argument of visitor profile parameter is an instance of WebSite
s__domain(s__watchingListings__m,n__3,s__WebSite)

UXExperimentalTerms.kif 1442-1442 The number 3 argument of watching listings is an instance of WebSite
s__domain(s__webPurchases__m,n__3,s__WebSite)

UXExperimentalTerms.kif 1019-1019 The number 3 argument of web purchases is an instance of WebSite
s__domain(s__webSales__m,n__3,s__WebSite)

UXExperimentalTerms.kif 1114-1114 The number 3 argument of web sales is an instance of WebSite

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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


( ! [V__AGENT,V__SITE] :
   (((s__instance(V__AGENT,s__Agent) &
         s__instance(V__SITE,s__WebSite))
       =>
       (( ? [V__COLL] :
           ((s__instance(V__COLL,s__Collection) &
               ( ! [V__LISTING] :
                 (((s__instance(V__LISTING,s__WebListing) &
                       s__hostedOn(V__LISTING,V__SITE)
                     &
                     s__listingSeller(V__LISTING,V__AGENT))
                 =>
                 (s__member(V__LISTING,V__COLL)))))
         &
         (s__SellersItemsFn(V__AGENT,V__SITE)
         = V__COLL))))))
)
)

UXExperimentalTerms.kif 1189-1205
( ! [V__AGENT,V__TIME,V__SITE,V__LISTING,V__COLL] :
   (((s__instance(V__COLL,s__Collection) &
         s__instance(V__SITE,s__WebSite) &
         s__instance(V__AGENT,s__Agent) &
         s__instance(V__LISTING,s__WebListing) &
         s__instance(V__TIME,s__TimePoint) &
         s__listingSeller(V__LISTING,V__AGENT)
       &
       ~(s__member(V__LISTING,V__COLL))
     &
     ( ! [V__ITEM, V__MEMBER] :
       ((((s__instance(V__ITEM,s__WebListing) &
               s__member(V__ITEM,s__SellersItemsFn(V__AGENT,V__SITE))
           &
           s__temporalPart(V__TIME,s__WhenFn(V__ITEM))
       &
       ~((V__ITEM = V__LISTING)))
     =>
     (s__member(V__ITEM,V__COLL)))
&
(s__member(V__MEMBER,V__COLL)
=>
((s__temporalPart(V__TIME,s__WhenFn(V__ITEM))
&
s__instance(V__MEMBER,s__WebListing))))))))
=>
((s__SellersOtherItemsFn(V__AGENT,V__SITE,V__LISTING,V__TIME)
= V__COLL)))
)
)

UXExperimentalTerms.kif 1230-1257
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3584-3616
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3636-3663
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3683-3715
( ! [V__AGENT,V__SITE,V__LISTING] :
   ((s__instance(V__AGENT,s__Human) =>
       (((s__instance(V__LISTING,s__WebListing) &
             s__instance(V__SITE,s__WebSite) &
             s__hostedOn(V__LISTING,V__SITE)
           &
           s__creator(V__LISTING,V__AGENT))
       =>
       (s__webSeller(V__AGENT,V__SITE)))))
)
)

UXExperimentalTerms.kif 44-50
( ! [V__PAGE,V__SITE] :
   (((s__instance(V__PAGE,s__ViewItemPage) &
         s__instance(V__SITE,s__WebSite) &
         s__component(V__PAGE,V__SITE))
     =>
     (( ? [V__ITEM, V__ADVERTISING] :
         ((s__instance(V__ITEM,s__Object) &
             s__instance(V__ADVERTISING,s__WebListing) &
             s__component(V__ADVERTISING,V__PAGE)
           &
           s__hostedOn(V__ADVERTISING,V__SITE)
         &
         s__patient(V__ADVERTISING,V__ITEM))))))
)
)

UXExperimentalTerms.kif 2274-2285
( ! [V__OBJECT,V__OBJ,V__SITE,V__LISTING,V__BUYER] :
   (((s__instance(V__LISTING,s__WebListing) &
         s__instance(V__BUYER,s__Agent))
       =>
       (((s__listingBuyer(V__LISTING,V__BUYER)
           &
           s__instance(V__OBJ,s__Object) &
           s__instance(V__SITE,s__WebSite) &
           s__patient(V__LISTING,V__OBJECT)
         &
         s__hostedOn(V__LISTING,V__SITE))
     =>
     (( ? [V__BUYING] :
         ((s__instance(V__BUYING,s__Buying) &
             s__patient(V__BUYING,V__OBJ)
           &
           s__eCommerceSite(V__BUYING,V__SITE)
         &
         s__agent(V__BUYING,V__BUYER))))))))
)
)

UXExperimentalTerms.kif 105-117
( ! [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

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


No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 1523-1539
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3055-3079
( ! [V__ACC2,V__ACC1,V__TRANS] :
   (((s__instance(V__ACC2,s__Object) &
         s__instance(V__ACC1,s__Object))
       =>
       (((s__instance(V__TRANS,s__FinancialTransaction) &
             s__attribute(V__TRANS,s__BusinessToBusiness))
           =>
           (( ? [V__ACCT1, V__ACCT2, V__USER1, V__USER2, V__SITE] :
               ((s__instance(V__ACCT1,s__UserAccount) &
                   s__instance(V__ACCT2,s__UserAccount) &
                   s__instance(V__USER1,s__Agent) &
                   s__instance(V__USER2,s__Agent) &
                   s__instance(V__SITE,s__WebSite) &
                   s__agent(V__TRANS,V__USER1)
                 &
                 s__destination(V__TRANS,V__USER2)
               &
               s__instrument(V__TRANS,V__SITE)
             &
             s__hasAccount(V__USER1,V__ACCT1)
           &
           s__hasAccount(V__USER2,V__ACCT2)
         &
         s__accountAtSite(V__ACCT1,V__SITE)
       &
       s__accountAtSite(V__ACCT2,V__SITE)
     &
     s__attribute(V__ACC1,s__BusinessAccount) &
     s__attribute(V__ACC2,s__BusinessAccount))))))))
)
)

UXExperimentalTerms.kif 1935-1954
( ! [V__ACCOUNT1,V__ACCOUNT2,V__TRANS] :
   (((s__instance(V__ACCOUNT1,s__Object) &
         s__instance(V__ACCOUNT2,s__Object))
       =>
       (((s__instance(V__TRANS,s__FinancialTransaction) &
             s__attribute(V__TRANS,s__BusinessToConsumer))
           =>
           (( ? [V__ACCT1, V__ACCT2, V__USER1, V__USER2, V__SITE] :
               ((s__instance(V__ACCT1,s__UserAccount) &
                   s__instance(V__ACCT2,s__UserAccount) &
                   s__instance(V__USER1,s__Agent) &
                   s__instance(V__USER2,s__Agent) &
                   s__instance(V__SITE,s__WebSite) &
                   s__agent(V__TRANS,V__USER1)
                 &
                 s__destination(V__TRANS,V__USER2)
               &
               s__instrument(V__TRANS,V__SITE)
             &
             s__hasAccount(V__USER1,V__ACCT1)
           &
           s__hasAccount(V__USER2,V__ACCT2)
         &
         s__accountAtSite(V__ACCT1,V__SITE)
       &
       s__accountAtSite(V__ACCT2,V__SITE)
     &
     s__attribute(V__ACCOUNT1,s__BusinessAccount) &
     s__attribute(V__ACCOUNT2,s__ConsumerAccount))))))))
)
)

UXExperimentalTerms.kif 1967-1986
( ! [V__ACCOUNT1,V__ACCOUNT2,V__TRANS] :
   (((s__instance(V__ACCOUNT1,s__Object) &
         s__instance(V__ACCOUNT2,s__Object))
       =>
       (((s__instance(V__TRANS,s__FinancialTransaction) &
             s__attribute(V__TRANS,s__ConsumerToConsumer))
           =>
           (( ? [V__ACCT1, V__ACCT2, V__USER1, V__USER2, V__SITE] :
               ((s__instance(V__ACCT1,s__UserAccount) &
                   s__instance(V__ACCT2,s__UserAccount) &
                   s__instance(V__USER1,s__Agent) &
                   s__instance(V__USER2,s__Agent) &
                   s__instance(V__SITE,s__WebSite) &
                   s__agent(V__TRANS,V__USER1)
                 &
                 s__destination(V__TRANS,V__USER2)
               &
               s__instrument(V__TRANS,V__SITE)
             &
             s__hasAccount(V__USER1,V__ACCT1)
           &
           s__hasAccount(V__USER2,V__ACCT2)
         &
         s__accountAtSite(V__ACCT1,V__SITE)
       &
       s__accountAtSite(V__ACCT2,V__SITE)
     &
     s__attribute(V__ACCOUNT1,s__ConsumerAccount) &
     s__attribute(V__ACCOUNT2,s__ConsumerAccount))))))))
)
)

UXExperimentalTerms.kif 1999-2018
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 1812-1828
( ! [V__CHARGE] :
   ((s__instance(V__CHARGE,s__InsertionFee) =>
       (( ? [V__SITE, V__OWNER, V__ADVERT] :
           ((s__instance(V__SITE,s__WebSite) &
               s__instance(V__OWNER,s__Agent) &
               s__instance(V__ADVERT,s__WebListing) &
               s__hostedOn(V__ADVERT,V__SITE)
             &
             s__possesses(V__OWNER,V__SITE)
           &
           s__agent(V__CHARGE,V__OWNER))))))
)
)

UXExperimentalTerms.kif 271-280
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 338-358
( ! [V__LISTING] :
   ((s__instance(V__LISTING,s__WebListing) =>
       (( ? [V__SITE] :
           ((s__instance(V__SITE,s__WebSite) &
               s__hostedOn(V__LISTING,V__SITE))))))
   )
)

UXExperimentalTerms.kif 37-42
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 1337-1348
( ! [V__STORE] :
   ((s__instance(V__STORE,s__WebStore) =>
       (( ? [V__SITE] :
           ((s__instance(V__SITE,s__WebSite) &
               s__component(V__STORE,V__SITE))))))
   )
)

UXExperimentalTerms.kif 2335-2340


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