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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Collection

Sigma KEE - Collection
Collection(群体)
more pictures...

appearance as argument number 1
-------------------------


(disjoint Collection SelfConnectedObject) Merge.kif 1295-1295 群体 和 % 2 是 disjoint
(documentation Collection ChineseLanguage "群体和 Class 一样,拥有 member ,可它又不像 Class, 因为它们在时空有一个定位,而且 Collection 可以加和减 member 却不会改变自身的身份。它的 例子有工具包、足球队和羊群。") Merge.kif 1301-1303
(documentation Collection EnglishLanguage "Collections have members like Classes, but, unlike Classes, they have a position in space-time and members can be added and subtracted without thereby changing the identity of the Collection. Some examples are toolkits, football teams, and flocks of sheep.") Merge.kif 1296-1300
(externalImage Collection "http://upload.wikimedia.org/wikipedia/commons/ 3/ 38/ Stamp_collection.jpg") pictureList.kif 10689-10689 externalImage 群体 and "http://upload.wikimedia.org/wikipedia/commons/3/38/ Stamp_collection.jpg"
(externalImage Collection "http://upload.wikimedia.org/wikipedia/commons/ 3/ 3a/ Collection_Quid.jpg") pictureList.kif 10688-10688 externalImage 群体 and "http://upload.wikimedia.org/wikipedia/commons/3/3a/ Collection_Quid.jpg"
(externalImage Collection "http://upload.wikimedia.org/wikipedia/commons/ 3/ 3f/ Book_collection.jpg") pictureList.kif 10684-10684 externalImage 群体 and "http://upload.wikimedia.org/wikipedia/commons/3/3f/ Book_collection.jpg"
(externalImage Collection "http://upload.wikimedia.org/wikipedia/commons/ 4/ 48/ Greek_pottery1.jpg") pictureList.kif 10695-10695 externalImage 群体 and "http://upload.wikimedia.org/wikipedia/commons/4/48/ Greek_pottery1.jpg"
(externalImage Collection "http://upload.wikimedia.org/wikipedia/commons/ 4/ 4c/ Beetle_collection.jpg") pictureList.kif 10683-10683 externalImage 群体 and "http://upload.wikimedia.org/wikipedia/commons/4/4c/ Beetle_collection.jpg"
(externalImage Collection "http://upload.wikimedia.org/wikipedia/commons/ 4/ 4c/ Bgbo_kakteen_ies.jpg") pictureList.kif 10694-10694 externalImage 群体 and "http://upload.wikimedia.org/wikipedia/commons/4/4c/ Bgbo_kakteen_ies.jpg"
(externalImage Collection "http://upload.wikimedia.org/wikipedia/commons/ 4/ 4d/ LA2-katalogkort.jpg") pictureList.kif 9966-9966 externalImage 群体 and "http://upload.wikimedia.org/wikipedia/commons/4/4d/ LA2-katalogkort.jpg"
(externalImage Collection "http://upload.wikimedia.org/wikipedia/commons/ 6/ 64/ Petosa_-_old_accordions_03.jpg") pictureList.kif 10687-10687 externalImage 群体 and "http://upload.wikimedia.org/wikipedia/commons/6/64/ Petosa_-_old_accordions_03.jpg"
(externalImage Collection "http://upload.wikimedia.org/wikipedia/commons/ 6/ 6e/ The_old_Porsche-Museum%2C_Porscheplatz_1%2C_Stuttgart.jpg") pictureList.kif 10693-10693 externalImage 群体 and "http://upload.wikimedia.org/wikipedia/commons/6/6e/ The_old_Porsche-Museum%2C_Porscheplatz_1%2C_Stuttgart.jpg"
(externalImage Collection "http://upload.wikimedia.org/wikipedia/commons/ 8/ 88/ Collection-of-cameras.jpg") pictureList.kif 10690-10690 externalImage 群体 and "http://upload.wikimedia.org/wikipedia/commons/8/88/ Collection-of-cameras.jpg"
(externalImage Collection "http://upload.wikimedia.org/wikipedia/commons/ a/ aa/ Xtal-collection.jpg") pictureList.kif 10680-10680 externalImage 群体 and "http://upload.wikimedia.org/wikipedia/commons/a/aa/ Xtal-collection.jpg"
(externalImage Collection "http://upload.wikimedia.org/wikipedia/commons/ b/ b2/ Oropos-Phaeton.jpg") pictureList.kif 10692-10692 externalImage 群体 and "http://upload.wikimedia.org/wikipedia/commons/b/b2/ Oropos-Phaeton.jpg"
(externalImage Collection "http://upload.wikimedia.org/wikipedia/commons/ c/ ca/ Pog_Collection.jpg") pictureList.kif 10682-10682 externalImage 群体 and "http://upload.wikimedia.org/wikipedia/commons/c/ca/ Pog_Collection.jpg"
(externalImage Collection "http://upload.wikimedia.org/wikipedia/commons/ c/ cd/ CD_collection.jpg") pictureList.kif 10681-10681 externalImage 群体 and "http://upload.wikimedia.org/wikipedia/commons/c/cd/ CD_collection.jpg"
(externalImage Collection "http://upload.wikimedia.org/wikipedia/commons/ d/ d3/ Collection-of-Maps.jpg") pictureList.kif 10691-10691 externalImage 群体 and "http://upload.wikimedia.org/wikipedia/commons/d/d3/ Collection-of-Maps.jpg"
(externalImage Collection "http://upload.wikimedia.org/wikipedia/commons/ d/ d3/ Tuning_World_Bodensee_Thumbs_2004.JPG") pictureList.kif 10696-10696 externalImage 群体 and "http://upload.wikimedia.org/wikipedia/commons/d/d3/ Tuning_World_Bodensee_Thumbs_2004.JPG"
(externalImage Collection "http://upload.wikimedia.org/wikipedia/commons/ e/ ec/ Speccy-collection.jpg") pictureList.kif 10686-10686 externalImage 群体 and "http://upload.wikimedia.org/wikipedia/commons/e/ec/ Speccy-collection.jpg"
(externalImage Collection "http://upload.wikimedia.org/wikipedia/commons/ f/ fa/ Bottle-collection.jpg") pictureList.kif 10685-10685 externalImage 群体 and "http://upload.wikimedia.org/wikipedia/commons/f/fa/ Bottle-collection.jpg"
(subclass Collection Object) Merge.kif 1294-1294 群体客体subclass

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


(instance UnitedStatesMinorOutlyingIslands Collection) Media.kif 2577-2577 UnitedStatesMinorOutlyingIslands群体instance
(range QPViewsFn Collection) UXExperimentalTerms.kif 4366-4366 QPViewsFnrange群体 的实例
(range QualifiedTreatmentsFn Collection) UXExperimentalTerms.kif 4431-4431 QualifiedTreatmentsFnrange群体 的实例
(range QualifyingEventsFn Collection) UXExperimentalTerms.kif 4398-4398 QualifyingEventsFnrange群体 的实例
(range QualifyingPurchasesFn Collection) UXExperimentalTerms.kif 3239-3239 QualifyingPurchasesFnrange群体 的实例
(range SellersItemsFn Collection) UXExperimentalTerms.kif 1181-1181 SellersItemsFnrange群体 的实例
(range SellersOtherItemsFn Collection) UXExperimentalTerms.kif 1220-1220 SellersOtherItemsFnrange群体 的实例
(range SiteWideNewBuyersFn Collection) UXExperimentalTerms.kif 3562-3562 SiteWideNewBuyersFnrange群体 的实例
(range SiteWideNewRegistrationsFn Collection) UXExperimentalTerms.kif 3615-3615 SiteWideNewRegistrationsFnrange群体 的实例
(range SiteWideNewSellersFn Collection) UXExperimentalTerms.kif 3662-3662 SiteWideNewSellersFnrange群体 的实例
(range TreatedUsersFn Collection) UXExperimentalTerms.kif 4471-4471 TreatedUsersFnrange群体 的实例
(subclass Archipelago Collection) Geography.kif 5503-5503 Archipelago群体subclass
(subclass Buffet Collection) Dining.kif 258-258 Buffet群体subclass
(subclass ClothingSuit Collection) Mid-level-ontology.kif 5577-5577 ClothingSuit群体subclass
(subclass CommunicationSystem Collection) Mid-level-ontology.kif 7325-7325 CommunicationSystem群体subclass
(subclass Convoy Collection) Mid-level-ontology.kif 20151-20151 Convoy群体subclass
(subclass Discography Collection) Music.kif 60-60 Discography群体subclass
(subclass FireSprinklerSystem Collection) Mid-level-ontology.kif 23364-23364 FireSprinklerSystem群体subclass
(subclass Fleet Collection) Mid-level-ontology.kif 4049-4049 Fleet群体subclass
(subclass GolgiApparatus Collection) VirusProteinAndCellPart.kif 472-472 GolgiApparatus群体subclass
(subclass Group Collection) Merge.kif 16427-16427 群组群体subclass
(subclass HotelMiniBar Collection) Hotel.kif 1662-1662 HotelMiniBar群体subclass
(subclass Industry Collection) Mid-level-ontology.kif 12711-12711 Industry群体subclass
(subclass InlandWaterSystem Collection) Geography.kif 5006-5006 InlandWaterSystem群体subclass
(subclass Meal Collection) Food.kif 136-136 Meal群体subclass

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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


(domain ABPFn 1 Collection) UXExperimentalTerms.kif 3432-3432 ABPFn 的 1 数量 是 群体instance
(domain ASPFn 1 Collection) UXExperimentalTerms.kif 3475-3475 ASPFn 的 1 数量 是 群体instance
(domain AuctionGMBFn 1 Collection) UXExperimentalTerms.kif 3397-3397 AuctionGMBFn 的 1 数量 是 群体instance
(domain BidCountFn 1 Collection) UXExperimentalTerms.kif 3117-3117 BidCountFn 的 1 数量 是 群体instance
(domain BoughtItemsFn 1 Collection) UXExperimentalTerms.kif 3084-3084 BoughtItemsFn 的 1 数量 是 群体instance
(domain ClickThroughRateFn 1 Collection) UXExperimentalTerms.kif 3521-3521 ClickThroughRateFn 的 1 数量 是 群体instance
(domain ConversionRateFn 1 Collection) UXExperimentalTerms.kif 3048-3048 ConversionRateFn 的 1 数量 是 群体instance
(domain GMBFn 1 Collection) UXExperimentalTerms.kif 3151-3151 GMBFn 的 1 数量 是 群体instance
(domain GMVFn 1 Collection) UXExperimentalTerms.kif 3194-3194 GMVFn 的 1 数量 是 群体instance
(domain SCRFn 1 Collection) UXExperimentalTerms.kif 3854-3854 SCRFn 的 1 数量 是 群体instance
(domain controlGroup 1 Collection) UXExperimentalTerms.kif 4036-4036 controlGroup 的 1 数量 是 群体instance
(domain experimentalTreatmentCollection 1 Collection) UXExperimentalTerms.kif 4229-4229 experimentalTreatmentCollection 的 1 数量 是 群体instance
(domain firstTimeBuyers 3 Collection) UXExperimentalTerms.kif 3715-3715 firstTimeBuyers 的 3 数量 是 群体instance
(domain firstTimeSellers 3 Collection) UXExperimentalTerms.kif 3763-3763 firstTimeSellers 的 3 数量 是 群体instance
(domain fleetDeadWeightTonnage 1 Collection) Transportation.kif 977-977 fleetDeadWeightTonnage 的 1 数量 是 群体instance
(domain fleetGrossRegisteredTonnage 1 Collection) Transportation.kif 959-959 fleetGrossRegisteredTonnage 的 1 数量 是 群体instance
(domain inventory 2 Collection) Mid-level-ontology.kif 20592-20592 inventory 的 2 数量 是 群体instance
(domain meceCollection 1 Collection) UXExperimentalTerms.kif 4800-4800 meceCollection 的 1 数量 是 群体instance
(domain meceCollection 2 Collection) UXExperimentalTerms.kif 4802-4802 meceCollection 的 2 数量 是 群体instance
(domain member 2 Collection) Merge.kif 1314-1314 组员 的 2 数量 是 群体instance
(domain memberAtTime 2 Collection) Mid-level-ontology.kif 20574-20574 当时的组员 的 2 数量 是 群体instance
(domain memberCount 1 Collection) Mid-level-ontology.kif 20501-20501 memberCount 的 1 数量 是 群体instance
(domain memberType 1 Collection) Mid-level-ontology.kif 20523-20523 memberType 的 1 数量 是 群体instance
(domain memberTypeCount 1 Collection) Mid-level-ontology.kif 20537-20537 memberTypeCount 的 1 数量 是 群体instance
(domain newRegisteredUsers 3 Collection) UXExperimentalTerms.kif 3811-3811 newRegisteredUsers 的 3 数量 是 群体instance

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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


(=>
    (and
        (instance ?AUCTIONS Collection)
        (forall (?AUC)
            (=>
                (member ?AUC ?AUCTIONS)
                (instance ?AUC Auctioning))))
    (and
        (total
            (KappaFn ?AMOUNT
                (and
                    (instance ?AUCTION Auctioning)
                    (member ?AUCTION ?AUCTIONS)
                    (transactionAmount ?AUCTION ?AMOUNT))) ?TOTAL_PURCHASE_AMOUNT)
        (equal
            (AuctionGMBFn ?AUCTIONSS) ?TOTAL_PURCHASE_AMOUNT)))
UXExperimentalTerms.kif 3406-3421
(=>
    (and
        (instance ?BUYINGS Collection)
        (instance ?GMB CurrencyMeasure)
        (instance ?TOTAL RealNumber)
        (equal ?GMB
            (GMBFn ?BUYINGS))
        (equal ?TOTAL
            (CardinalityFn
                (KappaFn ?ITEM
                    (and
                        (instance ?ITEM Object)
                        (exists (?BUYING)
                            (and
                                (member ?BUYING ?BUYINGS)
                                (patient ?ITEM ?BUYING))))))))
    (equal
        (ABPFn ?BUYINGS)
        (DivisionFn ?GMB ?TOTAL)))
UXExperimentalTerms.kif 3444-3464
(=>
    (and
        (instance ?COLL Collection)
        (forall (?MEMBER)
            (=>
                (member ?MEMBER ?COLL)
                (instance ?MEMBER FinancialTransaction))))
    (equal
        (CardinalityFn
            (KappaFn ?ITEM
                (and
                    (instance ?ITEM Physical)
                    (instance ?BUYING Buying)
                    (member ?BUYING ?COLL)
                    (patient ?BUYING ?ITEM))))
        (BoughtItemsFn ?COLL)))
UXExperimentalTerms.kif 3093-3108
(=>
    (and
        (instance ?COLL Collection)
        (forall (?MEMBER)
            (=>
                (member ?MEMBER ?COLL)
                (instance ?MEMBER WebListing))))
    (equal
        (CardinalityFn
            (KappaFn ?BIDDING
                (and
                    (instance ?ITEM Physical)
                    (instance ?LISTING WebListing)
                    (instance ?BIDDING Bidding)
                    (member ?LISTING ?COLL)
                    (objectOfBid ?BIDDING ?ITEM)
                    (patient ?LISTING ?ITEM))))
        (BidCountFn ?COLL)))
UXExperimentalTerms.kif 3127-3144
(=>
    (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 3052-3076
(=>
    (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)
            (=>
                (and
                    (instance ?ITEM WebListing)
                    (member ?ITEM
                        (SellersItemsFn ?AGENT ?SITE))
                    (temporalPart ?TIME
                        (WhenFn ?ITEM))
                    (not
                        (equal ?ITEM ?LISTING)))
                (member ?ITEM ?COLL)))
        (forall (?MEMBER)
            (=>
                (member ?MEMBER ?COLL)
                (and
                    (temporalPart ?TIME
                        (WhenFn ?ITEM))
                    (instance ?MEMBER WebListing)))))
    (equal
        (SellersOtherItemsFn ?AGENT ?SITE ?LISTING ?TIME) ?COLL))
UXExperimentalTerms.kif 1229-1256
(=>
    (and
        (instance ?PURCHASES Collection)
        (forall (?MEMBER)
            (=>
                (member ?MEMBER ?PURCHASES)
                (instance ?MEMBER Buying)))
        (exists (?REGION)
            (and
                (instance ?REGION GeopoliticalArea)
                (forall (?BUYER ?BUYING)
                    (=>
                        (and
                            (instance ?BUYER Agent)
                            (instance ?BUYING Buying)
                            (member ?BUYING ?PURCHASES)
                            (agent ?BUYING ?BUYER))
                        (located ?BUYER ?REGION))))))
    (and
        (total
            (KappaFn ?AMOUNT
                (and
                    (instance ?PURCHASE Buying)
                    (member ?PURCHASE ?PURCHASES)
                    (transactionAmount ?PURCHASE ?AMOUNT))) ?TOTAL_PURCHASE_AMOUNT)
        (equal
            (GMBFn ?PURCHASES) ?TOTAL_PURCHASE_AMOUNT)))
UXExperimentalTerms.kif 3160-3186
(=>
    (and
        (instance ?SALES Collection)
        (forall (?MEMBER)
            (=>
                (member ?MEMBER ?SALES)
                (instance ?MEMBER Selling)))
        (exists (?REGION)
            (and
                (instance ?REGION GeopoliticalArea)
                (forall (?SELLER ?SELLING)
                    (=>
                        (and
                            (instance ?SELLER Agent)
                            (instance ?SELLING Buying)
                            (member ?SELLING ?SALES)
                            (agent ?SELLING ?SELLER))
                        (located ?SELLER ?REGION))))))
    (and
        (total
            (KappaFn ?AMOUNT
                (and
                    (instance ?SALE Selling)
                    (member ?SALE ?SALES)
                    (transactionAmount ?SALE ?AMOUNT))) ?TOTAL_SALE_AMOUNT)
        (equal
            (GMVFn ?SALES) ?TOTAL_SALE_AMOUNT)))
UXExperimentalTerms.kif 3203-3229
(=>
    (and
        (instance ?SAMPLE_COLL Collection)
        (instance ?POP_COLL Collection)
        (instance ?EXPERIMENT Experimenting)
        (instance ?AGENT CognitiveAgent)
        (agent ?EXPERIMENT ?AGENT)
        (statisticalPopulation ?SAMPLE_COLL ?POP_COLL ?EXPERIMENT))
    (forall (?ATTRIBUTE)
        (=>
            (and
                (instance ?ATTRIBUTE Attribute)
                (property ?SAMPLE_COLL ?ATTRIBUTE)
                (inScopeOfInterest ?AGENT ?ATTRIBUTE)
                (not
                    (equal ?ATTRIBUTE RepresentativeSample)))
            (property ?POP_COLL ?ATTRIBUTE))))
UXExperimentalTerms.kif 627-643
(=>
    (and
        (instance ?SAMPLE_COLL Collection)
        (instance ?POP_COLL Collection)
        (instance ?EXPERIMENT Experimenting)
        (statisticalPopulation ?SAMPLE_COLL ?POP_COLL ?EXPERIMENT))
    (subCollection ?SAMPLE_COLL ?POP_COLL))
UXExperimentalTerms.kif 606-612
(=>
    (and
        (instance ?SELLINGS Collection)
        (instance ?GMV CurrencyMeasure)
        (instance ?TOTAL RealNumber)
        (equal ?GMV
            (GMVFn ?SELLINGS))
        (equal ?TOTAL
            (CardinalityFn
                (KappaFn ?ITEM
                    (and
                        (instance ?ITEM Object)
                        (exists (?SELLING)
                            (and
                                (member ?SELLING ?SELLINGS)
                                (patient ?ITEM ?BUYING))))))))
    (equal
        (ASPFn ?SELLINGS)
        (DivisionFn ?GMV ?TOTAL)))
UXExperimentalTerms.kif 3487-3507
(=>
    (and
        (instance ?VISITOR Human)
        (instance ?COLL Collection)
        (forall (?EXPERIMENTING ?EVENT)
            (=>
                (and
                    (instance ?EXPERIMENTING Experimenting)
                    (instance ?EVENT Process)
                    (member ?EVENT
                        (QualifyingEventsFn ?EXPERIMENT))
                    (capability ?EVENT experiencer ?VISITOR))
                (member ?EVENT ?COLL)))
        (=>
            (member ?PROC ?COLL)
            (and
                (instance ?PROC Process)
                (exists (?EXP)
                    (and
                        (instance ?EXP Experimenting)
                        (member ?PROC
                            (QualifyingEventsFn ?EXP))
                        (capability ?PROC experiencer ?VISITOR))))))
    (equal
        (QualifiedTreatmentsFn ?VISITOR) ?COLL))
UXExperimentalTerms.kif 4439-4462
(=>
    (and
        (instance ?VISITOR Human)
        (instance ?QPVIEWS Collection)
        (forall (?PAGE ?ACCESSING ?EXPERIMENT)
            (=>
                (and
                    (instance ?PAGE WebPage)
                    (instance ?ACCESSING AccessingWebPage)
                    (instance ?EXPERIMENT Experimenting)
                    (agent ?ACCESSING ?VISITOR)
                    (patient ?ACCESSING ?PAGE)
                    (treatedPage ?PAGE ?EXPERIMENT))
                (member ?ACCESSING ?QPVIEWS))))
    (equal ?QPVIEWS
        (QPViewsFn ?VISITOR)))
UXExperimentalTerms.kif 4373-4388
(=>
    (and
        (instance ?VISITS Collection)
        (instance ?HYPERLINK HypertextLink)
        (forall (?ACCESSING)
            (and
                (member ?ACCESSING ?PAGE)
                (and
                    (instance ?ACCESSING AccessingWebPage)
                    (component ?PAGE ?HYPERLINK)))))
    (exists (?CLICKS)
        (and
            (instance ?CLICKS Collection)
            (forall (?CLICK)
                (=>
                    (and
                        (instance ?CLICK RequestingHyperlink)
                        (patient ?CLICK ?HYPERLINK))
                    (member ?CLICK ?CLICKS)))
            (equal
                (ClickThroughRateFn ?VISITS ?HYPERLINK)
                (DivisionFn
                    (CardinalityFn ?CLICKS)
                    (CardinalityFn ?VISITS))))))
UXExperimentalTerms.kif 3527-3550
(=>
    (and
        (instance ?VISITS Collection)
        (instance ?PURCHASES Collection)
        (subCollection ?PURCHASES ?VISITS)
        (forall (?MEMBER)
            (=>
                (member ?MEMBER ?VISITS)
                (instance ?MEMBER AccessingWebPage)))
        (forall (?BUYING ?VISITOR ?ACCESSING ?BUYING ?PAGE)
            (=>
                (and
                    (instance ?VISITOR Human)
                    (instance ?BUYING Buying)
                    (instance ?ACCESSING AccessingWebPage)
                    (instance ?PAGE WebPage)
                    (member ?ACCESSING ?VISITS)
                    (destination ?ACCESSING ?PAGE)
                    (agent ?BUYING ?VISITOR)
                    (agent ?ACCESSING ?VISITOR)
                    (during
                        (WhenFn ?BUYING)
                        (WhenFn ?ACCESSING))
                    (instrument ?BUYING ?PAGE))
                (member ?BUYING ?QUALIFYING_PURCHASES))))
    (equal
        (SCRFn ?VISITS ?INTERVAL)
        (DivisionFn
            (CardinalityFn
                (KappaFn ?PURCHASE_IN_INTERVAL
                    (and
                        (member ?PURCHASE_IN_INTERVAL ?PURCHASES)
                        (during
                            (WhenFn ?PURCHASE_IN_INTERVAL) ?INTERVAL))))
            (CardinalityFn
                (KappaFn ?VISIT_IN_INTERVAL
                    (and
                        (member ?VISIT_IN_INTERVAL ?VISITS)
                        (during
                            (WhenFn ?PURCHASE_IN_INTERVAL) ?INTERVAL)))))))
UXExperimentalTerms.kif 3864-3899
(=>
    (and
        (meceCollection ?COLL1 ?COLL2)
        (instance ?COLL3 Collection)
        (instance ?COLL4 Collection)
        (instance ?MEMBER SelfConnectedObject)
        (member ?MEMBER ?COLL1)
        (member ?COLL3 ?COLL2)
        (member ?COLL4 ?COLL2)
        (not
            (equal ?COLL3 ?COLL4)))
    (not
        (and
            (member ?MEMBER ?COLL3)
            (member ?MEMBER ?COLL4))))
UXExperimentalTerms.kif 4829-4843
(=>
    (instance ?COLL Collection)
    (exists (?OBJ)
        (member ?OBJ ?COLL)))
Merge.kif 1305-1308

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


(=>
    (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 1188-1204
(=>
    (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 ?C Crystal)
        (attribute ?C MonoCrystalline)
        (instance ?Sub Substance)
        (attribute ?Sub Solid)
        (attribute ?Sub PolyCrystalline)
        (instance ?S Substance)
        (surface ?S ?Sub)
        (not
            (part ?C ?S)))
    (exists (?CLNT)
        (and
            (instance ?CLNT Collection)
            (memberCount ?CLNT ?X)
            (greaterThanOrEqualTo ?X 4)
            (=>
                (member ?MBR ?CLNT)
                (and
                    (part ?MBR ?Sub)
                    (meetsSpatially ?C ?MBR))))))
Geography.kif 6464-6484
(=>
    (and
        (instance ?INTERVAL TimeInterval)
        (instance ?SITE WebSite))
    (exists (?NEWBUYERS)
        (and
            (instance ?NEWBUYERS Collection)
            (instance ?BEFORE TimeInterval)
            (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 3570-3603
(=>
    (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 ?INSTERVAL_DURING TimeInterval)
                                (during ?INTERVAL_DURING ?INTERVAL)
                                (holdsDuring ?INTERVAL
                                    (registeredUser ?USER ?SITE)))))
                    (member ?USER ?NEWREGISTRATIONS)))
            (equal ?NEWREGISTRATIONS
                (SiteWideNewRegistrationsFn ?INTERVAL ?SITE)))))
UXExperimentalTerms.kif 3623-3650
(=>
    (and
        (instance ?INTERVAL TimeInterval)
        (instance ?SITE WebSite))
    (exists (?NEWSELLERS)
        (and
            (instance ?NEWSELLERS Collection)
            (instance ?BEFORE TimeInterval)
            (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 3670-3703
(=>
    (and
        (instance ?VARIABLE Process)
        (instance ?EXPERIMENT Experimenting)
        (instance ?AGENT Agent)
        (experiencer ?AGENT Agent)
        (experimentalVariableProcess ?EXPERIMENT ?VARIABLE))
    (exists (?CONTROL_GROUP)
        (and
            (instance ?CONTROL_GROUP Collection)
            (member ?AGENT ?CONTROL_GROUP)
            (controlGroup ?CONTROL_GROUP ?EXPERIMENT))))
UXExperimentalTerms.kif 4046-4057
(=>
    (and
        (instance ?VARIABLE Process)
        (instance ?EXPERIMENT Experimenting)
        (instance ?AGENT Agent)
        (experiencer ?AGENT Agent)
        (experimentalVariableProcess ?EXPERIMENT ?VARIABLE))
    (exists (?TREATMENT_GROUP)
        (and
            (instance ?TREATMENT_GROUP Collection)
            (member ?AGENT ?TREATMENT_GROUP)
            (treatmentGroup ?TREATMENT_GROUP ?EXPERIMENT))))
UXExperimentalTerms.kif 4163-4174
(=>
    (and
        (instance ?VISITS Collection)
        (instance ?HYPERLINK HypertextLink)
        (forall (?ACCESSING)
            (and
                (member ?ACCESSING ?PAGE)
                (and
                    (instance ?ACCESSING AccessingWebPage)
                    (component ?PAGE ?HYPERLINK)))))
    (exists (?CLICKS)
        (and
            (instance ?CLICKS Collection)
            (forall (?CLICK)
                (=>
                    (and
                        (instance ?CLICK RequestingHyperlink)
                        (patient ?CLICK ?HYPERLINK))
                    (member ?CLICK ?CLICKS)))
            (equal
                (ClickThroughRateFn ?VISITS ?HYPERLINK)
                (DivisionFn
                    (CardinalityFn ?CLICKS)
                    (CardinalityFn ?VISITS))))))
UXExperimentalTerms.kif 3527-3550
(=>
    (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 1811-1827
(=>
    (and
        (meceCollection ?COLL1 ?COLL2)
        (member ?MEMBER ?COLL1)
        (instance ?MEMBER SelfConnectedObject))
    (exists (?COLL3)
        (and
            (instance ?COLL3 Collection)
            (member ?MEMBER ?COLL3)
            (member ?COLL3 ?COLL2))))
UXExperimentalTerms.kif 4818-4827
(=>
    (and
        (meceCollection ?COLL1 ?COLL2)
        (member ?MEMBER ?COLL2)
        (instance ?MEMBER SelfConnectedObject))
    (instance ?MEMBER Collection))
UXExperimentalTerms.kif 4811-4816
(=>
    (attribute ?COLLECTION LineFormation)
    (instance ?COLLECTION Collection))
Mid-level-ontology.kif 17209-17211
(=>
    (attribute ?X Florists)
    (hasPurpose ?X
        (exists (?FLOWER ?PROC)
            (and
                (instance ?PROC Designing)
                (instance ?FLOWER Collection)
                (memberType ?FLOWER Flower)
                (patient ?PROC ?FLOWER)
                (agent ?PROC ?X)))))
naics.kif 7782-7791
(=>
    (coilCount ?WC ?N)
    (exists (?C)
        (and
            (instance ?C Collection)
            (memberCount ?C ?N)
            (forall (?M)
                (=>
                    (member ?M ?C)
                    (and
                        (attribute ?M ClosedTwoDimensionalFigure)
                        (part ?M ?WC)
                        (not
                            (exists (?M2)
                                (and
                                    (overlapsSpatially ?M2 ?M)
                                    (member ?M2 ?C))))))))))
Cars.kif 3088-3104
(=>
    (engineCylinders ?E ?N)
    (exists (?G)
        (and
            (instance ?G Collection)
            (memberTypeCount ?G EngineCylinder ?N)
            (member ?EC ?G)
            (part ?EC ?E))))
Cars.kif 4502-4509
(=>
    (groupingTitle ?STRING ?PRODUCTTYPE ?LANGUAGE)
    (subclass ?PRODUCTTYPE Collection))
Media.kif 3139-3141
(=>
    (instance ?ADAPT OutletAdapter)
    (exists (?HOLE)
        (and
            (instance ?HOLE Collection)
            (memberType ?HOLE Hole)
            (part ?HOLE ?ADAPT)
            (material Metal ?ADAPT))))
Mid-level-ontology.kif 23954-23961
(=>
    (instance ?B BowlingBall)
    (exists (?HOLES)
        (and
            (instance ?HOLES Collection)
            (memberType ?HOLES Hole)
            (memberCount ?HOLES 3)
            (located ?HOLES ?B)
            (hasPurpose ?HOLES
                (exists (?FINGER)
                    (and
                        (member ?FINGER ?HOLES)
                        (instance ?FINGER Finger)
                        (partiallyFills ?FINGER ?HOLE)))))))
Sports.kif 975-988
(=>
    (instance ?B Bus)
    (hasPurpose ?B
        (exists (?C ?T ?N)
            (and
                (instance ?C Collection)
                (instance ?T Transportation)
                (memberCount ?C ?N)
                (greaterThan ?N 11)
                (=>
                    (member ?P ?C)
                    (patient ?T ?P))))))
Transportation.kif 1936-1947
(=>
    (instance ?BF BowlingFacility)
    (exists (?BL)
        (and
            (instance ?BL Collection)
            (memberType ?BL BowlingLane)
            (located ?BL ?BF))))
Sports.kif 1012-1018
(=>
    (instance ?DRIZZLE Drizzling)
    (exists (?RAIN ?CLTN ?R ?SIZE)
        (and
            (instance ?RAIN Raining)
            (instance ?CLTN Collection)
            (instance ?R Water)
            (instance ?R LiquidDrop)
            (member ?R ?CLTN)
            (objectTransferred ?RAIN ?CLTN)
            (approximateDiameter ?R
                (MeasureFn ?SIZE Millimeter))
            (modalAttribute
                (lessThanOrEqualTo ?SIZE 0.5) Likely))))
Weather.kif 1214-1227
(=>
    (instance ?DROP Raindrop)
    (exists (?RAIN)
        (and
            (instance ?RAIN Rain)
            (instance ?RAIN Collection)
            (member ?DROP ?RAIN))))
Weather.kif 1426-1432
(=>
    (instance ?EXPERIMENT Experimenting)
    (exists (?QUALIFYING_EVENTS)
        (and
            (instance ?QUALIFYING_EVENTS Collection)
            (forall (?EVENT)
                (=>
                    (and
                        (instance ?EVENT Process)
                        (or
                            (experimentalControlProcess ?EXPERIMENT ?EVENT)
                            (experimentalVariableProcess ?EXPERIMENT ?EVENT)))
                    (member ?EVENT ?QUALIFYING_EVENTS)))
            (equal
                (QualifyingEventsFn ?EXPERIMENT) ?QUALIFYING_EVENTS))))
UXExperimentalTerms.kif 4406-4421
(=>
    (instance ?EXPERIMENT Experimenting)
    (exists (?TREATED_USERS)
        (and
            (instance ?TREATED_USERS Collection)
            (forall (?USER)
                (=>
                    (and
                        (instance ?USER Human)
                        (treatedUser ?USER ?EXPERIMENT))
                    (member ?USER ?TREATED_USERS)))
            (equal
                (TreatedUsersFn ?EXPERIMENT) ?TREATED_USERS))))
UXExperimentalTerms.kif 4476-4488

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25