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 1262-1262 群体 和 % 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 1264-1268
(documentation Collection JapaneseLanguage "コレクションには Classes などの members が あるが、Classes とは異なり時空に位置していて、 members は、それによって　Collection の アイデンティティを変更せずに加算および減算できる。　いくつかの例として、ツールキット、サッカー チーム、および羊の群れなど。") japanese_format.kif 212-215
(documentation Collection SpanishLanguage "Collections tienen members como Classes, pero a diferencia de Classes, tienen lugar en espacio-tiempo y se pueden añadir y eliminar members sin cambiar la identidad de la Collection, por ejemplo, juegos de herramientas, equipos de futbol, y rebaños de ovejas.") spanish_format.kif 252-255
(externalImage Collection "http://upload.wikimedia.org/wikipedia/commons/ 3/ 38/ Stamp_collection.jpg") pictureList.kif 10670-10670
(externalImage Collection "http://upload.wikimedia.org/wikipedia/commons/ 3/ 3a/ Collection_Quid.jpg") pictureList.kif 10669-10669
(externalImage Collection "http://upload.wikimedia.org/wikipedia/commons/ 3/ 3f/ Book_collection.jpg") pictureList.kif 10665-10665
(externalImage Collection "http://upload.wikimedia.org/wikipedia/commons/ 4/ 48/ Greek_pottery1.jpg") pictureList.kif 10676-10676
(externalImage Collection "http://upload.wikimedia.org/wikipedia/commons/ 4/ 4c/ Beetle_collection.jpg") pictureList.kif 10664-10664
(externalImage Collection "http://upload.wikimedia.org/wikipedia/commons/ 4/ 4c/ Bgbo_kakteen_ies.jpg") pictureList.kif 10675-10675
(externalImage Collection "http://upload.wikimedia.org/wikipedia/commons/ 4/ 4d/ LA2-katalogkort.jpg") pictureList.kif 9948-9948
(externalImage Collection "http://upload.wikimedia.org/wikipedia/commons/ 6/ 64/ Petosa_-_old_accordions_03.jpg") pictureList.kif 10668-10668
(externalImage Collection "http://upload.wikimedia.org/wikipedia/commons/ 6/ 6e/ The_old_Porsche-Museum%2C_Porscheplatz_1%2C_Stuttgart.jpg") pictureList.kif 10674-10674
(externalImage Collection "http://upload.wikimedia.org/wikipedia/commons/ 8/ 88/ Collection-of-cameras.jpg") pictureList.kif 10671-10671
(externalImage Collection "http://upload.wikimedia.org/wikipedia/commons/ a/ aa/ Xtal-collection.jpg") pictureList.kif 10661-10661
(externalImage Collection "http://upload.wikimedia.org/wikipedia/commons/ b/ b2/ Oropos-Phaeton.jpg") pictureList.kif 10673-10673
(externalImage Collection "http://upload.wikimedia.org/wikipedia/commons/ c/ ca/ Pog_Collection.jpg") pictureList.kif 10663-10663
(externalImage Collection "http://upload.wikimedia.org/wikipedia/commons/ c/ cd/ CD_collection.jpg") pictureList.kif 10662-10662
(externalImage Collection "http://upload.wikimedia.org/wikipedia/commons/ d/ d3/ Collection-of-Maps.jpg") pictureList.kif 10672-10672
(externalImage Collection "http://upload.wikimedia.org/wikipedia/commons/ d/ d3/ Tuning_World_Bodensee_Thumbs_2004.JPG") pictureList.kif 10677-10677
(externalImage Collection "http://upload.wikimedia.org/wikipedia/commons/ e/ ec/ Speccy-collection.jpg") pictureList.kif 10667-10667
(externalImage Collection "http://upload.wikimedia.org/wikipedia/commons/ f/ fa/ Bottle-collection.jpg") pictureList.kif 10666-10666
(subclass Collection Object) Merge.kif 1261-1261 群体 是 客体 的 subclass

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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


(instance UnitedStatesMinorOutlyingIslands Collection) Media.kif 2607-2607 UnitedStatesMinorOutlyingIslands 是 群体 的 instance
(range QPViewsFn Collection) UXExperimentalTerms.kif 4176-4176 QPViewsFn 的 range 是 群体 的实例
(range QualifiedTreatmentsFn Collection) UXExperimentalTerms.kif 4241-4241 QualifiedTreatmentsFn 的 range 是 群体 的实例
(range QualifyingEventsFn Collection) UXExperimentalTerms.kif 4208-4208 QualifyingEventsFn 的 range 是 群体 的实例
(range QualifyingPurchasesFn Collection) UXExperimentalTerms.kif 3043-3043 QualifyingPurchasesFn 的 range 是 群体 的实例
(range SellersItemsFn Collection) UXExperimentalTerms.kif 985-985 SellersItemsFn 的 range 是 群体 的实例
(range SellersOtherItemsFn Collection) UXExperimentalTerms.kif 1024-1024 SellersOtherItemsFn 的 range 是 群体 的实例
(range SiteWideNewBuyersFn Collection) UXExperimentalTerms.kif 3376-3376 SiteWideNewBuyersFn 的 range 是 群体 的实例
(range SiteWideNewRegistrationsFn Collection) UXExperimentalTerms.kif 3428-3428 SiteWideNewRegistrationsFn 的 range 是 群体 的实例
(range SiteWideNewSellersFn Collection) UXExperimentalTerms.kif 3475-3475 SiteWideNewSellersFn 的 range 是 群体 的实例
(range TreatedUsersFn Collection) UXExperimentalTerms.kif 4284-4284 TreatedUsersFn 的 range 是 群体 的实例
(subclass Archipelago Collection) Geography.kif 5820-5820 群岛 是 群体 的 subclass
(subclass BoxOfChocolates Collection) Food.kif 2507-2507 一盒巧克力 是 群体 的 subclass
(subclass Buffet Collection) Dining.kif 255-255 Buffet 是 群体 的 subclass
(subclass ClothingSuit Collection) Mid-level-ontology.kif 5274-5274 服装套装 是 群体 的 subclass
(subclass CommunicationSystem Collection) Mid-level-ontology.kif 7591-7591 通讯系统 是 群体 的 subclass
(subclass ComputerSystem Collection) ComputingBrands.kif 3317-3317 ComputerSystem 是 群体 的 subclass
(subclass Convoy Collection) Mid-level-ontology.kif 22272-22272 护航 是 群体 的 subclass
(subclass Discography Collection) Music.kif 60-60 Discography 是 群体 的 subclass
(subclass FireSprinklerSystem Collection) Mid-level-ontology.kif 25384-25384 FireSprinklerSystem 是 群体 的 subclass
(subclass Fleet Collection) Mid-level-ontology.kif 3484-3484 Fleet 是 群体 的 subclass
(subclass GolgiApparatus Collection) VirusProteinAndCellPart.kif 1057-1057 高尔基体 是 群体 的 subclass
(subclass Group Collection) Merge.kif 16193-16193 群组 是 群体 的 subclass
(subclass HomologousChromosomeSet Collection) VirusProteinAndCellPart.kif 859-859 HomologousChromosomeSet 是 群体 的 subclass
(subclass HotelMiniBar Collection) Hotel.kif 1718-1718 HotelMiniBar 是 群体 的 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 3233-3233 ABPFn 的 1 数量 是 群体 的 instance
(domain ASPFn 1 Collection) UXExperimentalTerms.kif 3278-3278 ASPFn 的 1 数量 是 群体 的 instance
(domain AuctionGMBFn 1 Collection) UXExperimentalTerms.kif 3201-3201 AuctionGMBFn 的 1 数量 是 群体 的 instance
(domain BidCountFn 1 Collection) UXExperimentalTerms.kif 2920-2920 BidCountFn 的 1 数量 是 群体 的 instance
(domain BoughtItemsFn 1 Collection) UXExperimentalTerms.kif 2886-2886 BoughtItemsFn 的 1 数量 是 群体 的 instance
(domain ClickThroughRateFn 1 Collection) UXExperimentalTerms.kif 3335-3335 ClickThroughRateFn 的 1 数量 是 群体 的 instance
(domain ConversionRateFn 1 Collection) UXExperimentalTerms.kif 2849-2849 ConversionRateFn 的 1 数量 是 群体 的 instance
(domain GMBFn 1 Collection) UXExperimentalTerms.kif 2955-2955 GMBFn 的 1 数量 是 群体 的 instance
(domain GMVFn 1 Collection) UXExperimentalTerms.kif 2998-2998 GMVFn 的 1 数量 是 群体 的 instance
(domain SCRFn 1 Collection) UXExperimentalTerms.kif 3666-3666 SCRFn 的 1 数量 是 群体 的 instance
(domain chromosomeSetCount 2 Collection) VirusProteinAndCellPart.kif 824-824 chromosomeSetCount 的 2 数量 是 群体 的 instance
(domain controlGroup 1 Collection) UXExperimentalTerms.kif 3849-3849 controlGroup 的 1 数量 是 群体 的 instance
(domain experimentalTreatmentCollection 1 Collection) UXExperimentalTerms.kif 4042-4042 experimentalTreatmentCollection 的 1 数量 是 群体 的 instance
(domain firstTimeBuyers 3 Collection) UXExperimentalTerms.kif 3527-3527 firstTimeBuyers 的 3 数量 是 群体 的 instance
(domain firstTimeSellers 3 Collection) UXExperimentalTerms.kif 3575-3575 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 22667-22667 库存 的 2 数量 是 群体 的 instance
(domain meceCollection 1 Collection) UXExperimentalTerms.kif 4617-4617 meceCollection 的 1 数量 是 群体 的 instance
(domain meceCollection 2 Collection) UXExperimentalTerms.kif 4619-4619 meceCollection 的 2 数量 是 群体 的 instance
(domain member 2 Collection) Merge.kif 1280-1280 组员 的 2 数量 是 群体 的 instance
(domain memberAtTime 2 Collection) Mid-level-ontology.kif 22649-22649 当时的组员 的 2 数量 是 群体 的 instance
(domain memberCount 1 Collection) Mid-level-ontology.kif 22583-22583 会员数 的 1 数量 是 群体 的 instance
(domain memberType 1 Collection) Mid-level-ontology.kif 22598-22598 会员类型 的 1 数量 是 群体 的 instance
(domain memberTypeCount 1 Collection) Mid-level-ontology.kif 22612-22612 会员类型计数 的 1 数量 是 群体 的 instance

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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


(=>
    (and
        (chromosomeNumber ?C ?I)
        (part ?N ?C)
        (instance ?N CellNucleus)
        (instance ?COLL Collection)
        (located ?COLL ?N)
        (memberType ?COLL Chromosome))
    (memberCount ?COLL ?I))		 VirusProteinAndCellPart.kif 703-711
(=>
    (and
        (haploidNumber ?CELL ?I)
        (instance ?CELL Gamete)
        (part ?N ?CELL)
        (instance ?N CellNucleus)
        (instance ?COLL Collection)
        (located ?COLL ?N)
        (memberType ?COLL Chromosome))
    (memberCount ?COLL ?I))		 VirusProteinAndCellPart.kif 794-803
(=>
    (and
        (instance ?AUCTIONS Collection)
        (forall (?AUC)
            (=>
                (member ?AUC ?AUCTIONS)
                (instance ?AUC Auctioning))))
    (exists (?AMOUNT ?TOTAL_PURCHASE_AMOUNT)
        (and
            (total
                (KappaFn ?AMOUNT
                    (transactionAmount ?AUC ?AMOUNT)) ?TOTAL_PURCHASE_AMOUNT)
            (equal
                (AuctionGMBFn ?AUCTIONS) ?TOTAL_PURCHASE_AMOUNT))))		 UXExperimentalTerms.kif 3210-3223
(=>
    (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 ?BUYING ?ITEM))))))))
    (equal
        (ABPFn ?BUYINGS)
        (DivisionFn ?GMB ?TOTAL)))		 UXExperimentalTerms.kif 3247-3267
(=>
    (and
        (instance ?CELL HexaploidCell)
        (part ?N ?CELL)
        (instance ?N CellNucleus)
        (located ?COLL ?N)
        (instance ?COLL Collection)
        (memberType ?COLL Chromosome))
    (exists (?A ?B ?C)
        (and
            (instance ?A HomologousChromosomeSet)
            (subCollection ?A ?COLL)
            (instance ?B HomologousChromosomeSet)
            (subCollection ?B ?COLL)
            (instance ?C HomologousChromosomeSet)
            (subCollection ?C ?COLL)
            (not
                (equal ?A ?B)
                (equal ?A ?C)
                (equal ?B ?C)))))		 VirusProteinAndCellPart.kif 1004-1023
(=>
    (and
        (instance ?CELL PentaploidCell)
        (instance ?N CellNucleus)
        (part ?N ?CELL)
        (located ?COLL ?N)
        (instance ?COLL Collection)
        (memberType ?COLL Chromosome)
        (instance ?A MonoploidChromosomeSet)
        (subCollection ?A ?COLL))
    (chromosomeSetCount ?A ?COLL 5))		 VirusProteinAndCellPart.kif 974-984
(=>
    (and
        (instance ?CELL TetraploidCell)
        (part ?N ?CELL)
        (instance ?N CellNucleus)
        (located ?COLL ?N)
        (instance ?COLL Collection)
        (memberType ?COLL Chromosome))
    (exists (?A ?B)
        (and
            (instance ?A HomologousChromosomeSet)
            (subCollection ?A ?COLL)
            (instance ?B HomologousChromosomeSet)
            (subCollection ?B ?COLL)
            (not
                (equal ?A ?B)))))		 VirusProteinAndCellPart.kif 951-966
(=>
    (and
        (instance ?CELL TriploidCell)
        (instance ?N CellNucleus)
        (part ?N ?CELL)
        (located ?COLL ?N)
        (instance ?COLL Collection)
        (memberType ?COLL Chromosome)
        (instance ?A MonoploidChromosomeSet)
        (subCollection ?A ?COLL))
    (chromosomeSetCount ?A ?COLL 3))		 VirusProteinAndCellPart.kif 921-931
(=>
    (and
        (instance ?COLL Collection)
        (forall (?MEMBER)
            (=>
                (member ?MEMBER ?COLL)
                (instance ?MEMBER FinancialTransaction))))
    (exists (?ITEM ?BUYING)
        (equal
            (CardinalityFn
                (KappaFn ?ITEM
                    (and
                        (instance ?ITEM Physical)
                        (instance ?BUYING Buying)
                        (member ?BUYING ?COLL)
                        (patient ?BUYING ?ITEM))))
            (BoughtItemsFn ?COLL))))		 UXExperimentalTerms.kif 2895-2911
(=>
    (and
        (instance ?COLL Collection)
        (forall (?MEMBER)
            (=>
                (member ?MEMBER ?COLL)
                (instance ?MEMBER WebListing))))
    (equal
        (DivisionFn
            (CardinalityFn
                (exists (?LISTING ?SITE ?ITEM)
                    (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 2853-2878
(=>
    (and
        (instance ?COLL Collection)
        (forall (?MEMBER)
            (=>
                (member ?MEMBER ?COLL)
                (instance ?MEMBER WebListing))))
    (exists (?BIDDING ?ITEM ?LISTING ?BIDDING)
        (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 2930-2948
(=>
    (and
        (instance ?COLL Collection)
        (instance ?SITE WebSite)
        (instance ?AGENT AutonomousAgent)
        (instance ?LISTING WebListing)
        (instance ?TIME TimePoint)
        (listingSeller ?LISTING ?AGENT)
        (not
            (member ?LISTING ?COLL))
        (forall (?ITEM ?MEMBER)
            (and
                (=>
                    (and
                        (instance ?ITEM WebListing)
                        (member ?ITEM
                            (SellersItemsFn ?AGENT ?SITE))
                        (temporalPart ?TIME
                            (WhenFn ?ITEM))
                        (not
                            (equal ?ITEM ?LISTING)))
                    (member ?ITEM ?COLL))
                (=>
                    (member ?MEMBER ?COLL)
                    (and
                        (temporalPart ?TIME
                            (WhenFn ?ITEM))
                        (instance ?MEMBER WebListing))))))
    (equal
        (SellersOtherItemsFn ?AGENT ?SITE ?LISTING ?TIME) ?COLL))		 UXExperimentalTerms.kif 1033-1060
(=>
    (and
        (instance ?COLL Collection)
        (memberType ?COLL Chromosome)
        (instance ?A MonoploidChromosomeSet)
        (subCollection ?A ?COLL)
        (chromosomeSetCount ?A ?COLL 4)
        (located ?COLL ?N)
        (instance ?N CellNucleus)
        (part ?N ?CELL))
    (instance ?CELL TetraploidCell))		 VirusProteinAndCellPart.kif 939-949
(=>
    (and
        (instance ?COLL Collection)
        (memberType ?COLL Chromosome)
        (instance ?A MonoploidChromosomeSet)
        (subCollection ?A ?COLL)
        (chromosomeSetCount ?A ?COLL 6)
        (located ?COLL ?N)
        (instance ?N CellNucleus)
        (part ?N ?CELL))
    (instance ?CELL HexaploidCell))		 VirusProteinAndCellPart.kif 992-1002
(=>
    (and
        (instance ?COLL Collection)
        (memberType ?COLL Chromosome)
        (member ?M ?COLL)
        (part ?M CommonWheatGrass))
    (exists (?A ?B ?X ?Y)
        (and
            (subCollection ?A ?COLL)
            (instance ?A HomologousChromosomeSet)
            (memberType ?A ?X)
            (initialPart ?X EmmerWheatGrass)
            (subCollection ?B ?COLL)
            (instance ?B HomologousChromosomeSet)
            (memberType ?B ?Y)
            (initialPart ?Y AegilopsTauschii))))		 Economy.kif 3970-3985
(=>
    (and
        (instance ?COLL Collection)
        (memberType ?COLL Chromosome)
        (member ?M ?COLL)
        (part ?M DurumWheatGrass))
    (exists (?A ?B ?X ?Y)
        (and
            (subCollection ?A ?COLL)
            (instance ?A HomologousChromosomeSet)
            (memberType ?A ?X)
            (initialPart ?X TriticumUrartu)
            (subCollection ?B ?COLL)
            (instance ?B HomologousChromosomeSet)
            (memberType ?B ?Y)
            (initialPart ?Y AegilopsSpeltoides))))		 Economy.kif 3911-3926
(=>
    (and
        (instance ?COLL Collection)
        (memberType ?COLL Chromosome)
        (member ?M ?COLL)
        (part ?M EmmerWheatGrass))
    (exists (?A ?B ?X ?Y)
        (and
            (subCollection ?A ?COLL)
            (instance ?A HomologousChromosomeSet)
            (memberType ?A ?X)
            (initialPart ?X EinkornWheatGrass)
            (subCollection ?B ?COLL)
            (instance ?B HomologousChromosomeSet)
            (memberType ?B ?Y)
            (initialPart ?Y AegilopsGrass))))		 Economy.kif 3879-3894
(=>
    (and
        (instance ?COLL Collection)
        (memberType ?COLL Chromosome)
        (subCollection ?A ?COLL)
        (chromosomeSetCount ?A ?COLL 2)
        (located ?COLL ?N)
        (instance ?N CellNucleus)
        (part ?N ?CELL))
    (instance ?CELL DiploidCell))		 VirusProteinAndCellPart.kif 896-905
(=>
    (and
        (instance ?LGP LargeGroupProcess)
        (instance ?G Collection)
        (member ?M ?G)
        (involvedInEvent ?LGP ?M)
        (memberCount ?G ?N))
    (greaterThan ?N 10))		 Mid-level-ontology.kif 7912-7919
(=>
    (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 7921-7930
(=>
    (and
        (instance ?PURCHASES Collection)
        (forall (?MEMBER)
            (=>
                (member ?MEMBER ?PURCHASES)
                (instance ?MEMBER Buying)))
        (exists (?REGION)
            (and
                (instance ?REGION GeopoliticalArea)
                (forall (?BUYER ?BUYING)
                    (=>
                        (and
                            (instance ?BUYER AutonomousAgent)
                            (instance ?BUYING Buying)
                            (member ?BUYING ?PURCHASES)
                            (agent ?BUYING ?BUYER))
                        (located ?BUYER ?REGION))))))
    (exists (?AMOUNT ?PURCHASE ?TOTAL_PURCHASE_AMOUNT)
        (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 2964-2991
(=>
    (and
        (instance ?SALES Collection)
        (forall (?MEMBER)
            (=>
                (member ?MEMBER ?SALES)
                (instance ?MEMBER Selling)))
        (exists (?REGION)
            (and
                (instance ?REGION GeopoliticalArea)
                (forall (?SELLER ?SELLING)
                    (=>
                        (and
                            (instance ?SELLER AutonomousAgent)
                            (instance ?SELLING Buying)
                            (member ?SELLING ?SALES)
                            (agent ?SELLING ?SELLER))
                        (located ?SELLER ?REGION))))))
    (exists (?AMOUNT ?SALE ?TOTAL_SALE_AMOUNT)
        (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 3007-3034
(=>
    (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 501-517
(=>
    (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 483-489
(=>
    (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 3290-3310

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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


(=>
    (and
        (instance ?AGENT AutonomousAgent)
        (instance ?SITE WebSite))
    (exists (?COLL)
        (and
            (instance ?COLL Collection)
            (forall (?LISTING)
                (=>
                    (and
                        (instance ?LISTING WebListing)
                        (hostedOn ?LISTING ?SITE)
                        (listingSeller ?LISTING ?AGENT))
                    (member ?LISTING ?COLL)))
            (equal
                (SellersItemsFn ?AGENT ?SITE) ?COLL))))		 UXExperimentalTerms.kif 992-1008
(=>
    (and
        (instance ?ATC AddToCart)
        (instance ?OBJ Object)
        (patient ?ATC ?OBJ)
        (agent ?ATC ?USER))
    (exists (?COLL ?SITE ?AFTER ?INTERVAL)
        (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 1326-1342
(=>
    (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 ?X ?MBR)
        (and
            (instance ?CLNT Collection)
            (memberCount ?CLNT ?X)
            (greaterThanOrEqualTo ?X 4)
            (=>
                (member ?MBR ?CLNT)
                (and
                    (part ?MBR ?SUB)
                    (meetsSpatially ?C ?MBR))))))		 Geography.kif 7120-7140
(=>
    (and
        (instance ?G Grinding)
        (patient ?G ?O)
        (instance ?O CorpuscularObject))
    (holdsDuring
        (EndFn
            (WhenFn ?G))
        (exists (?C)
            (and
                (result ?G ?C)
                (instance ?C Collection)
                (forall (?M)
                    (=>
                        (member ?M ?C)
                        (part ?M ?O)))))))		 Food.kif 1012-1026
(=>
    (and
        (instance ?INTERVAL TimeInterval)
        (instance ?SITE WebSite))
    (exists (?NEWBUYERS)
        (and
            (instance ?NEWBUYERS Collection)
            (forall (?AGENT)
                (=>
                    (member ?AGENT ?NEWBUYERS)
                    (and
                        (exists (?BUYING)
                            (and
                                (instance ?AGENT AutonomousAgent)
                                (instance ?BUYING Buying)
                                (agent ?BUYING ?AGENT)
                                (instrument ?BUYING ?SITE)
                                (during ?BUYING ?INTERVAL)))
                        (not
                            (exists (?INTERVAL_BEFORE)
                                (and
                                    (instance ?INTERVAL_BEFORE TimeInterval)
                                    (earlier ?INTERVAL_BEFORE ?INTERVAL)
                                    (holdsDuring ?INTERVAL_BEFORE
                                        (exists (?BUYING_BEFORE)
                                            (and
                                                (instance ?BUYING_BEFORE Buying)
                                                (agent ?BUYING_BEFORE ?AGENT)
                                                (instrument ?BUYING_BEFORE ?SITE)
                                                (during ?BUYING_BEFORE ?INTERVAL))))))))))
            (equal
                (SiteWideNewBuyersFn ?INTERVAL ?SITE) ?NEWBUYERS))))		 UXExperimentalTerms.kif 3384-3416
(=>
    (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 3436-3463
(=>
    (and
        (instance ?INTERVAL TimeInterval)
        (instance ?SITE WebSite))
    (exists (?NEWSELLERS)
        (and
            (instance ?NEWSELLERS Collection)
            (forall (?AGENT)
                (=>
                    (member ?AGENT ?NEWSELLERS)
                    (and
                        (exists (?SELLING)
                            (and
                                (instance ?AGENT AutonomousAgent)
                                (instance ?SELLING Selling)
                                (agent ?SELLING ?AGENT)
                                (instrument ?SELLING ?SITE)
                                (during ?SELLING ?INTERVAL)))
                        (not
                            (exists (?INTERVAL_BEFORE)
                                (and
                                    (instance ?INTERVAL_BEFORE TimeInterval)
                                    (earlier ?INTERVAL_BEFORE ?INTERVAL)
                                    (holdsDuring ?INTERVAL_BEFORE
                                        (exists (?SELLING_BEFORE)
                                            (and
                                                (instance ?SELLING_BEFORE Selling)
                                                (agent ?SELLING_BEFORE ?AGENT)
                                                (instrument ?SELLING_BEFORE ?SITE)
                                                (during ?SELLING_BEFORE ?INTERVAL))))))))))
            (equal
                (SiteWideNewSellersFn ?INTERVAL ?SITE) ?NEWSELLERS))))		 UXExperimentalTerms.kif 3483-3515
(=>
    (and
        (instance ?VARIABLE Process)
        (instance ?EXPERIMENT Experimenting)
        (instance ?AGENT AutonomousAgent)
        (experiencer ?AGENT AutonomousAgent)
        (experimentalVariableProcess ?EXPERIMENT ?VARIABLE))
    (exists (?CONTROL_GROUP)
        (and
            (instance ?CONTROL_GROUP Collection)
            (member ?AGENT ?CONTROL_GROUP)
            (controlGroup ?CONTROL_GROUP ?EXPERIMENT))))		 UXExperimentalTerms.kif 3859-3870
(=>
    (and
        (instance ?VARIABLE Process)
        (instance ?EXPERIMENT Experimenting)
        (instance ?AGENT AutonomousAgent)
        (experiencer ?AGENT AutonomousAgent)
        (experimentalVariableProcess ?EXPERIMENT ?VARIABLE))
    (exists (?TREATMENT_GROUP)
        (and
            (instance ?TREATMENT_GROUP Collection)
            (member ?AGENT ?TREATMENT_GROUP)
            (treatmentGroup ?TREATMENT_GROUP ?EXPERIMENT))))		 UXExperimentalTerms.kif 3976-3987
(=>
    (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 3341-3364
(=>
    (and
        (instance ?WATCH WatchItem)
        (instance ?OBJ Object)
        (patient ?WATCH ?OBJ)
        (agent ?WATCH ?USER))
    (exists (?COLL ?SITE ?AFTER ?INTERVAL)
        (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 1613-1629
(=>
    (and
        (meceCollection ?COLL1 ?COLL2)
        (member ?MEMBER ?COLL1)
        (instance ?MEMBER SelfConnectedObject))
    (exists (?COLL3)
        (and
            (instance ?COLL3 Collection)
            (member ?MEMBER ?COLL3)
            (member ?COLL3 ?COLL2))))		 UXExperimentalTerms.kif 4635-4644
(=>
    (and
        (meceCollection ?COLL1 ?COLL2)
        (member ?MEMBER ?COLL2)
        (instance ?MEMBER SelfConnectedObject))
    (instance ?MEMBER Collection))		 UXExperimentalTerms.kif 4628-4633
(=>
    (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 30873-30888
(=>
    (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 30815-30825
(=>
    (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 30840-30855
(=>
    (attribute ?COLLECTION LineFormation)
    (instance ?COLLECTION Collection))		 Mid-level-ontology.kif 19379-19381
(=>
    (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
(=>
    (breathingRate ?H ?T ?I)
    (exists (?C ?M)
        (and
            (instance ?C Collection)
            (memberType ?C Breath)
            (memberCount ?C ?I)
            (=>
                (member ?M ?C)
                (and
                    (patient ?M ?H)
                    (during
                        (WhenFn ?M) ?T))))))		 Mid-level-ontology.kif 10358-10370
(=>
    (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 ?EC)
        (and
            (instance ?G Collection)
            (memberTypeCount ?G EngineCylinder ?N)
            (member ?EC ?G)
            (part ?EC ?E))))		 Cars.kif 4531-4538
(=>
    (groupingTitle ?STRING ?PRODUCTTYPE ?LANGUAGE)
    (subclass ?PRODUCTTYPE Collection))		 Media.kif 3203-3205
(=>
    (heartRate ?H ?T ?I)
    (exists (?C ?M)
        (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 10317-10329
(=>
    (instance ?ADAPT OutletAdapter)
    (exists (?HOLE)
        (and
            (instance ?HOLE Collection)
            (memberType ?HOLE HoleRegion)
            (part ?HOLE ?ADAPT)
            (material Metal ?ADAPT))))		 Mid-level-ontology.kif 25900-25907
(=>
    (instance ?B BowlingBall)
    (exists (?HOLES)
        (and
            (instance ?HOLES Collection)
            (memberType ?HOLES HoleRegion)
            (memberCount ?HOLES 3)
            (located ?HOLES ?B)
            (hasPurpose ?HOLES
                (exists (?FINGER ?HOLE)
                    (and
                        (member ?HOLE ?HOLES)
                        (instance ?FINGER Finger)
                        (partiallyFills ?FINGER ?HOLE)))))))		 Sports.kif 1125-1138

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25