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 | WebSite ist eine teilkategorie von DigitalData |
appearance as argument number 2 |
(instance EBayWebSite WebSite) | ComputingBrands.kif 4676-4676 | EBayWebSite ist ein fall von WebSite %n{nicht} |
(instance IBookstore WebSite) | ComputingBrands.kif 3295-3295 | IBookstore ist ein fall von WebSite %n{nicht} |
(instance Othena WebSite) | Medicine.kif 5600-5600 | Othena ist ein fall von WebSite %n{nicht} |
(instance Reddit WebSite) | Medicine.kif 3098-3098 | Reddit ist ein fall von WebSite %n{nicht} |
(subclass Blog WebSite) | ComputerInput.kif 2871-2871 | Blog ist eine teilkategorie von WebSite |
(subclass SocialNetworkingSite WebSite) | Media.kif 1512-1512 | SocialNetworkingSite ist eine teilkategorie von WebSite |
(subclass Toutiao WebSite) | ComputingBrands.kif 4610-4610 | Toutiao ist eine teilkategorie von WebSite |
(subclass Wiki WebSite) | ComputerInput.kif 2875-2875 | Wiki ist eine teilkategorie von WebSite |
(subclass YouTube WebSite) | ComputingBrands.kif 4626-4626 | YouTube ist eine teilkategorie von WebSite |
(termFormat EnglishLanguage WebSite "web site") | domainEnglishFormat.kif 65727-65727 |
appearance as argument number 3 |
(domain SellersItemsFn 2 WebSite) | UXExperimentalTerms.kif 983-983 | Die Zahl 2 Argument von SellersItemsFn ist ein fall von WebSite %n{nicht} |
(domain SellersOtherItemsFn 2 WebSite) | UXExperimentalTerms.kif 1018-1018 | Die Zahl 2 Argument von SellersOtherItemsFn ist ein fall von WebSite %n{nicht} |
(domain SiteWideNewBuyersFn 2 WebSite) | UXExperimentalTerms.kif 3366-3366 | Die Zahl 2 Argument von SiteWideNewBuyersFn ist ein fall von WebSite %n{nicht} |
(domain SiteWideNewRegistrationsFn 2 WebSite) | UXExperimentalTerms.kif 3418-3418 | Die Zahl 2 Argument von SiteWideNewRegistrationsFn ist ein fall von WebSite %n{nicht} |
(domain SiteWideNewSellersFn 2 WebSite) | UXExperimentalTerms.kif 3465-3465 | Die Zahl 2 Argument von SiteWideNewSellersFn ist ein fall von WebSite %n{nicht} |
(domain accountAtSite 2 WebSite) | UXExperimentalTerms.kif 627-627 | Die Zahl 2 Argument von accountAtSite ist ein fall von WebSite %n{nicht} |
(domain advertisedOn 2 WebSite) | UXExperimentalTerms.kif 185-185 | Die Zahl 2 Argument von advertisedOn ist ein fall von WebSite %n{nicht} |
(domain browserID 3 WebSite) | UXExperimentalTerms.kif 734-734 | Die Zahl 3 Argument von browserID ist ein fall von WebSite %n{nicht} |
(domain categoryOf 2 WebSite) | UXExperimentalTerms.kif 177-177 | Die Zahl 2 Argument von categoryOf ist ein fall von WebSite %n{nicht} |
(domain confirmedRegisteredUser 2 WebSite) | UXExperimentalTerms.kif 895-895 | Die Zahl 2 Argument von confirmedRegisteredUser ist ein fall von WebSite %n{nicht} |
(domain eCommerceSite 2 WebSite) | UXExperimentalTerms.kif 1707-1707 | Die Zahl 2 Argument von eCommerceSite ist ein fall von WebSite %n{nicht} |
(domain firstTimeBuyers 2 WebSite) | UXExperimentalTerms.kif 3517-3517 | Die Zahl 2 Argument von firstTimeBuyers ist ein fall von WebSite %n{nicht} |
(domain firstTimeSellers 2 WebSite) | UXExperimentalTerms.kif 3565-3565 | Die Zahl 2 Argument von firstTimeSellers ist ein fall von WebSite %n{nicht} |
(domain homePage 2 WebSite) | UXExperimentalTerms.kif 1968-1968 | Die Zahl 2 Argument von homePage ist ein fall von WebSite %n{nicht} |
(domain hostedOn 2 WebSite) | UXExperimentalTerms.kif 119-119 | Die Zahl 2 Argument von hostedOn ist ein fall von WebSite %n{nicht} |
(domain newRegisteredUsers 2 WebSite) | UXExperimentalTerms.kif 3613-3613 | Die Zahl 2 Argument von newRegisteredUsers ist ein fall von WebSite %n{nicht} |
(domain prohibitedItem 2 WebSite) | UXExperimentalTerms.kif 393-393 | Die Zahl 2 Argument von prohibitedItem ist ein fall von WebSite %n{nicht} |
(domain registeredUser 2 WebSite) | UXExperimentalTerms.kif 856-856 | Die Zahl 2 Argument von registeredUser ist ein fall von WebSite %n{nicht} |
(domain siteCatalog 2 WebSite) | UXExperimentalTerms.kif 2233-2233 | Die Zahl 2 Argument von siteCatalog ist ein fall von WebSite %n{nicht} |
(domain underageUser 2 WebSite) | UXExperimentalTerms.kif 1069-1069 | Die Zahl 2 Argument von underageUser ist ein fall von WebSite %n{nicht} |
(domain userDatabase 2 WebSite) | UXExperimentalTerms.kif 2164-2164 | Die Zahl 2 Argument von userDatabase ist ein fall von WebSite %n{nicht} |
(domain visitorParameter 3 WebSite) | UXExperimentalTerms.kif 1165-1165 | Die Zahl 3 Argument von visitorParameter ist ein fall von WebSite %n{nicht} |
(domain watchingListings 3 WebSite) | UXExperimentalTerms.kif 1245-1245 | Die Zahl 3 Argument von watchingListings ist ein fall von WebSite %n{nicht} |
(domain webPurchases 3 WebSite) | UXExperimentalTerms.kif 823-823 | Die Zahl 3 Argument von webPurchases ist ein fall von WebSite %n{nicht} |
(domain webSales 3 WebSite) | UXExperimentalTerms.kif 917-917 | Die Zahl 3 Argument von webSales ist ein fall von WebSite %n{nicht} |
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 992-1008 |
|
(=> (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 1033-1060 |
|
(=> (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 3376-3408 |
|
(=> (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 3428-3455 |
|
(=> (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 3475-3507 |
|
(=> (and (instance ?LISTING WebListing) (instance ?SITE WebSite) (hostedOn ?LISTING ?SITE) (creator ?LISTING ?AGENT)) (webSeller ?AGENT ?SITE)) |
UXExperimentalTerms.kif 39-45 |
|
(=> (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 2065-2076 |
|
(=> (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 86-98 |
|
(=> (instance ?SITE WebSite) (exists (?PAGE) (and (instance ?PAGE WebPage) (component ?PAGE ?SITE)))) |
Media.kif 1495-1500 |
|
consequent |