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


(documentation WebSite 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
(subclass WebSite DigitalData) Media.kif 1497-1497 WebSite is a subclass of digital data

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


(instance EBayWebSite WebSite) ComputingBrands.kif 4640-4640 EBayWebSite is an instance of WebSite
(instance IBookstore WebSite) ComputingBrands.kif 3262-3262 IBookstore is an instance of WebSite
(subclass Blog WebSite) ComputerInput.kif 2899-2899 Blog is a subclass of WebSite
(subclass Toutiao WebSite) ComputingBrands.kif 4574-4574 Toutiao is a subclass of WebSite
(subclass Wiki WebSite) ComputerInput.kif 2903-2903 Wiki is a subclass of WebSite
(subclass YouTube WebSite) ComputingBrands.kif 4590-4590 YouTube is a subclass of WebSite

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


(domain SellersItemsFn 2 WebSite) UXExperimentalTerms.kif 1180-1180 The number 2 argument of sellers items is an instance of WebSite
(domain SellersOtherItemsFn 2 WebSite) UXExperimentalTerms.kif 1215-1215 The number 2 argument of sellers other items is an instance of WebSite
(domain SiteWideNewBuyersFn 2 WebSite) UXExperimentalTerms.kif 3574-3574 The number 2 argument of new buyers is an instance of WebSite
(domain SiteWideNewRegistrationsFn 2 WebSite) UXExperimentalTerms.kif 3626-3626 The number 2 argument of site-wide new registrations is an instance of WebSite
(domain SiteWideNewSellersFn 2 WebSite) UXExperimentalTerms.kif 3673-3673 The number 2 argument of site-wide new sellers is an instance of WebSite
(domain accountAtSite 2 WebSite) UXExperimentalTerms.kif 778-778 The number 2 argument of account at site is an instance of WebSite
(domain advertisedOn 2 WebSite) UXExperimentalTerms.kif 240-240 The number 2 argument of advertised on is an instance of WebSite
(domain browserID 3 WebSite) UXExperimentalTerms.kif 919-919 The number 3 argument of browser identifier string is an instance of WebSite
(domain categoryOf 2 WebSite) UXExperimentalTerms.kif 225-225 The number 2 argument of category of is an instance of WebSite
(domain confirmedRegisteredUser 2 WebSite) UXExperimentalTerms.kif 1092-1092 The number 2 argument of confirmed registed user is an instance of WebSite
(domain eCommerceSite 2 WebSite) UXExperimentalTerms.kif 1915-1915 The number 2 argument of eCommerceSite is an instance of WebSite
(domain firstTimeBuyers 2 WebSite) UXExperimentalTerms.kif 3725-3725 The number 2 argument of first time buyers is an instance of WebSite
(domain firstTimeSellers 2 WebSite) UXExperimentalTerms.kif 3773-3773 The number 2 argument of first time buyers is an instance of WebSite
(domain homePage 2 WebSite) UXExperimentalTerms.kif 2177-2177 The number 2 argument of homepage is an instance of WebSite
(domain hostedOn 2 WebSite) UXExperimentalTerms.kif 150-150 The number 2 argument of hosted on is an instance of WebSite
(domain newRegisteredUsers 2 WebSite) UXExperimentalTerms.kif 3821-3821 The number 2 argument of new registered users is an instance of WebSite
(domain prohibitedItem 2 WebSite) UXExperimentalTerms.kif 491-491 The number 2 argument of prohibited item is an instance of WebSite
(domain registeredUser 2 WebSite) UXExperimentalTerms.kif 1053-1053 The number 2 argument of registered user is an instance of WebSite
(domain siteCatalog 2 WebSite) UXExperimentalTerms.kif 2442-2442 The number 2 argument of site catalog is an instance of WebSite
(domain underageUser 2 WebSite) UXExperimentalTerms.kif 1266-1266 The number 2 argument of underageUser is an instance of WebSite
(domain userDatabase 2 WebSite) UXExperimentalTerms.kif 2373-2373 The number 2 argument of user database is an instance of WebSite
(domain visitorParameter 3 WebSite) UXExperimentalTerms.kif 1362-1362 The number 3 argument of visitor profile parameter is an instance of WebSite
(domain watchingListings 3 WebSite) UXExperimentalTerms.kif 1442-1442 The number 3 argument of watching listings is an instance of WebSite
(domain webPurchases 3 WebSite) UXExperimentalTerms.kif 1019-1019 The number 3 argument of web purchases is an instance of WebSite
(domain webSales 3 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
-------------------------


(=>
    (and
        (instance ?AGENT Agent)
        (instance ?SITE WebSite))
    (exists (?COLL)
        (and
            (instance ?COLL Collection)
            (forall (?LISTING)
                (=>
                    (and
                        (instance ?LISTING WebListing)
                        (hostedOn ?LISTING ?SITE)
                        (listingSeller ?LISTING ?AGENT))
                    (member ?LISTING ?COLL)))
            (equal
                (SellersItemsFn ?AGENT ?SITE) ?COLL))))
UXExperimentalTerms.kif 1189-1205
(=>
    (and
        (instance ?COLL Collection)
        (instance ?SITE WebSite)
        (instance ?AGENT Agent)
        (instance ?LISTING WebListing)
        (instance ?TIME TimePoint)
        (listingSeller ?LISTING ?AGENT)
        (not
            (member ?LISTING ?COLL))
        (forall (?ITEM ?MEMBER)
            (and
                (=>
                    (and
                        (instance ?ITEM WebListing)
                        (member ?ITEM
                            (SellersItemsFn ?AGENT ?SITE))
                        (temporalPart ?TIME
                            (WhenFn ?ITEM))
                        (not
                            (equal ?ITEM ?LISTING)))
                    (member ?ITEM ?COLL))
                (=>
                    (member ?MEMBER ?COLL)
                    (and
                        (temporalPart ?TIME
                            (WhenFn ?ITEM))
                        (instance ?MEMBER WebListing))))))
    (equal
        (SellersOtherItemsFn ?AGENT ?SITE ?LISTING ?TIME) ?COLL))
UXExperimentalTerms.kif 1230-1257
(=>
    (and
        (instance ?INTERVAL TimeInterval)
        (instance ?SITE WebSite))
    (exists (?NEWBUYERS)
        (and
            (instance ?NEWBUYERS Collection)
            (forall (?AGENT)
                (=>
                    (member ?AGENT ?NEWBUYERS)
                    (and
                        (exists (?BUYING)
                            (and
                                (instance ?AGENT Agent)
                                (instance ?BUYING Buying)
                                (agent ?BUYING ?AGENT)
                                (instrument ?BUYING ?SITE)
                                (during ?BUYING ?INTERVAL)))
                        (not
                            (exists (?INTERVAL_BEFORE)
                                (and
                                    (instance ?INTERVAL_BEFORE TimeInterval)
                                    (earlier ?INTERVAL_BEFORE ?INTERVAL)
                                    (holdsDuring ?INTERVAL_BEFORE
                                        (exists (?BUYING_BEFORE)
                                            (and
                                                (instance ?BUYING_BEFORE Buying)
                                                (agent ?BUYING_BEFORE ?AGENT)
                                                (instrument ?BUYING_BEFORE ?SITE)
                                                (during ?BUYING_BEFORE ?INTERVAL))))))))))
            (equal
                (SiteWideNewBuyersFn ?INTERVAL ?SITE) ?NEWBUYERS))))
UXExperimentalTerms.kif 3584-3616
(=>
    (and
        (instance ?INTERVAL TimeInterval)
        (instance ?SITE WebSite))
    (exists (?NEWREGISTRATIONS)
        (and
            (instance ?NEWREGISTRATIONS Collection)
            (forall (?USER)
                (=>
                    (and
                        (instance ?USER Human)
                        (not
                            (exists (?INTERVAL_BEFORE)
                                (and
                                    (instance ?INTERVAL_BEFORE TimeInterval)
                                    (earlier ?INTERVAL_BEFORE ?INTERVAL)
                                    (holdsDuring ?INTERVAL_BEFORE
                                        (registeredUser ?USER ?SITE)))))
                        (exists (?INTERVAL_DURING)
                            (and
                                (instance ?INTERVAL_DURING TimeInterval)
                                (during ?INTERVAL_DURING ?INTERVAL)
                                (holdsDuring ?INTERVAL
                                    (registeredUser ?USER ?SITE)))))
                    (member ?USER ?NEWREGISTRATIONS)))
            (equal ?NEWREGISTRATIONS
                (SiteWideNewRegistrationsFn ?INTERVAL ?SITE)))))
UXExperimentalTerms.kif 3636-3663
(=>
    (and
        (instance ?INTERVAL TimeInterval)
        (instance ?SITE WebSite))
    (exists (?NEWSELLERS)
        (and
            (instance ?NEWSELLERS Collection)
            (forall (?AGENT)
                (=>
                    (member ?AGENT ?NEWSELLERS)
                    (and
                        (exists (?SELLING)
                            (and
                                (instance ?AGENT Agent)
                                (instance ?SELLING Selling)
                                (agent ?SELLING ?AGENT)
                                (instrument ?SELLING ?SITE)
                                (during ?SELLING ?INTERVAL)))
                        (not
                            (exists (?INTERVAL_BEFORE)
                                (and
                                    (instance ?INTERVAL_BEFORE TimeInterval)
                                    (earlier ?INTERVAL_BEFORE ?INTERVAL)
                                    (holdsDuring ?INTERVAL_BEFORE
                                        (exists (?SELLING_BEFORE)
                                            (and
                                                (instance ?SELLING_BEFORE Selling)
                                                (agent ?SELLING_BEFORE ?AGENT)
                                                (instrument ?SELLING_BEFORE ?SITE)
                                                (during ?SELLING_BEFORE ?INTERVAL))))))))))
            (equal
                (SiteWideNewSellersFn ?INTERVAL ?SITE) ?NEWSELLERS))))
UXExperimentalTerms.kif 3683-3715
(=>
    (and
        (instance ?LISTING WebListing)
        (instance ?SITE WebSite)
        (hostedOn ?LISTING ?SITE)
        (creator ?LISTING ?AGENT))
    (webSeller ?AGENT ?SITE))
UXExperimentalTerms.kif 44-50
(=>
    (and
        (instance ?P DigitalPost)
        (instance ?A Agent)
        (instance ?W WebSite)
        (component ?P ?W)
        (creator ?A ?P)
        (registeredUser ?A ?W))
    (hasPurpose ?P
        (exists (?D)
            (and
                (instance ?D Disseminating)
                (agent ?D ?A)
                (patient ?D ?P)
                (instrument ?D ?W)))))
ComputerInput.kif 2858-2872
(=>
    (and
        (instance ?PAGE ViewItemPage)
        (instance ?SITE WebSite)
        (component ?PAGE ?SITE))
    (exists (?ITEM ?ADVERTISING)
        (and
            (instance ?ITEM Object)
            (instance ?ADVERTISING WebListing)
            (component ?ADVERTISING ?PAGE)
            (hostedOn ?ADVERTISING ?SITE)
            (patient ?ADVERTISING ?ITEM))))
UXExperimentalTerms.kif 2274-2285
(=>
    (and
        (listingBuyer ?LISTING ?BUYER)
        (instance ?OBJ Object)
        (instance ?SITE WebSite)
        (patient ?LISTING ?OBJECT)
        (hostedOn ?LISTING ?SITE))
    (exists (?BUYING)
        (and
            (instance ?BUYING Buying)
            (patient ?BUYING ?OBJ)
            (eCommerceSite ?BUYING ?SITE)
            (agent ?BUYING ?BUYER))))
UXExperimentalTerms.kif 105-117
(=>
    (instance ?SITE WebSite)
    (exists (?PAGE)
        (and
            (instance ?PAGE WebPage)
            (component ?PAGE ?SITE))))
Media.kif 1498-1503

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


(=>
    (and
        (instance ?ATC AddToCart)
        (instance ?OBJ Object)
        (patient ?ATC ?OBJ)
        (agent ?ATC ?USER))
    (exists (?COLL ?SITE ?AFTER)
        (and
            (instance ?COLL Collection)
            (instance ?SITE WebSite)
            (instance ?INTERVAL TimeInterval)
            (webcart ?USER ?COLL ?SITE)
            (equal
                (BeginFn ?INTERVAL)
                (EndFn ?ATC))
            (holdsDuring ?AFTER
                (member ?OBJ ?COLL)))))
UXExperimentalTerms.kif 1523-1539
(=>
    (and
        (instance ?COLL Collection)
        (forall (?MEMBER)
            (=>
                (member ?MEMBER ?COLL)
                (instance ?MEMBER WebListing))))
    (equal
        (DivisionFn
            (CardinalityFn
                (KappaFn ?LISTING
                    (and
                        (instance ?LISTING WebListing)
                        (instance ?SITE WebSite)
                        (instance ?ITEM Physical)
                        (member ?LISTING ?COLL)
                        (patient ?LISTING ?ITEM)
                        (hostedOn ?LISTING ?SITE)
                        (exists (?BUYING)
                            (and
                                (instance ?BUYING Buying)
                                (patient ?BUYING ?ITEM)
                                (eCommerceSite ?BUYING ?SITE))))))
            (CardinalityFn ?COLL))
        (BidCountFn ?COLL)))
UXExperimentalTerms.kif 3055-3079
(=>
    (and
        (instance ?TRANS FinancialTransaction)
        (attribute ?TRANS BusinessToBusiness))
    (exists (?ACCT1 ?ACCT2 ?USER1 ?USER2 ?SITE)
        (and
            (instance ?ACCT1 UserAccount)
            (instance ?ACCT2 UserAccount)
            (instance ?USER1 Agent)
            (instance ?USER2 Agent)
            (instance ?SITE WebSite)
            (agent ?TRANS ?USER1)
            (destination ?TRANS ?USER2)
            (instrument ?TRANS ?SITE)
            (hasAccount ?USER1 ?ACCT1)
            (hasAccount ?USER2 ?ACCT2)
            (accountAtSite ?ACCT1 ?SITE)
            (accountAtSite ?ACCT2 ?SITE)
            (attribute ?ACC1 BusinessAccount)
            (attribute ?ACC2 BusinessAccount))))
UXExperimentalTerms.kif 1935-1954
(=>
    (and
        (instance ?TRANS FinancialTransaction)
        (attribute ?TRANS BusinessToConsumer))
    (exists (?ACCT1 ?ACCT2 ?USER1 ?USER2 ?SITE)
        (and
            (instance ?ACCT1 UserAccount)
            (instance ?ACCT2 UserAccount)
            (instance ?USER1 Agent)
            (instance ?USER2 Agent)
            (instance ?SITE WebSite)
            (agent ?TRANS ?USER1)
            (destination ?TRANS ?USER2)
            (instrument ?TRANS ?SITE)
            (hasAccount ?USER1 ?ACCT1)
            (hasAccount ?USER2 ?ACCT2)
            (accountAtSite ?ACCT1 ?SITE)
            (accountAtSite ?ACCT2 ?SITE)
            (attribute ?ACCOUNT1 BusinessAccount)
            (attribute ?ACCOUNT2 ConsumerAccount))))
UXExperimentalTerms.kif 1967-1986
(=>
    (and
        (instance ?TRANS FinancialTransaction)
        (attribute ?TRANS ConsumerToConsumer))
    (exists (?ACCT1 ?ACCT2 ?USER1 ?USER2 ?SITE)
        (and
            (instance ?ACCT1 UserAccount)
            (instance ?ACCT2 UserAccount)
            (instance ?USER1 Agent)
            (instance ?USER2 Agent)
            (instance ?SITE WebSite)
            (agent ?TRANS ?USER1)
            (destination ?TRANS ?USER2)
            (instrument ?TRANS ?SITE)
            (hasAccount ?USER1 ?ACCT1)
            (hasAccount ?USER2 ?ACCT2)
            (accountAtSite ?ACCT1 ?SITE)
            (accountAtSite ?ACCT2 ?SITE)
            (attribute ?ACCOUNT1 ConsumerAccount)
            (attribute ?ACCOUNT2 ConsumerAccount))))
UXExperimentalTerms.kif 1999-2018
(=>
    (and
        (instance ?WATCH WatchItem)
        (instance ?OBJ Object)
        (patient ?WATCH ?OBJ)
        (agent ?WATCH ?USER))
    (exists (?COLL ?SITE ?AFTER)
        (and
            (instance ?COLL Collection)
            (instance ?SITE WebSite)
            (instance ?INTERVAL TimeInterval)
            (watchingListings ?USER ?COLL ?SITE)
            (equal
                (BeginFn ?INTERVAL)
                (EndFn ?WATCH))
            (holdsDuring ?AFTER
                (member ?OBJ ?COLL)))))
UXExperimentalTerms.kif 1812-1828
(=>
    (instance ?CHARGE InsertionFee)
    (exists (?SITE ?OWNER ?ADVERT)
        (and
            (instance ?SITE WebSite)
            (instance ?OWNER Agent)
            (instance ?ADVERT WebListing)
            (hostedOn ?ADVERT ?SITE)
            (possesses ?OWNER ?SITE)
            (agent ?CHARGE ?OWNER))))
UXExperimentalTerms.kif 271-280
(=>
    (instance ?LIST ListOnSite)
    (exists (?SITE ?ADVERT ?EARLIER ?AFTER)
        (and
            (instance ?SITE WebSite)
            (instance ?ADVERT WebListing)
            (instance ?EARLIER TimeInterval)
            (instance ?AFTER TimeInterval)
            (patient ?LIST ?ADVERT)
            (equal
                (EndFn ?EARLIER)
                (EndFn ?LIST))
            (earlier ?LIST ?AFTER)
            (meetsTemporally ?LIST ?AFTER)
            (holdsDuring ?EARLIER
                (not
                    (hostedOn ?ADVERT ?SITE)))
            (holdsDuring ?AFTER
                (hostedOn ?ADVERT ?SITE))
            (agent ?LIST ?OWNER)
            (possesses ?OWNER ?SITE))))
UXExperimentalTerms.kif 338-358
(=>
    (instance ?LISTING WebListing)
    (exists (?SITE)
        (and
            (instance ?SITE WebSite)
            (hostedOn ?LISTING ?SITE))))
UXExperimentalTerms.kif 37-42
(=>
    (instance ?PROFILE VisitorProfile)
    (exists (?USER ?SITE)
        (and
            (instance ?USER Agent)
            (instance ?SITE WebSite)
            (forall (?FORMULA)
                (=>
                    (and
                        (member ?FORMULA ?PROFILE)
                        (instance ?FORMULA Formula))
                    (visitorParameter ?USER ?FORMULA ?SITE))))))
UXExperimentalTerms.kif 1337-1348
(=>
    (instance ?STORE WebStore)
    (exists (?SITE)
        (and
            (instance ?SITE WebSite)
            (component ?STORE ?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