Collection - Sigma Knowledge base Browser

appearance as argument number 1

appearance as argument number 2

(instance UnitedStatesMinorOutlyingIslands Collection)	Media.kif 2577-2577	instance UnitedStatesMinorOutlyingIslands and Collection
(range QPViewsFn Collection)	UXExperimentalTerms.kif 4372-4372	range QPViewsFn and Collection
(range QualifiedTreatmentsFn Collection)	UXExperimentalTerms.kif 4437-4437	range QualifiedTreatmentsFn and Collection
(range QualifyingEventsFn Collection)	UXExperimentalTerms.kif 4404-4404	range QualifyingEventsFn and Collection
(range QualifyingPurchasesFn Collection)	UXExperimentalTerms.kif 3237-3237	range QualifyingPurchasesFn and Collection
(range SellersItemsFn Collection)	UXExperimentalTerms.kif 1178-1178	range SellersItemsFn and Collection
(range SellersOtherItemsFn Collection)	UXExperimentalTerms.kif 1217-1217	range SellersOtherItemsFn and Collection
(range SiteWideNewBuyersFn Collection)	UXExperimentalTerms.kif 3571-3571	range SiteWideNewBuyersFn and Collection
(range SiteWideNewRegistrationsFn Collection)	UXExperimentalTerms.kif 3623-3623	range SiteWideNewRegistrationsFn and Collection
(range SiteWideNewSellersFn Collection)	UXExperimentalTerms.kif 3670-3670	range SiteWideNewSellersFn and Collection
(range TreatedUsersFn Collection)	UXExperimentalTerms.kif 4477-4477	range TreatedUsersFn and Collection
(subclass Archipelago Collection)	Geography.kif 5519-5519	subclass Archipelago and Collection
(subclass Buffet Collection)	Dining.kif 251-251	subclass Buffet and Collection
(subclass ClothingSuit Collection)	Mid-level-ontology.kif 5577-5577	subclass ClothingSuit and Collection
(subclass CommunicationSystem Collection)	Mid-level-ontology.kif 7326-7326	subclass CommunicationSystem and Collection
(subclass ComputerSystem Collection)	ComputingBrands.kif 3305-3305	subclass ComputerSystem and Collection
(subclass Convoy Collection)	Mid-level-ontology.kif 20152-20152	subclass Convoy and Collection
(subclass Discography Collection)	Music.kif 60-60	subclass Discography and Collection
(subclass FireSprinklerSystem Collection)	Mid-level-ontology.kif 23365-23365	subclass FireSprinklerSystem and Collection
(subclass Fleet Collection)	Mid-level-ontology.kif 4045-4045	subclass Fleet and Collection
(subclass GolgiApparatus Collection)	VirusProteinAndCellPart.kif 472-472	subclass GolgiApparatus and Collection
(subclass Group Collection)	Merge.kif 14935-14935	subclass Group and Collection
(subclass HotelMiniBar Collection)	Hotel.kif 1666-1666	subclass HotelMiniBar and Collection
(subclass Industry Collection)	Mid-level-ontology.kif 12710-12710	subclass Industry and Collection
(subclass InlandWaterSystem Collection)	Geography.kif 5020-5020	subclass InlandWaterSystem and 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 3430-3430	domain ABPFn, 1 and Collection
(domain ASPFn 1 Collection)	UXExperimentalTerms.kif 3473-3473	domain ASPFn, 1 and Collection
(domain AuctionGMBFn 1 Collection)	UXExperimentalTerms.kif 3395-3395	domain AuctionGMBFn, 1 and Collection
(domain BidCountFn 1 Collection)	UXExperimentalTerms.kif 3115-3115	domain BidCountFn, 1 and Collection
(domain BoughtItemsFn 1 Collection)	UXExperimentalTerms.kif 3082-3082	domain BoughtItemsFn, 1 and Collection
(domain ClickThroughRateFn 1 Collection)	UXExperimentalTerms.kif 3530-3530	domain ClickThroughRateFn, 1 and Collection
(domain ConversionRateFn 1 Collection)	UXExperimentalTerms.kif 3046-3046	domain ConversionRateFn, 1 and Collection
(domain GMBFn 1 Collection)	UXExperimentalTerms.kif 3149-3149	domain GMBFn, 1 and Collection
(domain GMVFn 1 Collection)	UXExperimentalTerms.kif 3192-3192	domain GMVFn, 1 and Collection
(domain SCRFn 1 Collection)	UXExperimentalTerms.kif 3861-3861	domain SCRFn, 1 and Collection
(domain controlGroup 1 Collection)	UXExperimentalTerms.kif 4043-4043	domain controlGroup, 1 and Collection
(domain experimentalTreatmentCollection 1 Collection)	UXExperimentalTerms.kif 4236-4236	domain experimentalTreatmentCollection, 1 and Collection
(domain firstTimeBuyers 3 Collection)	UXExperimentalTerms.kif 3722-3722	domain firstTimeBuyers, 3 and Collection
(domain firstTimeSellers 3 Collection)	UXExperimentalTerms.kif 3770-3770	domain firstTimeSellers, 3 and Collection
(domain fleetDeadWeightTonnage 1 Collection)	Transportation.kif 992-992	domain fleetDeadWeightTonnage, 1 and Collection
(domain fleetGrossRegisteredTonnage 1 Collection)	Transportation.kif 974-974	domain fleetGrossRegisteredTonnage, 1 and Collection
(domain inventory 2 Collection)	Mid-level-ontology.kif 20593-20593	domain inventory, 2 and Collection
(domain meceCollection 1 Collection)	UXExperimentalTerms.kif 4807-4807	domain meceCollection, 1 and Collection
(domain meceCollection 2 Collection)	UXExperimentalTerms.kif 4809-4809	domain meceCollection, 2 and Collection
(domain member 2 Collection)	Merge.kif 1178-1178	domain member, 2 and Collection
(domain memberAtTime 2 Collection)	Mid-level-ontology.kif 20575-20575	domain memberAtTime, 2 and Collection
(domain memberCount 1 Collection)	Mid-level-ontology.kif 20502-20502	domain memberCount, 1 and Collection
(domain memberType 1 Collection)	Mid-level-ontology.kif 20524-20524	domain memberType, 1 and Collection
(domain memberTypeCount 1 Collection)	Mid-level-ontology.kif 20538-20538	domain memberTypeCount, 1 and Collection
(domain newRegisteredUsers 3 Collection)	UXExperimentalTerms.kif 3818-3818	domain newRegisteredUsers, 3 and Collection

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	instance Collection and Collection Object member Object and Collection instance Object and Auctioning total KappaFn SymbolicString and instance ObjectTION and Auctioning member ObjectTION and Collection transactionAmount ObjectTION and SymbolicString and entity_PURCHASE_AMOUNT equal AuctionGMBFn Collection and entity_PURCHASE_AMOUNT
(=> (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	instance Collection and Collection instance CurrencyMeasure and CurrencyMeasure instance Integer and RealNumber equal CurrencyMeasure and GMBFn Collection equal Integer and CardinalityFn KappaFn SymbolicString and instance SymbolicString and Object entity member entity and Collection patient SymbolicString and entity equal ABPFn Collection and DivisionFn CurrencyMeasure and Integer
(=> (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	instance Collection and Collection Object member Object and Collection instance Object and FinancialTransaction equal CardinalityFn KappaFn SymbolicString and instance SymbolicString and Physical instance entity and Buying member entity and Collection patient entity and SymbolicString and BoughtItemsFn Collection
(=> (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	instance Collection and Collection Object member Object and Collection instance Object and WebListing equal CardinalityFn KappaFn SymbolicString and instance entity and Physical instance entity and WebListing instance SymbolicString and Bidding member entity and Collection objectOfBid SymbolicString and entity patient entity and entity and BidCountFn Collection
(=> (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	instance Collection and Collection Object member Object and Collection instance Object and WebListing equal DivisionFn CardinalityFn KappaFn SymbolicString and instance SymbolicString and WebListing instance entity and WebSite instance entity and Physical member SymbolicString and Collection patient SymbolicString and entity hostedOn SymbolicString and entity entity instance entity and Buying patient entity and entity eCommerceSite entity and entity and CardinalityFn Collection and BidCountFn Collection
(=> (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	instance Collection and Collection instance WebSite and WebSite instance Agent and Agent instance WebListing and WebListing instance TimePoint and TimePoint listingSeller WebListing and Agent member WebListing and Collection Object instance Object and WebListing member Object and SellersItemsFn Agent and WebSite temporalPart TimePoint and WhenFn Object equal Object and WebListing member Object and Collection Object member Object and Collection temporalPart TimePoint and WhenFn Object instance Object and WebListing equal SellersOtherItemsFn Agent, WebSite, WebListing and TimePoint and Collection
(=> (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	instance Collection and Collection Object member Object and Collection instance Object and Buying Object instance Object and GeopoliticalArea Agent Object instance Agent and Agent instance Object and Buying member Object and Collection agent Object and Agent located Agent and Object total KappaFn SymbolicString and instance entity and Buying member entity and Collection transactionAmount entity and SymbolicString and entity_PURCHASE_AMOUNT equal GMBFn Collection and entity_PURCHASE_AMOUNT
(=> (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	instance Collection and Collection Object member Object and Collection instance Object and Selling Object instance Object and GeopoliticalArea Agent Object instance Agent and Agent instance Object and Buying member Object and Collection agent Object and Agent located Agent and Object total KappaFn SymbolicString and instance entity and Selling member entity and Collection transactionAmount entity and SymbolicString and entity_SALE_AMOUNT equal GMVFn Collection and entity_SALE_AMOUNT
(=> (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	instance entity_COLL and Collection instance entity_COLL and Collection instance Experimenting and Experimenting instance CognitiveAgent and CognitiveAgent agent Experimenting and CognitiveAgent statisticalPopulation entity_COLL, entity_COLL and Experimenting Attribute instance Attribute and Attribute property entity_COLL and Attribute inScopeOfInterest CognitiveAgent and Attribute equal Attribute and RepresentativeSample property entity_COLL and Attribute
(=> (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	instance entity_COLL and Collection instance entity_COLL and Collection instance Experimenting and Experimenting statisticalPopulation entity_COLL, entity_COLL and Experimenting subCollection entity_COLL and entity_COLL
(=> (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	instance Collection and Collection instance CurrencyMeasure and CurrencyMeasure instance Integer and RealNumber equal CurrencyMeasure and GMVFn Collection equal Integer and CardinalityFn KappaFn SymbolicString and instance SymbolicString and Object entity member entity and Collection patient entity and SymbolicString equal ASPFn Collection and DivisionFn CurrencyMeasure and Integer
(=> (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	instance Human and Human instance Collection and Collection Entity Process instance Entity and Experimenting instance Process and Process member Process and QualifyingEventsFn Experimenting capability Process, experiencer and Human member Process and Collection member Process and Collection instance Process and Process Experimenting instance Experimenting and Experimenting member Process and QualifyingEventsFn Experimenting capability Process, experiencer and Human equal QualifiedTreatmentsFn Human and Collection
(=> (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	instance Human and Human instance Collection and Collection WebPage Process and Experimenting instance WebPage and WebPage instance Process and AccessingWebPage instance Experimenting and Experimenting agent Process and Human patient Process and WebPage treatedPage WebPage and Experimenting member Process and Collection equal Collection and QPViewsFn Human
(=> (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	instance Collection and Collection instance HypertextLink and HypertextLink Object member Object and Collection instance Object and AccessingWebPage component Collection and HypertextLink Collection instance Collection and Collection Process instance Process and RequestingHyperlink patient Process and HypertextLink member Process and Collection equal ClickThroughRateFn Collection and HypertextLink and DivisionFn CardinalityFn Collection and CardinalityFn Collection
(=> (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	instance Collection and Collection instance Collection and Collection subCollection Collection and Collection Object member Object and Collection instance Object and AccessingWebPage Process Agent, Object, Process and Object instance Agent and Human instance Process and Buying instance Object and AccessingWebPage instance Object and WebPage member Object and Collection destination Object and Object agent Process and Agent agent Object and Agent during WhenFn Process and WhenFn Object instrument Process and Object member Process and Collection equal SCRFn Collection and TimeInterval and DivisionFn CardinalityFn KappaFn entity_IN_INTERVAL and member entity_IN_INTERVAL and Collection during WhenFn entity_IN_INTERVAL and TimeInterval and CardinalityFn KappaFn entity_IN_INTERVAL and member entity_IN_INTERVAL and Collection during WhenFn entity_IN_INTERVAL and TimeInterval
(=> (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	meceCollection Collection and Collection instance Collection and Collection instance Collection and Collection instance Object and SelfConnectedObject member Object and Collection member Collection and Collection member Collection and Collection equal Collection and Collection ~{ member Object and Collection } ~{ member Object and Collection }
(=> (instance ?COLL Collection) (exists (?OBJ) (member ?OBJ ?COLL)))	Merge.kif 1169-1172	instance Collection and Collection Object member Object and Collection

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	instance Agent and Agent instance WebSite and WebSite Collection instance Collection and Collection WebListing instance WebListing and WebListing hostedOn WebListing and WebSite listingSeller WebListing and Agent member WebListing and Collection equal SellersItemsFn Agent and WebSite and Collection
(=> (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	instance TimeInterval and AddToCart instance Entity and Object patient TimeInterval and Entity agent TimeInterval and Agent Collection WebSite and TimePosition instance Collection and Collection instance WebSite and WebSite instance TimeInterval and TimeInterval webcart Agent, Collection and WebSite equal BeginFn TimeInterval and EndFn TimeInterval holdsDuring TimePosition and member Entity and Collection
(=> (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	instance Object and Crystal attribute Object and MonoCrystalline instance SelfConnectedObject and Substance attribute SelfConnectedObject and Solid attribute SelfConnectedObject and PolyCrystalline instance SelfConnectedObject and Substance surface SelfConnectedObject and SelfConnectedObject part Object and SelfConnectedObject ObjectLNT instance ObjectLNT and Collection memberCount ObjectLNT and Integer greaterThanOrEqualTo Integer and 4 member Object and ObjectLNT part Object and SelfConnectedObject meetsSpatially Object and Object
(=> (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	instance TimeInterval and TimeInterval instance WebSite and WebSite Collection instance Collection and Collection Agent member Agent and Collection TimeInterval instance Agent and Agent instance TimeInterval and Buying agent TimeInterval and Agent instrument TimeInterval and WebSite during TimeInterval and TimeInterval TimeInterval_BEFORE instance TimeInterval_BEFORE and TimeInterval earlier TimeInterval_BEFORE and TimeInterval holdsDuring TimeInterval_BEFORE and TimeInterval_BEFORE instance TimeInterval_BEFORE and Buying agent TimeInterval_BEFORE and Agent instrument TimeInterval_BEFORE and WebSite during TimeInterval_BEFORE and TimeInterval equal SiteWideNewBuyersFn TimeInterval and WebSite and Collection
(=> (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	instance TimeInterval and TimeInterval instance WebSite and WebSite Collection instance Collection and Collection Object instance Object and Human TimeInterval_BEFORE instance TimeInterval_BEFORE and TimeInterval earlier TimeInterval_BEFORE and TimeInterval holdsDuring TimeInterval_BEFORE and registeredUser Object and WebSite TimeInterval_DURING instance TimeInterval_DURING and TimeInterval during TimeInterval_DURING and TimeInterval holdsDuring TimeInterval and registeredUser Object and WebSite member Object and Collection equal Collection and SiteWideNewRegistrationsFn TimeInterval and WebSite
(=> (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	instance TimeInterval and TimeInterval instance WebSite and WebSite Collection instance Collection and Collection Agent member Agent and Collection TimeInterval instance Agent and Agent instance TimeInterval and Selling agent TimeInterval and Agent instrument TimeInterval and WebSite during TimeInterval and TimeInterval TimeInterval_BEFORE instance TimeInterval_BEFORE and TimeInterval earlier TimeInterval_BEFORE and TimeInterval holdsDuring TimeInterval_BEFORE and TimeInterval_BEFORE instance TimeInterval_BEFORE and Selling agent TimeInterval_BEFORE and Agent instrument TimeInterval_BEFORE and WebSite during TimeInterval_BEFORE and TimeInterval equal SiteWideNewSellersFn TimeInterval and WebSite and Collection
(=> (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	instance Process and Process instance Experimenting and Experimenting instance Process and Agent experiencer Process and Agent experimentalVariableProcess Experimenting and Process entity_GROUP instance entity_GROUP and Collection member Process and entity_GROUP controlGroup entity_GROUP and Experimenting
(=> (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	instance Process and Process instance Experimenting and Experimenting instance Process and Agent experiencer Process and Agent experimentalVariableProcess Experimenting and Process entity_GROUP instance entity_GROUP and Collection member Process and entity_GROUP treatmentGroup entity_GROUP and Experimenting
(=> (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	instance Collection and Collection instance HypertextLink and HypertextLink Object member Object and Collection instance Object and AccessingWebPage component Collection and HypertextLink Collection instance Collection and Collection Process instance Process and RequestingHyperlink patient Process and HypertextLink member Process and Collection equal ClickThroughRateFn Collection and HypertextLink and DivisionFn CardinalityFn Collection and CardinalityFn Collection
(=> (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	instance TimeInterval and WatchItem instance Entity and Object patient TimeInterval and Entity agent TimeInterval and Agent Collection WebSite and TimePosition instance Collection and Collection instance WebSite and WebSite instance TimeInterval and TimeInterval watchingListings Agent, Collection and WebSite equal BeginFn TimeInterval and EndFn TimeInterval holdsDuring TimePosition and member Entity and Collection
(=> (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	meceCollection Collection and Collection member Object and Collection instance Object and SelfConnectedObject Collection instance Collection and Collection member Object and Collection member Collection and Collection
(=> (and (meceCollection ?COLL1 ?COLL2) (member ?MEMBER ?COLL2) (instance ?MEMBER SelfConnectedObject)) (instance ?MEMBER Collection))	UXExperimentalTerms.kif 4818-4823	meceCollection Collection and Collection member Object and Collection instance Object and SelfConnectedObject instance Object and Collection
(=> (attribute ?COLLECTION LineFormation) (instance ?COLLECTION Collection))	Mid-level-ontology.kif 17210-17212	attribute Object and LineFormation instance Object and Collection
(=> (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	attribute Object and Florists hasPurpose Object and entity entity instance entity and Designing instance entity and Collection memberType entity and Flower patient entity and entity agent entity and Object
(=> (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 3091-3107	coilCount WireCoil and Integer Collection instance Collection and Collection memberCount Collection and Integer Object member Object and Collection attribute Object and ClosedTwoDimensionalFigure part Object and WireCoil Object overlapsSpatially Object and Object member Object and Collection
(=> (engineCylinders ?E ?N) (exists (?G) (and (instance ?G Collection) (memberTypeCount ?G EngineCylinder ?N) (member ?EC ?G) (part ?EC ?E))))	Cars.kif 4510-4517	engineCylinders Engine and NonNegativeInteger Collection instance Collection and Collection memberTypeCount Collection, EngineCylinder and NonNegativeInteger member EngineC and Collection part EngineC and Engine
(=> (groupingTitle ?STRING ?PRODUCTTYPE ?LANGUAGE) (subclass ?PRODUCTTYPE Collection))	Media.kif 3171-3173	groupingTitle SymbolicString, SetOrClass and Language subclass SetOrClass and Collection
(=> (instance ?ADAPT OutletAdapter) (exists (?HOLE) (and (instance ?HOLE Collection) (memberType ?HOLE Hole) (part ?HOLE ?ADAPT) (material Metal ?ADAPT))))	Mid-level-ontology.kif 23955-23962	instance CorpuscularObject and OutletAdapter Collection instance Collection and Collection memberType Collection and Hole part Collection and CorpuscularObject material Metal and CorpuscularObject
(=> (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 Object and BowlingBall Collection instance Collection and Collection memberType Collection and Hole memberCount Collection and 3 located Collection and Object hasPurpose Collection and entity member entity and Collection instance entity and Finger partiallyFills entity and entity
(=> (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 Physical and Bus hasPurpose Physical and entity entity and entity instance entity and Collection instance entity and Transportation memberCount entity and entity greaterThan entity and 11 member entity and entity patient entity and entity
(=> (instance ?BF BowlingFacility) (exists (?BL) (and (instance ?BL Collection) (memberType ?BL BowlingLane) (located ?BL ?BF))))	Sports.kif 1014-1020	instance Object and BowlingFacility Collection instance Collection and Collection memberType Collection and BowlingLane located Collection and Object
(=> (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 Transfer and Drizzling Collection SelfConnectedObject and RealNumber instance Collection and Collection instance SelfConnectedObject and Water instance SelfConnectedObject and LiquidDrop member SelfConnectedObject and Collection objectTransferred Transfer and Collection approximateDiameter SelfConnectedObject and MeasureFn RealNumber and Millimeter modalAttribute lessThanOrEqualTo RealNumber and 0.5 and Likely
(=> (instance ?DROP Raindrop) (exists (?RAIN) (and (instance ?RAIN Rain) (instance ?RAIN Collection) (member ?DROP ?RAIN))))	Weather.kif 1522-1528	instance Object and Raindrop Collection instance Collection and Rain instance Collection and Collection member Object and Collection
(=> (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 Experimenting and Experimenting entity_EVENTS instance entity_EVENTS and Collection Process instance Process and Process experimentalControlProcess Experimenting and Process experimentalVariableProcess Experimenting and Process member Process and entity_EVENTS equal QualifyingEventsFn Experimenting and entity_EVENTS
(=> (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	instance Experimenting and Experimenting entity_USERS instance entity_USERS and Collection Human instance Human and Human treatedUser Human and Experimenting member Human and entity_USERS equal TreatedUsersFn Experimenting and entity_USERS

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

statement

(domain CardinalityFn 1
(UnionFn SetOrClass Collection))

Merge.kif 5092-5092

domain CardinalityFn, 1 and UnionFn SetOrClass and Collection

Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)

Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners

(disjoint Collection SelfConnectedObject)	Merge.kif 1161-1161	disjoint Collection and SelfConnectedObject
(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 1163-1167
(externalImage Collection "http://upload.wikimedia.org/wikipedia/commons/ 3/ 38/ Stamp_collection.jpg")	pictureList.kif 10689-10689	externalImage Collection and "http://upload.wikimedia.org/wikipedia/commons/3/38/ Stamp_collection.jpg"
(externalImage Collection "http://upload.wikimedia.org/wikipedia/commons/ 3/ 3a/ Collection_Quid.jpg")	pictureList.kif 10688-10688	externalImage Collection and "http://upload.wikimedia.org/wikipedia/commons/3/3a/ Collection_Quid.jpg"
(externalImage Collection "http://upload.wikimedia.org/wikipedia/commons/ 3/ 3f/ Book_collection.jpg")	pictureList.kif 10684-10684	externalImage Collection and "http://upload.wikimedia.org/wikipedia/commons/3/3f/ Book_collection.jpg"
(externalImage Collection "http://upload.wikimedia.org/wikipedia/commons/ 4/ 48/ Greek_pottery1.jpg")	pictureList.kif 10695-10695	externalImage Collection and "http://upload.wikimedia.org/wikipedia/commons/4/48/ Greek_pottery1.jpg"
(externalImage Collection "http://upload.wikimedia.org/wikipedia/commons/ 4/ 4c/ Beetle_collection.jpg")	pictureList.kif 10683-10683	externalImage Collection and "http://upload.wikimedia.org/wikipedia/commons/4/4c/ Beetle_collection.jpg"
(externalImage Collection "http://upload.wikimedia.org/wikipedia/commons/ 4/ 4c/ Bgbo_kakteen_ies.jpg")	pictureList.kif 10694-10694	externalImage Collection and "http://upload.wikimedia.org/wikipedia/commons/4/4c/ Bgbo_kakteen_ies.jpg"
(externalImage Collection "http://upload.wikimedia.org/wikipedia/commons/ 4/ 4d/ LA2-katalogkort.jpg")	pictureList.kif 9966-9966	externalImage Collection and "http://upload.wikimedia.org/wikipedia/commons/4/4d/ LA2-katalogkort.jpg"
(externalImage Collection "http://upload.wikimedia.org/wikipedia/commons/ 6/ 64/ Petosa_-_old_accordions_03.jpg")	pictureList.kif 10687-10687	externalImage Collection and "http://upload.wikimedia.org/wikipedia/commons/6/64/ Petosa_-_old_accordions_03.jpg"
(externalImage Collection "http://upload.wikimedia.org/wikipedia/commons/ 6/ 6e/ The_old_Porsche-Museum%2C_Porscheplatz_1%2C_Stuttgart.jpg")	pictureList.kif 10693-10693	externalImage Collection and "http://upload.wikimedia.org/wikipedia/commons/6/6e/ The_old_Porsche-Museum%2C_Porscheplatz_1%2C_Stuttgart.jpg"
(externalImage Collection "http://upload.wikimedia.org/wikipedia/commons/ 8/ 88/ Collection-of-cameras.jpg")	pictureList.kif 10690-10690	externalImage Collection and "http://upload.wikimedia.org/wikipedia/commons/8/88/ Collection-of-cameras.jpg"
(externalImage Collection "http://upload.wikimedia.org/wikipedia/commons/ a/ aa/ Xtal-collection.jpg")	pictureList.kif 10680-10680	externalImage Collection and "http://upload.wikimedia.org/wikipedia/commons/a/aa/ Xtal-collection.jpg"
(externalImage Collection "http://upload.wikimedia.org/wikipedia/commons/ b/ b2/ Oropos-Phaeton.jpg")	pictureList.kif 10692-10692	externalImage Collection and "http://upload.wikimedia.org/wikipedia/commons/b/b2/ Oropos-Phaeton.jpg"
(externalImage Collection "http://upload.wikimedia.org/wikipedia/commons/ c/ ca/ Pog_Collection.jpg")	pictureList.kif 10682-10682	externalImage Collection and "http://upload.wikimedia.org/wikipedia/commons/c/ca/ Pog_Collection.jpg"
(externalImage Collection "http://upload.wikimedia.org/wikipedia/commons/ c/ cd/ CD_collection.jpg")	pictureList.kif 10681-10681	externalImage Collection and "http://upload.wikimedia.org/wikipedia/commons/c/cd/ CD_collection.jpg"
(externalImage Collection "http://upload.wikimedia.org/wikipedia/commons/ d/ d3/ Collection-of-Maps.jpg")	pictureList.kif 10691-10691	externalImage Collection and "http://upload.wikimedia.org/wikipedia/commons/d/d3/ Collection-of-Maps.jpg"
(externalImage Collection "http://upload.wikimedia.org/wikipedia/commons/ d/ d3/ Tuning_World_Bodensee_Thumbs_2004.JPG")	pictureList.kif 10696-10696	externalImage Collection and "http://upload.wikimedia.org/wikipedia/commons/d/d3/ Tuning_World_Bodensee_Thumbs_2004.JPG"
(externalImage Collection "http://upload.wikimedia.org/wikipedia/commons/ e/ ec/ Speccy-collection.jpg")	pictureList.kif 10686-10686	externalImage Collection and "http://upload.wikimedia.org/wikipedia/commons/e/ec/ Speccy-collection.jpg"
(externalImage Collection "http://upload.wikimedia.org/wikipedia/commons/ f/ fa/ Bottle-collection.jpg")	pictureList.kif 10685-10685	externalImage Collection and "http://upload.wikimedia.org/wikipedia/commons/f/fa/ Bottle-collection.jpg"
(subclass Collection Object)	Merge.kif 1160-1160	subclass Collection and Object

KB Term:			Term intersection

English Word: