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 4674-4674 | EBayWebSite は WebSite の instance では %n |
(instance IBookstore WebSite) | ComputingBrands.kif 3293-3293 | IBookstore は WebSite の instance では %n |
(instance Othena WebSite) | Medicine.kif 5598-5598 | Othena は WebSite の instance では %n |
(instance Reddit WebSite) | Medicine.kif 3096-3096 | 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 4608-4608 | Toutiao は WebSite の subclass では %n |
(subclass Wiki WebSite) | ComputerInput.kif 2875-2875 | Wiki は WebSite の subclass では %n |
(subclass YouTube WebSite) | ComputingBrands.kif 4624-4624 | YouTube は WebSite の subclass では %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 引数は WebSite の instance では %n |
(domain SellersOtherItemsFn 2 WebSite) | UXExperimentalTerms.kif 1215-1215 | SellersOtherItemsFn の数値 2 引数は WebSite の instance では %n |
(domain SiteWideNewBuyersFn 2 WebSite) | UXExperimentalTerms.kif 3572-3572 | SiteWideNewBuyersFn の数値 2 引数は WebSite の instance では %n |
(domain SiteWideNewRegistrationsFn 2 WebSite) | UXExperimentalTerms.kif 3624-3624 | SiteWideNewRegistrationsFn の数値 2 引数は WebSite の instance では %n |
(domain SiteWideNewSellersFn 2 WebSite) | UXExperimentalTerms.kif 3671-3671 | SiteWideNewSellersFn の数値 2 引数は WebSite の instance では %n |
(domain accountAtSite 2 WebSite) | UXExperimentalTerms.kif 778-778 | accountAtSite の数値 2 引数は WebSite の instance では %n |
(domain advertisedOn 2 WebSite) | UXExperimentalTerms.kif 240-240 | advertisedOn の数値 2 引数は WebSite の instance では %n |
(domain browserID 3 WebSite) | UXExperimentalTerms.kif 919-919 | browserID の数値 3 引数は WebSite の instance では %n |
(domain categoryOf 2 WebSite) | UXExperimentalTerms.kif 225-225 | categoryOf の数値 2 引数は WebSite の instance では %n |
(domain confirmedRegisteredUser 2 WebSite) | UXExperimentalTerms.kif 1092-1092 | confirmedRegisteredUser の数値 2 引数は WebSite の instance では %n |
(domain eCommerceSite 2 WebSite) | UXExperimentalTerms.kif 1913-1913 | eCommerceSite の数値 2 引数は WebSite の instance では %n |
(domain firstTimeBuyers 2 WebSite) | UXExperimentalTerms.kif 3723-3723 | firstTimeBuyers の数値 2 引数は WebSite の instance では %n |
(domain firstTimeSellers 2 WebSite) | UXExperimentalTerms.kif 3771-3771 | firstTimeSellers の数値 2 引数は WebSite の instance では %n |
(domain homePage 2 WebSite) | UXExperimentalTerms.kif 2174-2174 | homePage の数値 2 引数は WebSite の instance では %n |
(domain hostedOn 2 WebSite) | UXExperimentalTerms.kif 150-150 | hostedOn の数値 2 引数は WebSite の instance では %n |
(domain newRegisteredUsers 2 WebSite) | UXExperimentalTerms.kif 3819-3819 | newRegisteredUsers の数値 2 引数は WebSite の instance では %n |
(domain prohibitedItem 2 WebSite) | UXExperimentalTerms.kif 491-491 | prohibitedItem の数値 2 引数は WebSite の instance では %n |
(domain registeredUser 2 WebSite) | UXExperimentalTerms.kif 1053-1053 | registeredUser の数値 2 引数は WebSite の instance では %n |
(domain siteCatalog 2 WebSite) | UXExperimentalTerms.kif 2439-2439 | siteCatalog の数値 2 引数は WebSite の instance では %n |
(domain underageUser 2 WebSite) | UXExperimentalTerms.kif 1266-1266 | underageUser の数値 2 引数は WebSite の instance では %n |
(domain userDatabase 2 WebSite) | UXExperimentalTerms.kif 2370-2370 | userDatabase の数値 2 引数は WebSite の instance では %n |
(domain visitorParameter 3 WebSite) | UXExperimentalTerms.kif 1362-1362 | visitorParameter の数値 3 引数は WebSite の instance では %n |
(domain watchingListings 3 WebSite) | UXExperimentalTerms.kif 1442-1442 | watchingListings の数値 3 引数は WebSite の instance では %n |
(domain webPurchases 3 WebSite) | UXExperimentalTerms.kif 1019-1019 | webPurchases の数値 3 引数は WebSite の instance では %n |
(domain webSales 3 WebSite) | UXExperimentalTerms.kif 1114-1114 | 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 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 |
![]() |
![]() |
![]() |