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 1156-1156 群体 和 % 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, football teams, and flocks of sheep.") Merge.kif 1158-1162
(externalImage Collection "http://upload.wikimedia.org/wikipedia/commons/ 3/ 38/ Stamp_collection.jpg") pictureList.kif 10689-10689
(externalImage Collection "http://upload.wikimedia.org/wikipedia/commons/ 3/ 3a/ Collection_Quid.jpg") pictureList.kif 10688-10688
(externalImage Collection "http://upload.wikimedia.org/wikipedia/commons/ 3/ 3f/ Book_collection.jpg") pictureList.kif 10684-10684
(externalImage Collection "http://upload.wikimedia.org/wikipedia/commons/ 4/ 48/ Greek_pottery1.jpg") pictureList.kif 10695-10695
(externalImage Collection "http://upload.wikimedia.org/wikipedia/commons/ 4/ 4c/ Beetle_collection.jpg") pictureList.kif 10683-10683
(externalImage Collection "http://upload.wikimedia.org/wikipedia/commons/ 4/ 4c/ Bgbo_kakteen_ies.jpg") pictureList.kif 10694-10694
(externalImage Collection "http://upload.wikimedia.org/wikipedia/commons/ 4/ 4d/ LA2-katalogkort.jpg") pictureList.kif 9966-9966
(externalImage Collection "http://upload.wikimedia.org/wikipedia/commons/ 6/ 64/ Petosa_-_old_accordions_03.jpg") pictureList.kif 10687-10687
(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 Collection "http://upload.wikimedia.org/wikipedia/commons/ 8/ 88/ Collection-of-cameras.jpg") pictureList.kif 10690-10690
(externalImage Collection "http://upload.wikimedia.org/wikipedia/commons/ a/ aa/ Xtal-collection.jpg") pictureList.kif 10680-10680
(externalImage Collection "http://upload.wikimedia.org/wikipedia/commons/ b/ b2/ Oropos-Phaeton.jpg") pictureList.kif 10692-10692
(externalImage Collection "http://upload.wikimedia.org/wikipedia/commons/ c/ ca/ Pog_Collection.jpg") pictureList.kif 10682-10682
(externalImage Collection "http://upload.wikimedia.org/wikipedia/commons/ c/ cd/ CD_collection.jpg") pictureList.kif 10681-10681
(externalImage Collection "http://upload.wikimedia.org/wikipedia/commons/ d/ d3/ Collection-of-Maps.jpg") pictureList.kif 10691-10691
(externalImage Collection "http://upload.wikimedia.org/wikipedia/commons/ d/ d3/ Tuning_World_Bodensee_Thumbs_2004.JPG") pictureList.kif 10696-10696
(externalImage Collection "http://upload.wikimedia.org/wikipedia/commons/ e/ ec/ Speccy-collection.jpg") pictureList.kif 10686-10686
(externalImage Collection "http://upload.wikimedia.org/wikipedia/commons/ f/ fa/ Bottle-collection.jpg") pictureList.kif 10685-10685
(subclass Collection Object) Merge.kif 1155-1155 群体客体subclass

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


(instance UnitedStatesMinorOutlyingIslands Collection) Media.kif 2577-2577 UnitedStatesMinorOutlyingIslands群体instance
(range QPViewsFn Collection) UXExperimentalTerms.kif 4372-4372 QPViewsFnrange群体 的实例
(range QualifiedTreatmentsFn Collection) UXExperimentalTerms.kif 4437-4437 QualifiedTreatmentsFnrange群体 的实例
(range QualifyingEventsFn Collection) UXExperimentalTerms.kif 4404-4404 QualifyingEventsFnrange群体 的实例
(range QualifyingPurchasesFn Collection) UXExperimentalTerms.kif 3237-3237 QualifyingPurchasesFnrange群体 的实例
(range SellersItemsFn Collection) UXExperimentalTerms.kif 1178-1178 SellersItemsFnrange群体 的实例
(range SellersOtherItemsFn Collection) UXExperimentalTerms.kif 1217-1217 SellersOtherItemsFnrange群体 的实例
(range SiteWideNewBuyersFn Collection) UXExperimentalTerms.kif 3571-3571 SiteWideNewBuyersFnrange群体 的实例
(range SiteWideNewRegistrationsFn Collection) UXExperimentalTerms.kif 3623-3623 SiteWideNewRegistrationsFnrange群体 的实例
(range SiteWideNewSellersFn Collection) UXExperimentalTerms.kif 3670-3670 SiteWideNewSellersFnrange群体 的实例
(range TreatedUsersFn Collection) UXExperimentalTerms.kif 4477-4477 TreatedUsersFnrange群体 的实例
(subclass Archipelago Collection) Geography.kif 5518-5518 群岛群体subclass
(subclass Buffet Collection) Dining.kif 251-251 Buffet群体subclass
(subclass ClothingSuit Collection) Mid-level-ontology.kif 5577-5577 服装套装群体subclass
(subclass CommunicationSystem Collection) Mid-level-ontology.kif 7327-7327 通讯系统群体subclass
(subclass ComputerSystem Collection) ComputingBrands.kif 3305-3305 ComputerSystem群体subclass
(subclass Convoy Collection) Mid-level-ontology.kif 20164-20164 护航群体subclass
(subclass Discography Collection) Music.kif 60-60 Discography群体subclass
(subclass FireSprinklerSystem Collection) Mid-level-ontology.kif 23377-23377 FireSprinklerSystem群体subclass
(subclass Fleet Collection) Mid-level-ontology.kif 4045-4045 Fleet群体subclass
(subclass GolgiApparatus Collection) VirusProteinAndCellPart.kif 472-472 高尔基体群体subclass
(subclass Group Collection) Merge.kif 15026-15026 群组群体subclass
(subclass HotelMiniBar Collection) Hotel.kif 1666-1666 HotelMiniBar群体subclass
(subclass Industry Collection) Mid-level-ontology.kif 12711-12711 行业群体subclass
(subclass InlandWaterSystem Collection) Geography.kif 5020-5020 内陆水系统群体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 3430-3430 ABPFn 的 1 数量 是 群体instance
(domain ASPFn 1 Collection) UXExperimentalTerms.kif 3473-3473 ASPFn 的 1 数量 是 群体instance
(domain AuctionGMBFn 1 Collection) UXExperimentalTerms.kif 3395-3395 AuctionGMBFn 的 1 数量 是 群体instance
(domain BidCountFn 1 Collection) UXExperimentalTerms.kif 3115-3115 BidCountFn 的 1 数量 是 群体instance
(domain BoughtItemsFn 1 Collection) UXExperimentalTerms.kif 3082-3082 BoughtItemsFn 的 1 数量 是 群体instance
(domain ClickThroughRateFn 1 Collection) UXExperimentalTerms.kif 3530-3530 ClickThroughRateFn 的 1 数量 是 群体instance
(domain ConversionRateFn 1 Collection) UXExperimentalTerms.kif 3046-3046 ConversionRateFn 的 1 数量 是 群体instance
(domain GMBFn 1 Collection) UXExperimentalTerms.kif 3149-3149 GMBFn 的 1 数量 是 群体instance
(domain GMVFn 1 Collection) UXExperimentalTerms.kif 3192-3192 GMVFn 的 1 数量 是 群体instance
(domain SCRFn 1 Collection) UXExperimentalTerms.kif 3861-3861 SCRFn 的 1 数量 是 群体instance
(domain controlGroup 1 Collection) UXExperimentalTerms.kif 4043-4043 controlGroup 的 1 数量 是 群体instance
(domain experimentalTreatmentCollection 1 Collection) UXExperimentalTerms.kif 4236-4236 experimentalTreatmentCollection 的 1 数量 是 群体instance
(domain firstTimeBuyers 3 Collection) UXExperimentalTerms.kif 3722-3722 firstTimeBuyers 的 3 数量 是 群体instance
(domain firstTimeSellers 3 Collection) UXExperimentalTerms.kif 3770-3770 firstTimeSellers 的 3 数量 是 群体instance
(domain fleetDeadWeightTonnage 1 Collection) Transportation.kif 992-992 舰队载重吨位 的 1 数量 是 群体instance
(domain fleetGrossRegisteredTonnage 1 Collection) Transportation.kif 974-974 船队总注册吨位 的 1 数量 是 群体instance
(domain inventory 2 Collection) Mid-level-ontology.kif 20605-20605 库存 的 2 数量 是 群体instance
(domain meceCollection 1 Collection) UXExperimentalTerms.kif 4807-4807 meceCollection 的 1 数量 是 群体instance
(domain meceCollection 2 Collection) UXExperimentalTerms.kif 4809-4809 meceCollection 的 2 数量 是 群体instance
(domain member 2 Collection) Merge.kif 1173-1173 组员 的 2 数量 是 群体instance
(domain memberAtTime 2 Collection) Mid-level-ontology.kif 20587-20587 当时的组员 的 2 数量 是 群体instance
(domain memberCount 1 Collection) Mid-level-ontology.kif 20514-20514 会员数 的 1 数量 是 群体instance
(domain memberType 1 Collection) Mid-level-ontology.kif 20536-20536 会员类型 的 1 数量 是 群体instance
(domain memberTypeCount 1 Collection) Mid-level-ontology.kif 20550-20550 会员类型计数 的 1 数量 是 群体instance
(domain newRegisteredUsers 3 Collection) UXExperimentalTerms.kif 3818-3818 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 3404-3419
(=>
    (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 3442-3462
(=>
    (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 3091-3106
(=>
    (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 3125-3142
(=>
    (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 3050-3074
(=>
    (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 1226-1253
(=>
    (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 3158-3184
(=>
    (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 3201-3227
(=>
    (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 625-641
(=>
    (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 604-610
(=>
    (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 3485-3505
(=>
    (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 4445-4468
(=>
    (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 4379-4394
(=>
    (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 3536-3559
(=>
    (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 3871-3906
(=>
    (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 4836-4850
(=>
    (instance ?COLL Collection)
    (exists (?OBJ)
        (member ?OBJ ?COLL)))
Merge.kif 1164-1167

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 1185-1201
(=>
    (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 1520-1536
(=>
    (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 6480-6500
(=>
    (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 3579-3611
(=>
    (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 3631-3658
(=>
    (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 3678-3710
(=>
    (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 4053-4064
(=>
    (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 4170-4181
(=>
    (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 3536-3559
(=>
    (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 1809-1825
(=>
    (and
        (meceCollection ?COLL1 ?COLL2)
        (member ?MEMBER ?COLL1)
        (instance ?MEMBER SelfConnectedObject))
    (exists (?COLL3)
        (and
            (instance ?COLL3 Collection)
            (member ?MEMBER ?COLL3)
            (member ?COLL3 ?COLL2))))
UXExperimentalTerms.kif 4825-4834
(=>
    (and
        (meceCollection ?COLL1 ?COLL2)
        (member ?MEMBER ?COLL2)
        (instance ?MEMBER SelfConnectedObject))
    (instance ?MEMBER Collection))
UXExperimentalTerms.kif 4818-4823
(=>
    (attribute ?COLLECTION LineFormation)
    (instance ?COLLECTION Collection))
Mid-level-ontology.kif 17211-17213
(=>
    (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 7780-7789
(=>
    (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 3092-3108
(=>
    (engineCylinders ?E ?N)
    (exists (?G)
        (and
            (instance ?G Collection)
            (memberTypeCount ?G EngineCylinder ?N)
            (member ?EC ?G)
            (part ?EC ?E))))
Cars.kif 4511-4518
(=>
    (groupingTitle ?STRING ?PRODUCTTYPE ?LANGUAGE)
    (subclass ?PRODUCTTYPE Collection))
Media.kif 3171-3173
(=>
    (instance ?ADAPT OutletAdapter)
    (exists (?HOLE)
        (and
            (instance ?HOLE Collection)
            (memberType ?HOLE Hole)
            (part ?HOLE ?ADAPT)
            (material Metal ?ADAPT))))
Mid-level-ontology.kif 23967-23974
(=>
    (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 977-990
(=>
    (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 1962-1973
(=>
    (instance ?BF BowlingFacility)
    (exists (?BL)
        (and
            (instance ?BL Collection)
            (memberType ?BL BowlingLane)
            (located ?BL ?BF))))
Sports.kif 1014-1020
(=>
    (instance ?DRIZZLE Drizzling)
    (exists (?CLTN ?R ?SIZE)
        (and
            (instance ?CLTN Collection)
            (instance ?R Water)
            (instance ?R LiquidDrop)
            (member ?R ?CLTN)
            (objectTransferred ?DRIZZLE ?CLTN)
            (approximateDiameter ?R
                (MeasureFn ?SIZE Millimeter))
            (modalAttribute
                (lessThanOrEqualTo ?SIZE 0.5) Likely))))
Weather.kif 1311-1323
(=>
    (instance ?DROP Raindrop)
    (exists (?RAIN)
        (and
            (instance ?RAIN Rain)
            (instance ?RAIN Collection)
            (member ?DROP ?RAIN))))
Weather.kif 1522-1528
(=>
    (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 4412-4427
(=>
    (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 4482-4494

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25