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 は DigitalData の subclass では %n |
appearance as argument number 2 |
(instance EBayWebSite WebSite) | ComputingBrands.kif 4676-4676 | EBayWebSite は WebSite の instance では %n |
(instance IBookstore WebSite) | ComputingBrands.kif 3295-3295 | IBookstore は WebSite の instance では %n |
(instance Othena WebSite) | Medicine.kif 5600-5600 | Othena は WebSite の instance では %n |
(instance Reddit WebSite) | Medicine.kif 3098-3098 | Reddit は WebSite の instance では %n |
(subclass Blog WebSite) | ComputerInput.kif 2871-2871 | Blog は WebSite の subclass では %n |
(subclass SocialNetworkingSite WebSite) | Media.kif 1512-1512 | SocialNetworkingSite は WebSite の subclass では %n |
(subclass Toutiao WebSite) | ComputingBrands.kif 4610-4610 | Toutiao は WebSite の subclass では %n |
(subclass Wiki WebSite) | ComputerInput.kif 2875-2875 | Wiki は WebSite の subclass では %n |
(subclass YouTube WebSite) | ComputingBrands.kif 4626-4626 | YouTube は WebSite の subclass では %n |
(termFormat EnglishLanguage WebSite "web site") | domainEnglishFormat.kif 65725-65725 |
appearance as argument number 3 |
(domain SellersItemsFn 2 WebSite) | UXExperimentalTerms.kif 983-983 | SellersItemsFn の数値 2 引数は WebSite の instance では %n |
(domain SellersOtherItemsFn 2 WebSite) | UXExperimentalTerms.kif 1018-1018 | SellersOtherItemsFn の数値 2 引数は WebSite の instance では %n |
(domain SiteWideNewBuyersFn 2 WebSite) | UXExperimentalTerms.kif 3366-3366 | SiteWideNewBuyersFn の数値 2 引数は WebSite の instance では %n |
(domain SiteWideNewRegistrationsFn 2 WebSite) | UXExperimentalTerms.kif 3418-3418 | SiteWideNewRegistrationsFn の数値 2 引数は WebSite の instance では %n |
(domain SiteWideNewSellersFn 2 WebSite) | UXExperimentalTerms.kif 3465-3465 | SiteWideNewSellersFn の数値 2 引数は WebSite の instance では %n |
(domain accountAtSite 2 WebSite) | UXExperimentalTerms.kif 627-627 | accountAtSite の数値 2 引数は WebSite の instance では %n |
(domain advertisedOn 2 WebSite) | UXExperimentalTerms.kif 185-185 | advertisedOn の数値 2 引数は WebSite の instance では %n |
(domain browserID 3 WebSite) | UXExperimentalTerms.kif 734-734 | browserID の数値 3 引数は WebSite の instance では %n |
(domain categoryOf 2 WebSite) | UXExperimentalTerms.kif 177-177 | categoryOf の数値 2 引数は WebSite の instance では %n |
(domain confirmedRegisteredUser 2 WebSite) | UXExperimentalTerms.kif 895-895 | confirmedRegisteredUser の数値 2 引数は WebSite の instance では %n |
(domain eCommerceSite 2 WebSite) | UXExperimentalTerms.kif 1707-1707 | eCommerceSite の数値 2 引数は WebSite の instance では %n |
(domain firstTimeBuyers 2 WebSite) | UXExperimentalTerms.kif 3517-3517 | firstTimeBuyers の数値 2 引数は WebSite の instance では %n |
(domain firstTimeSellers 2 WebSite) | UXExperimentalTerms.kif 3565-3565 | firstTimeSellers の数値 2 引数は WebSite の instance では %n |
(domain homePage 2 WebSite) | UXExperimentalTerms.kif 1968-1968 | homePage の数値 2 引数は WebSite の instance では %n |
(domain hostedOn 2 WebSite) | UXExperimentalTerms.kif 119-119 | hostedOn の数値 2 引数は WebSite の instance では %n |
(domain newRegisteredUsers 2 WebSite) | UXExperimentalTerms.kif 3613-3613 | newRegisteredUsers の数値 2 引数は WebSite の instance では %n |
(domain prohibitedItem 2 WebSite) | UXExperimentalTerms.kif 393-393 | prohibitedItem の数値 2 引数は WebSite の instance では %n |
(domain registeredUser 2 WebSite) | UXExperimentalTerms.kif 856-856 | registeredUser の数値 2 引数は WebSite の instance では %n |
(domain siteCatalog 2 WebSite) | UXExperimentalTerms.kif 2233-2233 | siteCatalog の数値 2 引数は WebSite の instance では %n |
(domain underageUser 2 WebSite) | UXExperimentalTerms.kif 1069-1069 | underageUser の数値 2 引数は WebSite の instance では %n |
(domain userDatabase 2 WebSite) | UXExperimentalTerms.kif 2164-2164 | userDatabase の数値 2 引数は WebSite の instance では %n |
(domain visitorParameter 3 WebSite) | UXExperimentalTerms.kif 1165-1165 | visitorParameter の数値 3 引数は WebSite の instance では %n |
(domain watchingListings 3 WebSite) | UXExperimentalTerms.kif 1245-1245 | watchingListings の数値 3 引数は WebSite の instance では %n |
(domain webPurchases 3 WebSite) | UXExperimentalTerms.kif 823-823 | webPurchases の数値 3 引数は WebSite の instance では %n |
(domain webSales 3 WebSite) | UXExperimentalTerms.kif 917-917 | webSales の数値 3 引数は WebSite の instance では %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 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 |