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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - WebSite
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 1489-1493
(subclass WebSite DigitalData) Media.kif 1494-1494 WebSiteDigitalDatasubclass では %n

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


(instance EBayWebSite WebSite) ComputingBrands.kif 4674-4674 EBayWebSiteWebSiteinstance では %n
(instance IBookstore WebSite) ComputingBrands.kif 3293-3293 IBookstoreWebSiteinstance では %n
(instance Othena WebSite) Medicine.kif 5598-5598 OthenaWebSiteinstance では %n
(instance Reddit WebSite) Medicine.kif 3096-3096 RedditWebSiteinstance では %n
(subclass Blog WebSite) ComputerInput.kif 2871-2871 BlogWebSitesubclass では %n
(subclass SocialNetworkingSite WebSite) Media.kif 1512-1512 SocialNetworkingSiteWebSitesubclass では %n
(subclass Toutiao WebSite) ComputingBrands.kif 4608-4608 ToutiaoWebSitesubclass では %n
(subclass Wiki WebSite) ComputerInput.kif 2875-2875 WikiWebSitesubclass では %n
(subclass YouTube WebSite) ComputingBrands.kif 4624-4624 YouTubeWebSitesubclass では %n
(termFormat EnglishLanguage WebSite "web site") domainEnglishFormat.kif 65737-65737

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


(domain SellersItemsFn 2 WebSite) UXExperimentalTerms.kif 1180-1180 SellersItemsFn の数値 2 引数は WebSiteinstance では %n
(domain SellersOtherItemsFn 2 WebSite) UXExperimentalTerms.kif 1215-1215 SellersOtherItemsFn の数値 2 引数は WebSiteinstance では %n
(domain SiteWideNewBuyersFn 2 WebSite) UXExperimentalTerms.kif 3572-3572 SiteWideNewBuyersFn の数値 2 引数は WebSiteinstance では %n
(domain SiteWideNewRegistrationsFn 2 WebSite) UXExperimentalTerms.kif 3624-3624 SiteWideNewRegistrationsFn の数値 2 引数は WebSiteinstance では %n
(domain SiteWideNewSellersFn 2 WebSite) UXExperimentalTerms.kif 3671-3671 SiteWideNewSellersFn の数値 2 引数は WebSiteinstance では %n
(domain accountAtSite 2 WebSite) UXExperimentalTerms.kif 778-778 accountAtSite の数値 2 引数は WebSiteinstance では %n
(domain advertisedOn 2 WebSite) UXExperimentalTerms.kif 240-240 advertisedOn の数値 2 引数は WebSiteinstance では %n
(domain browserID 3 WebSite) UXExperimentalTerms.kif 919-919 browserID の数値 3 引数は WebSiteinstance では %n
(domain categoryOf 2 WebSite) UXExperimentalTerms.kif 225-225 categoryOf の数値 2 引数は WebSiteinstance では %n
(domain confirmedRegisteredUser 2 WebSite) UXExperimentalTerms.kif 1092-1092 confirmedRegisteredUser の数値 2 引数は WebSiteinstance では %n
(domain eCommerceSite 2 WebSite) UXExperimentalTerms.kif 1913-1913 eCommerceSite の数値 2 引数は WebSiteinstance では %n
(domain firstTimeBuyers 2 WebSite) UXExperimentalTerms.kif 3723-3723 firstTimeBuyers の数値 2 引数は WebSiteinstance では %n
(domain firstTimeSellers 2 WebSite) UXExperimentalTerms.kif 3771-3771 firstTimeSellers の数値 2 引数は WebSiteinstance では %n
(domain homePage 2 WebSite) UXExperimentalTerms.kif 2174-2174 homePage の数値 2 引数は WebSiteinstance では %n
(domain hostedOn 2 WebSite) UXExperimentalTerms.kif 150-150 hostedOn の数値 2 引数は WebSiteinstance では %n
(domain newRegisteredUsers 2 WebSite) UXExperimentalTerms.kif 3819-3819 newRegisteredUsers の数値 2 引数は WebSiteinstance では %n
(domain prohibitedItem 2 WebSite) UXExperimentalTerms.kif 491-491 prohibitedItem の数値 2 引数は WebSiteinstance では %n
(domain registeredUser 2 WebSite) UXExperimentalTerms.kif 1053-1053 registeredUser の数値 2 引数は WebSiteinstance では %n
(domain siteCatalog 2 WebSite) UXExperimentalTerms.kif 2439-2439 siteCatalog の数値 2 引数は WebSiteinstance では %n
(domain underageUser 2 WebSite) UXExperimentalTerms.kif 1266-1266 underageUser の数値 2 引数は WebSiteinstance では %n
(domain userDatabase 2 WebSite) UXExperimentalTerms.kif 2370-2370 userDatabase の数値 2 引数は WebSiteinstance では %n
(domain visitorParameter 3 WebSite) UXExperimentalTerms.kif 1362-1362 visitorParameter の数値 3 引数は WebSiteinstance では %n
(domain watchingListings 3 WebSite) UXExperimentalTerms.kif 1442-1442 watchingListings の数値 3 引数は WebSiteinstance では %n
(domain webPurchases 3 WebSite) UXExperimentalTerms.kif 1019-1019 webPurchases の数値 3 引数は WebSiteinstance では %n
(domain webSales 3 WebSite) UXExperimentalTerms.kif 1114-1114 webSales の数値 3 引数は WebSiteinstance では %n

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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


(=>
    (and
        (instance ?AGENT AutonomousAgent)
        (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 AutonomousAgent)
        (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 AutonomousAgent)
                                (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 3582-3614
(=>
    (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 3634-3661
(=>
    (and
        (instance ?INTERVAL TimeInterval)
        (instance ?SITE WebSite))
    (exists (?NEWSELLERS)
        (and
            (instance ?NEWSELLERS Collection)
            (forall (?AGENT)
                (=>
                    (member ?AGENT ?NEWSELLERS)
                    (and
                        (exists (?SELLING)
                            (and
                                (instance ?AGENT AutonomousAgent)
                                (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 3681-3713
(=>
    (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 AutonomousAgent)
        (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 2830-2844
(=>
    (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 2271-2282
(=>
    (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 1495-1500

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


(=>
    (and
        (instance ?ATC AddToCart)
        (instance ?OBJ Object)
        (patient ?ATC ?OBJ)
        (agent ?ATC ?USER))
    (exists (?COLL ?SITE ?AFTER ?INTERVAL)
        (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
                (exists (?LISTING ?SITE ?ITEM)
                    (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 3051-3076
(=>
    (and
        (instance ?TRANS FinancialTransaction)
        (attribute ?TRANS BusinessToBusiness))
    (exists (?ACCT1 ?ACCT2 ?USER1 ?USER2 ?SITE)
        (and
            (instance ?ACCT1 UserAccount)
            (instance ?ACCT2 UserAccount)
            (instance ?USER1 AutonomousAgent)
            (instance ?USER2 AutonomousAgent)
            (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 ?ACCT1 BusinessAccount)
            (attribute ?ACCT2 BusinessAccount))))
UXExperimentalTerms.kif 1933-1952
(=>
    (and
        (instance ?TRANS FinancialTransaction)
        (attribute ?TRANS BusinessToConsumer))
    (exists (?ACCT1 ?ACCT2 ?USER1 ?USER2 ?SITE)
        (and
            (instance ?ACCT1 UserAccount)
            (instance ?ACCT2 UserAccount)
            (instance ?USER1 AutonomousAgent)
            (instance ?USER2 AutonomousAgent)
            (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 ?ACCT1 BusinessAccount)
            (attribute ?ACCT2 ConsumerAccount))))
UXExperimentalTerms.kif 1965-1984
(=>
    (and
        (instance ?TRANS FinancialTransaction)
        (attribute ?TRANS ConsumerToConsumer))
    (exists (?ACCT1 ?ACCT2 ?USER1 ?USER2 ?SITE)
        (and
            (instance ?ACCT1 UserAccount)
            (instance ?ACCT2 UserAccount)
            (instance ?USER1 AutonomousAgent)
            (instance ?USER2 AutonomousAgent)
            (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 ?ACCT1 ConsumerAccount)
            (attribute ?ACCT2 ConsumerAccount))))
UXExperimentalTerms.kif 1997-2016
(=>
    (and
        (instance ?WATCH WatchItem)
        (instance ?OBJ Object)
        (patient ?WATCH ?OBJ)
        (agent ?WATCH ?USER))
    (exists (?COLL ?SITE ?AFTER ?INTERVAL)
        (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 1811-1827
(=>
    (instance ?CHARGE InsertionFee)
    (exists (?SITE ?OWNER ?ADVERT)
        (and
            (instance ?SITE WebSite)
            (instance ?OWNER AutonomousAgent)
            (instance ?ADVERT WebListing)
            (hostedOn ?ADVERT ?SITE)
            (possesses ?OWNER ?SITE)
            (agent ?CHARGE ?OWNER))))
UXExperimentalTerms.kif 271-280
(=>
    (instance ?LIST ListOnSite)
    (exists (?SITE ?ADVERT ?EARLIER ?AFTER ?OWNER)
        (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 AutonomousAgent)
            (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 2332-2337


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