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

Formal Language: 



KB Term:  Term intersection
English Word: 

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

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


(disjoint Collection SelfConnectedObject) Merge.kif 1189-1189 群体 和 % 2 是 disjoint
(documentation Collection ChineseLanguage "群体和 Class 一样,拥有 member ,可它又不像 Class, 因为它们在时空有一个定位,而且 Collection 可以加和减 member 却不会改变自身的身份。它的 例子有工具包、足球队和羊群。") chinese_format.kif 1630-1632
(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, repeated actions, football teams, and flocks of sheep.") Merge.kif 1191-1195
(externalImage Collection "http://upload.wikimedia.org/wikipedia/commons/ 3/ 38/ Stamp_collection.jpg") pictureList.kif 10678-10678
(externalImage Collection "http://upload.wikimedia.org/wikipedia/commons/ 3/ 3a/ Collection_Quid.jpg") pictureList.kif 10677-10677
(externalImage Collection "http://upload.wikimedia.org/wikipedia/commons/ 3/ 3f/ Book_collection.jpg") pictureList.kif 10673-10673
(externalImage Collection "http://upload.wikimedia.org/wikipedia/commons/ 4/ 48/ Greek_pottery1.jpg") pictureList.kif 10684-10684
(externalImage Collection "http://upload.wikimedia.org/wikipedia/commons/ 4/ 4c/ Beetle_collection.jpg") pictureList.kif 10672-10672
(externalImage Collection "http://upload.wikimedia.org/wikipedia/commons/ 4/ 4c/ Bgbo_kakteen_ies.jpg") pictureList.kif 10683-10683
(externalImage Collection "http://upload.wikimedia.org/wikipedia/commons/ 4/ 4d/ LA2-katalogkort.jpg") pictureList.kif 9956-9956
(externalImage Collection "http://upload.wikimedia.org/wikipedia/commons/ 6/ 64/ Petosa_-_old_accordions_03.jpg") pictureList.kif 10676-10676
(externalImage Collection "http://upload.wikimedia.org/wikipedia/commons/ 6/ 6e/ The_old_Porsche-Museum%2C_Porscheplatz_1%2C_Stuttgart.jpg") pictureList.kif 10682-10682
(externalImage Collection "http://upload.wikimedia.org/wikipedia/commons/ 8/ 88/ Collection-of-cameras.jpg") pictureList.kif 10679-10679
(externalImage Collection "http://upload.wikimedia.org/wikipedia/commons/ a/ aa/ Xtal-collection.jpg") pictureList.kif 10669-10669
(externalImage Collection "http://upload.wikimedia.org/wikipedia/commons/ b/ b2/ Oropos-Phaeton.jpg") pictureList.kif 10681-10681
(externalImage Collection "http://upload.wikimedia.org/wikipedia/commons/ c/ ca/ Pog_Collection.jpg") pictureList.kif 10671-10671
(externalImage Collection "http://upload.wikimedia.org/wikipedia/commons/ c/ cd/ CD_collection.jpg") pictureList.kif 10670-10670
(externalImage Collection "http://upload.wikimedia.org/wikipedia/commons/ d/ d3/ Collection-of-Maps.jpg") pictureList.kif 10680-10680
(externalImage Collection "http://upload.wikimedia.org/wikipedia/commons/ d/ d3/ Tuning_World_Bodensee_Thumbs_2004.JPG") pictureList.kif 10685-10685
(externalImage Collection "http://upload.wikimedia.org/wikipedia/commons/ e/ ec/ Speccy-collection.jpg") pictureList.kif 10675-10675
(externalImage Collection "http://upload.wikimedia.org/wikipedia/commons/ f/ fa/ Bottle-collection.jpg") pictureList.kif 10674-10674
(subclass Collection Object) Merge.kif 1188-1188 群体客体subclass

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


(instance UnitedStatesMinorOutlyingIslands Collection) Media.kif 2589-2589 UnitedStatesMinorOutlyingIslands群体instance
(range QPViewsFn Collection) UXExperimentalTerms.kif 4375-4375 QPViewsFnrange群体 的实例
(range QualifiedTreatmentsFn Collection) UXExperimentalTerms.kif 4440-4440 QualifiedTreatmentsFnrange群体 的实例
(range QualifyingEventsFn Collection) UXExperimentalTerms.kif 4407-4407 QualifyingEventsFnrange群体 的实例
(range QualifyingPurchasesFn Collection) UXExperimentalTerms.kif 3242-3242 QualifyingPurchasesFnrange群体 的实例
(range SellersItemsFn Collection) UXExperimentalTerms.kif 1182-1182 SellersItemsFnrange群体 的实例
(range SellersOtherItemsFn Collection) UXExperimentalTerms.kif 1221-1221 SellersOtherItemsFnrange群体 的实例
(range SiteWideNewBuyersFn Collection) UXExperimentalTerms.kif 3576-3576 SiteWideNewBuyersFnrange群体 的实例
(range SiteWideNewRegistrationsFn Collection) UXExperimentalTerms.kif 3628-3628 SiteWideNewRegistrationsFnrange群体 的实例
(range SiteWideNewSellersFn Collection) UXExperimentalTerms.kif 3675-3675 SiteWideNewSellersFnrange群体 的实例
(range TreatedUsersFn Collection) UXExperimentalTerms.kif 4480-4480 TreatedUsersFnrange群体 的实例
(subclass Archipelago Collection) Geography.kif 5624-5624 群岛群体subclass
(subclass Buffet Collection) Dining.kif 251-251 Buffet群体subclass
(subclass ClothingSuit Collection) Mid-level-ontology.kif 5001-5001 服装套装群体subclass
(subclass CommunicationSystem Collection) Mid-level-ontology.kif 7271-7271 通讯系统群体subclass
(subclass ComputerSystem Collection) ComputingBrands.kif 3284-3284 ComputerSystem群体subclass
(subclass Convoy Collection) Mid-level-ontology.kif 21633-21633 护航群体subclass
(subclass Discography Collection) Music.kif 60-60 Discography群体subclass
(subclass FireSprinklerSystem Collection) Mid-level-ontology.kif 24661-24661 FireSprinklerSystem群体subclass
(subclass Fleet Collection) Mid-level-ontology.kif 3447-3447 Fleet群体subclass
(subclass GolgiApparatus Collection) VirusProteinAndCellPart.kif 544-544 高尔基体群体subclass
(subclass Group Collection) Merge.kif 15564-15564 群组群体subclass
(subclass HotelMiniBar Collection) Hotel.kif 1693-1693 HotelMiniBar群体subclass
(subclass Industry Collection) Mid-level-ontology.kif 14309-14309 行业群体subclass
(subclass InlandWaterSystem Collection) Geography.kif 5126-5126 内陆水系统群体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 3435-3435 ABPFn 的 1 数量 是 群体instance
(domain ASPFn 1 Collection) UXExperimentalTerms.kif 3478-3478 ASPFn 的 1 数量 是 群体instance
(domain AuctionGMBFn 1 Collection) UXExperimentalTerms.kif 3400-3400 AuctionGMBFn 的 1 数量 是 群体instance
(domain BidCountFn 1 Collection) UXExperimentalTerms.kif 3120-3120 BidCountFn 的 1 数量 是 群体instance
(domain BoughtItemsFn 1 Collection) UXExperimentalTerms.kif 3087-3087 BoughtItemsFn 的 1 数量 是 群体instance
(domain ClickThroughRateFn 1 Collection) UXExperimentalTerms.kif 3535-3535 ClickThroughRateFn 的 1 数量 是 群体instance
(domain ConversionRateFn 1 Collection) UXExperimentalTerms.kif 3051-3051 ConversionRateFn 的 1 数量 是 群体instance
(domain GMBFn 1 Collection) UXExperimentalTerms.kif 3154-3154 GMBFn 的 1 数量 是 群体instance
(domain GMVFn 1 Collection) UXExperimentalTerms.kif 3197-3197 GMVFn 的 1 数量 是 群体instance
(domain SCRFn 1 Collection) UXExperimentalTerms.kif 3866-3866 SCRFn 的 1 数量 是 群体instance
(domain controlGroup 1 Collection) UXExperimentalTerms.kif 4048-4048 controlGroup 的 1 数量 是 群体instance
(domain experimentalTreatmentCollection 1 Collection) UXExperimentalTerms.kif 4241-4241 experimentalTreatmentCollection 的 1 数量 是 群体instance
(domain firstTimeBuyers 3 Collection) UXExperimentalTerms.kif 3727-3727 firstTimeBuyers 的 3 数量 是 群体instance
(domain firstTimeSellers 3 Collection) UXExperimentalTerms.kif 3775-3775 firstTimeSellers 的 3 数量 是 群体instance
(domain fleetDeadWeightTonnage 1 Collection) Transportation.kif 1003-1003 舰队载重吨位 的 1 数量 是 群体instance
(domain fleetGrossRegisteredTonnage 1 Collection) Transportation.kif 985-985 船队总注册吨位 的 1 数量 是 群体instance
(domain inventory 2 Collection) Mid-level-ontology.kif 21994-21994 库存 的 2 数量 是 群体instance
(domain meceCollection 1 Collection) UXExperimentalTerms.kif 4810-4810 meceCollection 的 1 数量 是 群体instance
(domain meceCollection 2 Collection) UXExperimentalTerms.kif 4812-4812 meceCollection 的 2 数量 是 群体instance
(domain member 2 Collection) Merge.kif 1207-1207 组员 的 2 数量 是 群体instance
(domain memberAtTime 2 Collection) Mid-level-ontology.kif 21976-21976 当时的组员 的 2 数量 是 群体instance
(domain memberCount 1 Collection) Mid-level-ontology.kif 21910-21910 会员数 的 1 数量 是 群体instance
(domain memberType 1 Collection) Mid-level-ontology.kif 21925-21925 会员类型 的 1 数量 是 群体instance
(domain memberTypeCount 1 Collection) Mid-level-ontology.kif 21939-21939 会员类型计数 的 1 数量 是 群体instance
(domain newRegisteredUsers 3 Collection) UXExperimentalTerms.kif 3823-3823 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 ?AUCTIONS) ?TOTAL_PURCHASE_AMOUNT)))
UXExperimentalTerms.kif 3409-3424
(=>
    (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 3447-3467
(=>
    (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 3096-3111
(=>
    (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 3130-3147
(=>
    (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 3055-3079
(=>
    (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 ?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 ?LGP LargeGroupProcess)
        (instance ?G Collection)
        (member ?M ?G)
        (involvedInEvent ?LGP ?M)
        (memberCount ?G ?N))
    (greaterThan ?N 10))
Mid-level-ontology.kif 7585-7592
(=>
    (and
        (instance ?LGP LargeGroupProcess)
        (instance ?G Collection)
        (member ?M ?G)
        (involvedInEvent ?LGP ?M))
    (exists (?P ?PC)
        (and
            (instance ?PC ?P)
            (involvedInEvent ?PC ?M))))
Mid-level-ontology.kif 7594-7603
(=>
    (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 3163-3189
(=>
    (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 3206-3232
(=>
    (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 629-645
(=>
    (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 608-614
(=>
    (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 ?SELLING ?ITEM))))))))
    (equal
        (ASPFn ?SELLINGS)
        (DivisionFn ?GMV ?TOTAL)))
UXExperimentalTerms.kif 3490-3510
(=>
    (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 4448-4471
(=>
    (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 4382-4397
(=>
    (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 3541-3564
(=>
    (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 ?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 3876-3911
(=>
    (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 4839-4853
(=>
    (instance ?COLL Collection)
    (exists (?OBJ)
        (member ?OBJ ?COLL)))
Merge.kif 1197-1200

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 1189-1205
(=>
    (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 6672-6692
(=>
    (and
        (instance ?INTERVAL TimeInterval)
        (instance ?SITE WebSite))
    (exists (?NEWBUYERS)
        (and
            (instance ?NEWBUYERS Collection)
            (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 3584-3616
(=>
    (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 3636-3663
(=>
    (and
        (instance ?INTERVAL TimeInterval)
        (instance ?SITE WebSite))
    (exists (?NEWSELLERS)
        (and
            (instance ?NEWSELLERS Collection)
            (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 3683-3715
(=>
    (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 4058-4069
(=>
    (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 4175-4186
(=>
    (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 3541-3564
(=>
    (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 1812-1828
(=>
    (and
        (meceCollection ?COLL1 ?COLL2)
        (member ?MEMBER ?COLL1)
        (instance ?MEMBER SelfConnectedObject))
    (exists (?COLL3)
        (and
            (instance ?COLL3 Collection)
            (member ?MEMBER ?COLL3)
            (member ?COLL3 ?COLL2))))
UXExperimentalTerms.kif 4828-4837
(=>
    (and
        (meceCollection ?COLL1 ?COLL2)
        (member ?MEMBER ?COLL2)
        (instance ?MEMBER SelfConnectedObject))
    (instance ?MEMBER Collection))
UXExperimentalTerms.kif 4821-4826
(=>
    (and
        (shortage ?A ?O ?C ?T ?N)
        (instance ?N Integer))
    (desires ?A
        (exists (?B ?G)
            (and
                (instance ?B Buying)
                (during
                    (WhenFn ?B) ?T)
                (objectTransferred ?B ?G)
                (transactionAmount ?B ?C)
                (agent ?B ?A)
                (instance ?G Collection)
                (memberType ?G ?O)
                (memberCount ?G ?N)
                (possesses ?A ?G)))))
Mid-level-ontology.kif 30186-30201
(=>
    (and
        (shortage ?A ?O ?C ?T ?N)
        (instance ?N Integer))
    (desires ?A
        (exists (?G)
            (and
                (instance ?G Collection)
                (memberType ?G ?O)
                (memberCount ?G ?N)
                (possesses ?A ?G)))))
Mid-level-ontology.kif 30130-30140
(=>
    (and
        (shortage ?A ?O ?C ?T ?N)
        (instance ?N Integer))
    (not
        (exists (?B ?G)
            (and
                (instance ?B Buying)
                (during
                    (WhenFn ?B) ?T)
                (objectTransferred ?B ?G)
                (transactionAmount ?B ?C)
                (agent ?B ?A)
                (instance ?G Collection)
                (memberType ?G ?O)
                (memberCount ?G ?N)
                (possesses ?A ?G)))))
Mid-level-ontology.kif 30153-30168
(=>
    (attribute ?COLLECTION LineFormation)
    (instance ?COLLECTION Collection))
Mid-level-ontology.kif 18636-18638
(=>
    (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 7773-7782
(=>
    (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 3117-3133
(=>
    (engineCylinders ?E ?N)
    (exists (?G)
        (and
            (instance ?G Collection)
            (memberTypeCount ?G EngineCylinder ?N)
            (member ?EC ?G)
            (part ?EC ?E))))
Cars.kif 4534-4541
(=>
    (groupingTitle ?STRING ?PRODUCTTYPE ?LANGUAGE)
    (subclass ?PRODUCTTYPE Collection))
Media.kif 3185-3187
(=>
    (heartRate ?H ?T ?I)
    (exists (?C)
        (and
            (instance ?C Collection)
            (memberType ?C HeartBeat)
            (memberCount ?C ?I)
            (=>
                (member ?M ?C)
                (and
                    (patient ?M ?H)
                    (during
                        (WhenFn ?M) ?T))))))
Mid-level-ontology.kif 9785-9797
(=>
    (instance ?ADAPT OutletAdapter)
    (exists (?HOLE)
        (and
            (instance ?HOLE Collection)
            (memberType ?HOLE Hole)
            (part ?HOLE ?ADAPT)
            (material Metal ?ADAPT))))
Mid-level-ontology.kif 25190-25197
(=>
    (instance ?B BowlingBall)
    (exists (?HOLES)
        (and
            (instance ?HOLES Collection)
            (memberType ?HOLES Hole)
            (memberCount ?HOLES 3)
            (located ?HOLES ?B)
            (hasPurpose ?HOLES
                (exists (?FINGER ?HOLE)
                    (and
                        (member ?HOLE ?HOLES)
                        (instance ?FINGER Finger)
                        (partiallyFills ?FINGER ?HOLE)))))))
Sports.kif 1053-1066
(=>
    (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 1980-1991
(=>
    (instance ?BF BowlingFacility)
    (exists (?BL)
        (and
            (instance ?BL Collection)
            (memberType ?BL BowlingLane)
            (located ?BL ?BF))))
Sports.kif 1090-1096

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25