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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Collection
Collection(collection)
more pictures...

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


(disjoint Collection SelfConnectedObject) Merge.kif 1262-1262 Collection est disjoint de objet en une partie
(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 10668-10668
(externalImage Collection "http://upload.wikimedia.org/wikipedia/commons/ 3/ 3a/ Collection_Quid.jpg") pictureList.kif 10667-10667
(externalImage Collection "http://upload.wikimedia.org/wikipedia/commons/ 3/ 3f/ Book_collection.jpg") pictureList.kif 10663-10663
(externalImage Collection "http://upload.wikimedia.org/wikipedia/commons/ 4/ 48/ Greek_pottery1.jpg") pictureList.kif 10674-10674
(externalImage Collection "http://upload.wikimedia.org/wikipedia/commons/ 4/ 4c/ Beetle_collection.jpg") pictureList.kif 10662-10662
(externalImage Collection "http://upload.wikimedia.org/wikipedia/commons/ 4/ 4c/ Bgbo_kakteen_ies.jpg") pictureList.kif 10673-10673
(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 10666-10666
(externalImage Collection "http://upload.wikimedia.org/wikipedia/commons/ 6/ 6e/ The_old_Porsche-Museum%2C_Porscheplatz_1%2C_Stuttgart.jpg") pictureList.kif 10672-10672
(externalImage Collection "http://upload.wikimedia.org/wikipedia/commons/ 8/ 88/ Collection-of-cameras.jpg") pictureList.kif 10669-10669
(externalImage Collection "http://upload.wikimedia.org/wikipedia/commons/ a/ aa/ Xtal-collection.jpg") pictureList.kif 10659-10659
(externalImage Collection "http://upload.wikimedia.org/wikipedia/commons/ b/ b2/ Oropos-Phaeton.jpg") pictureList.kif 10671-10671
(externalImage Collection "http://upload.wikimedia.org/wikipedia/commons/ c/ ca/ Pog_Collection.jpg") pictureList.kif 10661-10661
(externalImage Collection "http://upload.wikimedia.org/wikipedia/commons/ c/ cd/ CD_collection.jpg") pictureList.kif 10660-10660
(externalImage Collection "http://upload.wikimedia.org/wikipedia/commons/ d/ d3/ Collection-of-Maps.jpg") pictureList.kif 10670-10670
(externalImage Collection "http://upload.wikimedia.org/wikipedia/commons/ d/ d3/ Tuning_World_Bodensee_Thumbs_2004.JPG") pictureList.kif 10675-10675
(externalImage Collection "http://upload.wikimedia.org/wikipedia/commons/ e/ ec/ Speccy-collection.jpg") pictureList.kif 10665-10665
(externalImage Collection "http://upload.wikimedia.org/wikipedia/commons/ f/ fa/ Bottle-collection.jpg") pictureList.kif 10664-10664
(subclass Collection Object) Merge.kif 1261-1261 Collection est une sous-classe de objet

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 est une instance de collection
(range QPViewsFn Collection) UXExperimentalTerms.kif 4168-4168 Le domaine de QPViewsFn est une instance de collection
(range QualifiedTreatmentsFn Collection) UXExperimentalTerms.kif 4233-4233 Le domaine de QualifiedTreatmentsFn est une instance de collection
(range QualifyingEventsFn Collection) UXExperimentalTerms.kif 4200-4200 Le domaine de QualifyingEventsFn est une instance de collection
(range QualifyingPurchasesFn Collection) UXExperimentalTerms.kif 3035-3035 Le domaine de QualifyingPurchasesFn est une instance de collection
(range SellersItemsFn Collection) UXExperimentalTerms.kif 985-985 Le domaine de SellersItemsFn est une instance de collection
(range SellersOtherItemsFn Collection) UXExperimentalTerms.kif 1024-1024 Le domaine de SellersOtherItemsFn est une instance de collection
(range SiteWideNewBuyersFn Collection) UXExperimentalTerms.kif 3368-3368 Le domaine de SiteWideNewBuyersFn est une instance de collection
(range SiteWideNewRegistrationsFn Collection) UXExperimentalTerms.kif 3420-3420 Le domaine de SiteWideNewRegistrationsFn est une instance de collection
(range SiteWideNewSellersFn Collection) UXExperimentalTerms.kif 3467-3467 Le domaine de SiteWideNewSellersFn est une instance de collection
(range TreatedUsersFn Collection) UXExperimentalTerms.kif 4276-4276 Le domaine de TreatedUsersFn est une instance de collection
(subclass Archipelago Collection) Geography.kif 5842-5842 Archipelago est une sous-classe de collection
(subclass BoxOfChocolates Collection) Food.kif 2507-2507 BoxOfChocolates est une sous-classe de collection
(subclass Buffet Collection) Dining.kif 255-255 Buffet est une sous-classe de collection
(subclass ClothingSuit Collection) Mid-level-ontology.kif 5302-5302 ClothingSuit est une sous-classe de collection
(subclass CommunicationSystem Collection) Mid-level-ontology.kif 7619-7619 CommunicationSystem est une sous-classe de collection
(subclass ComputerSystem Collection) ComputingBrands.kif 3317-3317 ComputerSystem est une sous-classe de collection
(subclass Convoy Collection) Mid-level-ontology.kif 22323-22323 Convoy est une sous-classe de collection
(subclass Discography Collection) Music.kif 60-60 Discography est une sous-classe de collection
(subclass FireSprinklerSystem Collection) Mid-level-ontology.kif 25452-25452 FireSprinklerSystem est une sous-classe de collection
(subclass Fleet Collection) Mid-level-ontology.kif 3512-3512 Fleet est une sous-classe de collection
(subclass GolgiApparatus Collection) VirusProteinAndCellPart.kif 1057-1057 GolgiApparatus est une sous-classe de collection
(subclass Group Collection) Merge.kif 16223-16223 Groupe est une sous-classe de collection
(subclass HomologousChromosomeSet Collection) VirusProteinAndCellPart.kif 859-859 HomologousChromosomeSet est une sous-classe de collection
(subclass HotelMiniBar Collection) Hotel.kif 1718-1718 HotelMiniBar est une sous-classe de collection

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 3225-3225 Le nombre 1 argument de ABPFn est une instance de collection
(domain ASPFn 1 Collection) UXExperimentalTerms.kif 3270-3270 Le nombre 1 argument de ASPFn est une instance de collection
(domain AuctionGMBFn 1 Collection) UXExperimentalTerms.kif 3193-3193 Le nombre 1 argument de AuctionGMBFn est une instance de collection
(domain BidCountFn 1 Collection) UXExperimentalTerms.kif 2912-2912 Le nombre 1 argument de BidCountFn est une instance de collection
(domain BoughtItemsFn 1 Collection) UXExperimentalTerms.kif 2878-2878 Le nombre 1 argument de BoughtItemsFn est une instance de collection
(domain ClickThroughRateFn 1 Collection) UXExperimentalTerms.kif 3327-3327 Le nombre 1 argument de ClickThroughRateFn est une instance de collection
(domain ConversionRateFn 1 Collection) UXExperimentalTerms.kif 2841-2841 Le nombre 1 argument de ConversionRateFn est une instance de collection
(domain GMBFn 1 Collection) UXExperimentalTerms.kif 2947-2947 Le nombre 1 argument de GMBFn est une instance de collection
(domain GMVFn 1 Collection) UXExperimentalTerms.kif 2990-2990 Le nombre 1 argument de GMVFn est une instance de collection
(domain SCRFn 1 Collection) UXExperimentalTerms.kif 3658-3658 Le nombre 1 argument de SCRFn est une instance de collection
(domain chromosomeSetCount 2 Collection) VirusProteinAndCellPart.kif 824-824 Le nombre 2 argument de chromosomeSetCount est une instance de collection
(domain controlGroup 1 Collection) UXExperimentalTerms.kif 3841-3841 Le nombre 1 argument de controlGroup est une instance de collection
(domain experimentalTreatmentCollection 1 Collection) UXExperimentalTerms.kif 4034-4034 Le nombre 1 argument de experimentalTreatmentCollection est une instance de collection
(domain firstTimeBuyers 3 Collection) UXExperimentalTerms.kif 3519-3519 Le nombre 3 argument de firstTimeBuyers est une instance de collection
(domain firstTimeSellers 3 Collection) UXExperimentalTerms.kif 3567-3567 Le nombre 3 argument de firstTimeSellers est une instance de collection
(domain fleetDeadWeightTonnage 1 Collection) Transportation.kif 1003-1003 Le nombre 1 argument de fleetDeadWeightTonnage est une instance de collection
(domain fleetGrossRegisteredTonnage 1 Collection) Transportation.kif 985-985 Le nombre 1 argument de fleetGrossRegisteredTonnage est une instance de collection
(domain inventory 2 Collection) Mid-level-ontology.kif 22718-22718 Le nombre 2 argument de inventory est une instance de collection
(domain meceCollection 1 Collection) UXExperimentalTerms.kif 4609-4609 Le nombre 1 argument de meceCollection est une instance de collection
(domain meceCollection 2 Collection) UXExperimentalTerms.kif 4611-4611 Le nombre 2 argument de meceCollection est une instance de collection
(domain member 2 Collection) Merge.kif 1280-1280 Le nombre 2 argument de member est une instance de collection
(domain memberAtTime 2 Collection) Mid-level-ontology.kif 22700-22700 Le nombre 2 argument de memberAtTime est une instance de collection
(domain memberCount 1 Collection) Mid-level-ontology.kif 22634-22634 Le nombre 1 argument de memberCount est une instance de collection
(domain memberType 1 Collection) Mid-level-ontology.kif 22649-22649 Le nombre 1 argument de memberType est une instance de collection
(domain memberTypeCount 1 Collection) Mid-level-ontology.kif 22663-22663 Le nombre 1 argument de memberTypeCount est une instance de collection

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 3202-3215
(=>
    (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 3239-3259
(=>
    (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 2887-2903
(=>
    (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 2845-2870
(=>
    (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 2922-2940
(=>
    (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 7940-7947
(=>
    (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 7949-7958
(=>
    (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 2956-2983
(=>
    (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 2999-3026
(=>
    (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 3282-3302

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 7142-7162
(=>
    (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 3376-3408
(=>
    (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 3428-3455
(=>
    (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 3475-3507
(=>
    (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 3851-3862
(=>
    (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 3968-3979
(=>
    (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 3333-3356
(=>
    (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 1605-1621
(=>
    (and
        (meceCollection ?COLL1 ?COLL2)
        (member ?MEMBER ?COLL1)
        (instance ?MEMBER SelfConnectedObject))
    (exists (?COLL3)
        (and
            (instance ?COLL3 Collection)
            (member ?MEMBER ?COLL3)
            (member ?COLL3 ?COLL2))))
UXExperimentalTerms.kif 4627-4636
(=>
    (and
        (meceCollection ?COLL1 ?COLL2)
        (member ?MEMBER ?COLL2)
        (instance ?MEMBER SelfConnectedObject))
    (instance ?MEMBER Collection))
UXExperimentalTerms.kif 4620-4625
(=>
    (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 30956-30971
(=>
    (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 30898-30908
(=>
    (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 30923-30938
(=>
    (attribute ?COLLECTION LineFormation)
    (instance ?COLLECTION Collection))
Mid-level-ontology.kif 19430-19432
(=>
    (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 10386-10398
(=>
    (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 10345-10357
(=>
    (instance ?ADAPT OutletAdapter)
    (exists (?HOLE)
        (and
            (instance ?HOLE Collection)
            (memberType ?HOLE HoleRegion)
            (part ?HOLE ?ADAPT)
            (material Metal ?ADAPT))))
Mid-level-ontology.kif 25968-25975
(=>
    (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