TreeView Knowledge Base Browser

appearance as argument number 1

(disjoint Collection SelfConnectedObject)	Merge.kif 1214-1214	Collection is disjoint from self connected object
(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 1216-1220
(externalImage Collection "http://upload.wikimedia.org/wikipedia/commons/ 3/ 38/ Stamp_collection.jpg")	pictureList.kif 10678-10678
(externalImage Collection "http://upload.wikimedia.org/wikipedia/commons/ 3/ 3a/ Collection_Quid.jpg")	pictureList.kif 10677-10677
(externalImage Collection "http://upload.wikimedia.org/wikipedia/commons/ 3/ 3f/ Book_collection.jpg")	pictureList.kif 10673-10673
(externalImage Collection "http://upload.wikimedia.org/wikipedia/commons/ 4/ 48/ Greek_pottery1.jpg")	pictureList.kif 10684-10684
(externalImage Collection "http://upload.wikimedia.org/wikipedia/commons/ 4/ 4c/ Beetle_collection.jpg")	pictureList.kif 10672-10672
(externalImage Collection "http://upload.wikimedia.org/wikipedia/commons/ 4/ 4c/ Bgbo_kakteen_ies.jpg")	pictureList.kif 10683-10683
(externalImage Collection "http://upload.wikimedia.org/wikipedia/commons/ 4/ 4d/ LA2-katalogkort.jpg")	pictureList.kif 9956-9956
(externalImage Collection "http://upload.wikimedia.org/wikipedia/commons/ 6/ 64/ Petosa_-_old_accordions_03.jpg")	pictureList.kif 10676-10676
(externalImage Collection "http://upload.wikimedia.org/wikipedia/commons/ 6/ 6e/ The_old_Porsche-Museum%2C_Porscheplatz_1%2C_Stuttgart.jpg")	pictureList.kif 10682-10682
(externalImage Collection "http://upload.wikimedia.org/wikipedia/commons/ 8/ 88/ Collection-of-cameras.jpg")	pictureList.kif 10679-10679
(externalImage Collection "http://upload.wikimedia.org/wikipedia/commons/ a/ aa/ Xtal-collection.jpg")	pictureList.kif 10669-10669
(externalImage Collection "http://upload.wikimedia.org/wikipedia/commons/ b/ b2/ Oropos-Phaeton.jpg")	pictureList.kif 10681-10681
(externalImage Collection "http://upload.wikimedia.org/wikipedia/commons/ c/ ca/ Pog_Collection.jpg")	pictureList.kif 10671-10671
(externalImage Collection "http://upload.wikimedia.org/wikipedia/commons/ c/ cd/ CD_collection.jpg")	pictureList.kif 10670-10670
(externalImage Collection "http://upload.wikimedia.org/wikipedia/commons/ d/ d3/ Collection-of-Maps.jpg")	pictureList.kif 10680-10680
(externalImage Collection "http://upload.wikimedia.org/wikipedia/commons/ d/ d3/ Tuning_World_Bodensee_Thumbs_2004.JPG")	pictureList.kif 10685-10685
(externalImage Collection "http://upload.wikimedia.org/wikipedia/commons/ e/ ec/ Speccy-collection.jpg")	pictureList.kif 10675-10675
(externalImage Collection "http://upload.wikimedia.org/wikipedia/commons/ f/ fa/ Bottle-collection.jpg")	pictureList.kif 10674-10674
(subclass Collection Object)	Merge.kif 1213-1213	Collection is a subclass of object

appearance as argument number 2

(instance UnitedStatesMinorOutlyingIslands Collection)	Media.kif 2595-2595	UnitedStatesMinorOutlyingIslands is an instance of collection
(range QPViewsFn Collection)	UXExperimentalTerms.kif 4375-4375	The range of qualifed page views is an instance of collection
(range QualifiedTreatmentsFn Collection)	UXExperimentalTerms.kif 4440-4440	The range of qualifed treatments is an instance of collection
(range QualifyingEventsFn Collection)	UXExperimentalTerms.kif 4407-4407	The range of Qualifying Factor or Event is an instance of collection
(range QualifyingPurchasesFn Collection)	UXExperimentalTerms.kif 3242-3242	The range of Qualifying Purchase is an instance of collection
(range SellersItemsFn Collection)	UXExperimentalTerms.kif 1182-1182	The range of sellers items is an instance of collection
(range SellersOtherItemsFn Collection)	UXExperimentalTerms.kif 1221-1221	The range of sellers other items is an instance of collection
(range SiteWideNewBuyersFn Collection)	UXExperimentalTerms.kif 3576-3576	The range of new buyers is an instance of collection
(range SiteWideNewRegistrationsFn Collection)	UXExperimentalTerms.kif 3628-3628	The range of site-wide new registrations is an instance of collection
(range SiteWideNewSellersFn Collection)	UXExperimentalTerms.kif 3675-3675	The range of site-wide new sellers is an instance of collection
(range TreatedUsersFn Collection)	UXExperimentalTerms.kif 4480-4480	The range of TreatedUsersFn is an instance of collection
(subclass Archipelago Collection)	Geography.kif 5739-5739	Archipelago is a subclass of collection
(subclass Buffet Collection)	Dining.kif 251-251	Buffet is a subclass of collection
(subclass ClothingSuit Collection)	Mid-level-ontology.kif 5024-5024	Clothing suit is a subclass of collection
(subclass CommunicationSystem Collection)	Mid-level-ontology.kif 7295-7295	Communication system is a subclass of collection
(subclass ComputerSystem Collection)	ComputingBrands.kif 3283-3283	Computer system is a subclass of collection
(subclass Convoy Collection)	Mid-level-ontology.kif 21779-21779	Convoy is a subclass of collection
(subclass Discography Collection)	Music.kif 60-60	Discography is a subclass of collection
(subclass FireSprinklerSystem Collection)	Mid-level-ontology.kif 24806-24806	Sprinkler system is a subclass of collection
(subclass Fleet Collection)	Mid-level-ontology.kif 3464-3464	Fleet is a subclass of collection
(subclass GolgiApparatus Collection)	VirusProteinAndCellPart.kif 544-544	Golgi apparatus is a subclass of collection
(subclass Group Collection)	Merge.kif 15941-15941	Group is a subclass of collection
(subclass HotelMiniBar Collection)	Hotel.kif 1693-1693	Mini bar is a subclass of collection
(subclass Industry Collection)	Mid-level-ontology.kif 14454-14454	Industry is a subclass of collection
(subclass InlandWaterSystem Collection)	Geography.kif 5240-5240	Inland water system is a subclass of 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 3435-3435	The number 1 argument of average buying price is an instance of collection
(domain ASPFn 1 Collection)	UXExperimentalTerms.kif 3478-3478	The number 1 argument of average buying price is an instance of collection
(domain AuctionGMBFn 1 Collection)	UXExperimentalTerms.kif 3400-3400	The number 1 argument of gross merchandise bought in auctions is an instance of collection
(domain BidCountFn 1 Collection)	UXExperimentalTerms.kif 3120-3120	The number 1 argument of bid count is an instance of collection
(domain BoughtItemsFn 1 Collection)	UXExperimentalTerms.kif 3087-3087	The number 1 argument of bought items is an instance of collection
(domain ClickThroughRateFn 1 Collection)	UXExperimentalTerms.kif 3535-3535	The number 1 argument of click-through rate is an instance of collection
(domain ConversionRateFn 1 Collection)	UXExperimentalTerms.kif 3051-3051	The number 1 argument of conversion rate is an instance of collection
(domain GMBFn 1 Collection)	UXExperimentalTerms.kif 3154-3154	The number 1 argument of gross merchandise bought is an instance of collection
(domain GMVFn 1 Collection)	UXExperimentalTerms.kif 3197-3197	The number 1 argument of gross merchandise volume is an instance of collection
(domain SCRFn 1 Collection)	UXExperimentalTerms.kif 3866-3866	The number 1 argument of sales conversion rate is an instance of collection
(domain controlGroup 1 Collection)	UXExperimentalTerms.kif 4048-4048	The number 1 argument of control group is an instance of collection
(domain experimentalTreatmentCollection 1 Collection)	UXExperimentalTerms.kif 4241-4241	The number 1 argument of experimental treatment is an instance of collection
(domain firstTimeBuyers 3 Collection)	UXExperimentalTerms.kif 3727-3727	The number 3 argument of first time buyers is an instance of collection
(domain firstTimeSellers 3 Collection)	UXExperimentalTerms.kif 3775-3775	The number 3 argument of first time buyers is an instance of collection
(domain fleetDeadWeightTonnage 1 Collection)	Transportation.kif 1003-1003	The number 1 argument of fleet dead weight tonnage is an instance of collection
(domain fleetGrossRegisteredTonnage 1 Collection)	Transportation.kif 985-985	The number 1 argument of fleet gross registered tonnage is an instance of collection
(domain inventory 2 Collection)	Mid-level-ontology.kif 22140-22140	The number 2 argument of inventory is an instance of collection
(domain meceCollection 1 Collection)	UXExperimentalTerms.kif 4810-4810	The number 1 argument of mutually exclusive completely exhaustive is an instance of collection
(domain meceCollection 2 Collection)	UXExperimentalTerms.kif 4812-4812	The number 2 argument of mutually exclusive completely exhaustive is an instance of collection
(domain member 2 Collection)	Merge.kif 1232-1232	The number 2 argument of member is an instance of collection
(domain memberAtTime 2 Collection)	Mid-level-ontology.kif 22122-22122	The number 2 argument of member at time is an instance of collection
(domain memberCount 1 Collection)	Mid-level-ontology.kif 22056-22056	The number 1 argument of member count is an instance of collection
(domain memberType 1 Collection)	Mid-level-ontology.kif 22071-22071	The number 1 argument of member type is an instance of collection
(domain memberTypeCount 1 Collection)	Mid-level-ontology.kif 22085-22085	The number 1 argument of member type count is an instance of collection
(domain newRegisteredUsers 3 Collection)	UXExperimentalTerms.kif 3823-3823	The number 3 argument of new registered users is an instance of 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 3409-3424	If a collection is an instance of collection and for all a physical if the physical is a member of the collection, then the physical is an instance of auction , then the total of values in the class described by a symbolic string is an entity_PURCHASE_AMOUNT and the total purchase price of the collection is equal to the 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 3447-3467	If a collection is an instance of collection and a real number is an instance of currency measure and an integer is an instance of real number and the real number is equal to the value of the collection and the integer is equal to the number of instances in the class described by a symbolic string, then the average price of the collection is equal to the real number and the 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 3096-3111	If a collection is an instance of collection and for all a physical if the physical is a member of the collection, then the physical is an instance of financial transaction , then the number of instances in the class described by a symbolic string is equal to number of items purchased in the 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 3130-3147	If a collection is an instance of collection and for all a physical if the physical is a member of the collection, then the physical is an instance of web listing , then the number of instances in the class described by a symbolic string is equal to number of bids in the 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 3055-3079	If a collection is an instance of collection and for all a physical if the physical is a member of the collection, then the physical is an instance of web listing , then the number of instances in the class described by a symbolic string and the number of instances in the collection is equal to number of bids in the 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 ?MEMBER) (and (=> (and (instance ?ITEM WebListing) (member ?ITEM (SellersItemsFn ?AGENT ?SITE)) (temporalPart ?TIME (WhenFn ?ITEM)) (not (equal ?ITEM ?LISTING))) (member ?ITEM ?COLL)) (=> (member ?MEMBER ?COLL) (and (temporalPart ?TIME (WhenFn ?ITEM)) (instance ?MEMBER WebListing)))))) (equal (SellersOtherItemsFn ?AGENT ?SITE ?LISTING ?TIME) ?COLL))	UXExperimentalTerms.kif 1230-1257	If a collection is an instance of collection and a WebSite is an instance of WebSite and an agent is an instance of agent and a web listing is an instance of web listing and a time point is an instance of time point and the agent sells the web listing and the web listing is not a member of the collection and for all a physical and another physical if the physical is an instance of web listing and the physical is a member of items for sale by the agent at the WebSite and the time point is a part of the time of existence of the physical and the physical is not equal to the web listing, then the physical is a member of the collection and if the other physical is a member of the collection, then the time point is a part of the time of existence of the physical and the other physical is an instance of web listing , then things for sale by the agent not listed in the web listing at the WebSite during the time point is equal to the collection
(=> (and (instance ?LGP LargeGroupProcess) (instance ?G Collection) (member ?M ?G) (involvedInEvent ?LGP ?M) (memberCount ?G ?N)) (greaterThan ?N 10))	Mid-level-ontology.kif 7609-7616	If a process is an instance of LargeGroupProcess and a collection is an instance of collection and a physical is a member of the collection and the physical is an involved in event of the process and an integer is a member count of the collection, then the integer is greater than 10
(=> (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 7618-7627	If a process is an instance of LargeGroupProcess and a collection is an instance of collection and a physical is a member of the collection and the physical is an involved in event of the process, then there exist a class and the classC such that the classC is an instance of the class and the physical is an involved in event of the classC
(=> (and (instance ?PURCHASES Collection) (forall (?MEMBER) (=> (member ?MEMBER ?PURCHASES) (instance ?MEMBER Buying))) (exists (?REGION) (and (instance ?REGION GeopoliticalArea) (forall (?BUYER ?BUYING) (=> (and (instance ?BUYER Agent) (instance ?BUYING Buying) (member ?BUYING ?PURCHASES) (agent ?BUYING ?BUYER)) (located ?BUYER ?REGION)))))) (and (total (KappaFn ?AMOUNT (and (instance ?PURCHASE Buying) (member ?PURCHASE ?PURCHASES) (transactionAmount ?PURCHASE ?AMOUNT))) ?TOTAL_PURCHASE_AMOUNT) (equal (GMBFn ?PURCHASES) ?TOTAL_PURCHASE_AMOUNT)))	UXExperimentalTerms.kif 3163-3189	If a collection is an instance of collection and for all a physical if the physical is a member of the collection, then the physical is an instance of buying and there exists an object such that the object is an instance of geopolitical area and for all an agent and a process if the agent is an instance of agent and the process is an instance of buying and the process is a member of the collection and the agent is an agent of the process, then the agent is located at the object , then the total of values in the class described by a symbolic string is an entity_PURCHASE_AMOUNT and the value of the collection is equal to the 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 3206-3232	If a collection is an instance of collection and for all a physical if the physical is a member of the collection, then the physical is an instance of selling and there exists an object such that the object is an instance of geopolitical area and for all an agent and a process if the agent is an instance of agent and the process is an instance of buying and the process is a member of the collection and the agent is an agent of the process, then the agent is located at the object , then the total of values in the class described by a symbolic string is an entity_SALE_AMOUNT and the value of the collection is equal to the 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 629-645	If an entity_COLL is an instance of collection and another entity_COLL is an instance of collection and an experimenting is an instance of experimenting and a cognitive agent is an instance of cognitive agent and the cognitive agent is an agent of the experimenting and the entity_COLL is a sample of the other entity_COLL for the experimenting, then for all an attribute if the attribute is an instance of attribute and the entity_COLL the attribute the attribute and the cognitive agent is interested in the attribute and the attribute is not equal to representative sample, then the other entity_COLL the attribute the 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 608-614	If an entity_COLL is an instance of collection and another entity_COLL is an instance of collection and an experimenting is an instance of experimenting and the entity_COLL is a sample of the other entity_COLL for the experimenting, then the entity_COLL is a proper sub-collection of the other 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 3490-3510	If a collection is an instance of collection and a real number is an instance of currency measure and an integer is an instance of real number and the real number is equal to the value of the collection and the integer is equal to the number of instances in the class described by a symbolic string, then the average selling price of the collection is equal to the real number and the 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 4448-4471	If a human is an instance of human and a collection is an instance of collection and for all an entity and a kind of process if the entity is an instance of experimenting and a kind of process is an instance of process and the kind of process is a member of events in an experimenting and the human is capable of doing the kind of process as a experiencer, then the kind of process is a member of the collection and if another kind of process is a member of the collection, then another kind of process is an instance of process and there exists another experimenting such that the other experimenting is an instance of experimenting and the other kind of process is a member of events in the other experimenting and the human is capable of doing the other kind of process as a experiencer , then all the processes the human is qualified for is equal to the 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 4382-4397	If a human is an instance of human and a collection is an instance of collection and for all a WebPage, a process and an experimenting if the WebPage is an instance of WebPage and the process is an instance of AccessingWebPage and the experimenting is an instance of experimenting and the human is an agent of the process and the WebPage is a patient of the process and the WebPage is the object of study of the experimenting, then the process is a member of the collection , then the collection is equal to all the treated web page views from the 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 3541-3564	If a collection is an instance of collection and a hyperlink is an instance of hyperlink and for all a physical the physical is a member of another collection and the physical is an instance of AccessingWebPage and the other collection is a component of the hyperlink, then there exists a third collection such that the third collection is an instance of collection and for all a process if the process is an instance of RequestingHyperlink and the hyperlink is a patient of the process, then the process is a member of the third collection and the rate of clicking through the hyperlink in the collection is equal to the number of instances in the third collection and the number of instances in the 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 3876-3911	If a collection is an instance of collection and another collection is an instance of collection and the other collection is a proper sub-collection of the collection and for all a physical if the physical is a member of the collection, then the physical is an instance of AccessingWebPage and for all a process, an agent,, , another process,, , the process and an object if the agent is an instance of human and the process is an instance of buying and the other process is an instance of AccessingWebPage and the object is an instance of WebPage and the other process is a member of the collection and the other process ends up at the object and the agent is an agent of the process and the agent is an agent of the other process and the time of existence of the process takes place during the time of existence of the other process and the object is an instrument for the process, then the process is a member of the other collection , then purchases made in the collection during a time interval is equal to the number of instances in the class described by an entity_IN_INTERVAL and the number of instances in the class described by another entity_IN_INTERVAL
(=> (and (meceCollection ?COLL1 ?COLL2) (instance ?COLL3 Collection) (instance ?COLL4 Collection) (instance ?MEMBER SelfConnectedObject) (member ?MEMBER ?COLL1) (member ?COLL3 ?COLL2) (member ?COLL4 ?COLL2) (not (equal ?COLL3 ?COLL4))) (not (and (member ?MEMBER ?COLL3) (member ?MEMBER ?COLL4))))	UXExperimentalTerms.kif 4839-4853	If a collection and another collection are mutually exclusive and a third collection is an instance of collection and a fourth collection is an instance of collection and a physical is an instance of self connected object and the physical is a member of the collection and the third collection is a member of the other collection and the fourth collection is a member of the other collection and the third collection is not equal to the fourth collection, then ~{ the physical is a member of the third collection } or ~{ the physical is a member of the fourth collection }
(=> (instance ?COLL Collection) (exists (?OBJ) (member ?OBJ ?COLL)))	Merge.kif 1222-1225	If a collection is an instance of collection, then there exists a physical such that the physical is a member of the 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 1189-1205	If an agent is an instance of agent and a WebSite is an instance of WebSite, then there exists a collection such that the collection is an instance of collection and for all a web listing if the web listing is an instance of web listing and the web listing is hosted on the WebSite and the agent sells the web listing, then the web listing is a member of the collection and items for sale by the agent at the WebSite is equal to the 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 1523-1539	If a time interval is an instance of add to cart and an entity is an instance of object and the entity is a patient of the time interval and an agent is an agent of the time interval, then there exist a collection, a WebSite and a time position such that the collection is an instance of collection and the WebSite is an instance of WebSite and another time interval is an instance of time interval and user the agent at the WebSite has cart the collection and the beginning of the other time interval is equal to the end of the time interval and the entity is a member of the collection holds during the time position
(=> (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 6830-6850	If an object is an instance of crystal and mono crystalline is an attribute of the object and a self connected object is an instance of substance and solid is an attribute of the self connected object and poly crystalline is an attribute of the self connected object and another self connected object is an instance of substance and the other self connected object is a surface of the self connected object and the object is not a part of the other self connected object, then there exists the objectLNT such that the objectLNT is an instance of collection and an integer is a member count of the objectLNT and the integer is greater than or equal to 4 and if another object is a member of the objectLNT, then the other object is a part of the self connected object and the object meets the other 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 3584-3616	If a time interval is an instance of time interval and a WebSite is an instance of WebSite, then there exists a collection such that the collection is an instance of collection and for all an agent if the agent is a member of the collection, then there exists another time interval such that the agent is an instance of agent and the other time interval is an instance of buying and the agent is an agent of the other time interval and the WebSite is an instrument for the other time interval and the other time interval takes place during the time interval and there doesn't exist the time interval_BEFORE such that the time interval_BEFORE is an instance of time interval and the time interval_BEFORE happens earlier than the time interval and there exists the other time interval_BEFORE such that the other time interval_BEFORE is an instance of buying and the agent is an agent of the other time interval_BEFORE and the WebSite is an instrument for the other time interval_BEFORE and the other time interval_BEFORE takes place during the time interval holds during the time interval_BEFORE and new buyers at the WebSite during the time interval is equal to the 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 3636-3663	If a time interval is an instance of time interval and a WebSite is an instance of WebSite, then there exists a collection such that the collection is an instance of collection and for all a physical if the physical is an instance of human and there doesn't exist the time interval_BEFORE such that the time interval_BEFORE is an instance of time interval and the time interval_BEFORE happens earlier than the time interval and the physical is a registered user of the WebSite holds during the time interval_BEFORE and there exists the time interval_DURING such that the time interval_DURING is an instance of time interval and the time interval_DURING takes place during the time interval and the physical is a registered user of the WebSite holds during the time interval, then the physical is a member of the collection and the collection is equal to new registrations at the WebSite during the time interval
(=> (and (instance ?INTERVAL TimeInterval) (instance ?SITE WebSite)) (exists (?NEWSELLERS) (and (instance ?NEWSELLERS Collection) (forall (?AGENT) (=> (member ?AGENT ?NEWSELLERS) (and (exists (?SELLING) (and (instance ?AGENT Agent) (instance ?SELLING Selling) (agent ?SELLING ?AGENT) (instrument ?SELLING ?SITE) (during ?SELLING ?INTERVAL))) (not (exists (?INTERVAL_BEFORE) (and (instance ?INTERVAL_BEFORE TimeInterval) (earlier ?INTERVAL_BEFORE ?INTERVAL) (holdsDuring ?INTERVAL_BEFORE (exists (?SELLING_BEFORE) (and (instance ?SELLING_BEFORE Selling) (agent ?SELLING_BEFORE ?AGENT) (instrument ?SELLING_BEFORE ?SITE) (during ?SELLING_BEFORE ?INTERVAL)))))))))) (equal (SiteWideNewSellersFn ?INTERVAL ?SITE) ?NEWSELLERS))))	UXExperimentalTerms.kif 3683-3715	If a time interval is an instance of time interval and a WebSite is an instance of WebSite, then there exists a collection such that the collection is an instance of collection and for all an agent if the agent is a member of the collection, then there exists another time interval such that the agent is an instance of agent and the other time interval is an instance of selling and the agent is an agent of the other time interval and the WebSite is an instrument for the other time interval and the other time interval takes place during the time interval and there doesn't exist the time interval_BEFORE such that the time interval_BEFORE is an instance of time interval and the time interval_BEFORE happens earlier than the time interval and there exists the other time interval_BEFORE such that the other time interval_BEFORE is an instance of selling and the agent is an agent of the other time interval_BEFORE and the WebSite is an instrument for the other time interval_BEFORE and the other time interval_BEFORE takes place during the time interval holds during the time interval_BEFORE and new sellers at the WebSite during the time interval is equal to the 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 4058-4069	If a process is an instance of process and an experimenting is an instance of experimenting and another process is an instance of agent and agent experiences the other process and the process is a process in the experimenting, then there exists an entity_GROUP such that the entity_GROUP is an instance of collection and the other process is a member of the entity_GROUP and the entity_GROUP is the control group in the 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 4175-4186	If a process is an instance of process and an experimenting is an instance of experimenting and another process is an instance of agent and agent experiences the other process and the process is a process in the experimenting, then there exists an entity_GROUP such that the entity_GROUP is an instance of collection and the other process is a member of the entity_GROUP and the entity_GROUP is the treatment group in the 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 3541-3564	If a collection is an instance of collection and a hyperlink is an instance of hyperlink and for all a physical the physical is a member of another collection and the physical is an instance of AccessingWebPage and the other collection is a component of the hyperlink, then there exists a third collection such that the third collection is an instance of collection and for all a process if the process is an instance of RequestingHyperlink and the hyperlink is a patient of the process, then the process is a member of the third collection and the rate of clicking through the hyperlink in the collection is equal to the number of instances in the third collection and the number of instances in the 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 1812-1828	If a time interval is an instance of watch item and an entity is an instance of object and the entity is a patient of the time interval and an agent is an agent of the time interval, then there exist a collection, a WebSite and a time position such that the collection is an instance of collection and the WebSite is an instance of WebSite and another time interval is an instance of time interval and user the agent on the WebSite is watching the collection and the beginning of the other time interval is equal to the end of the time interval and the entity is a member of the collection holds during the time position
(=> (and (meceCollection ?COLL1 ?COLL2) (member ?MEMBER ?COLL1) (instance ?MEMBER SelfConnectedObject)) (exists (?COLL3) (and (instance ?COLL3 Collection) (member ?MEMBER ?COLL3) (member ?COLL3 ?COLL2))))	UXExperimentalTerms.kif 4828-4837	If a collection and another collection are mutually exclusive and a physical is a member of the collection and the physical is an instance of self connected object, then there exists a third collection such that the third collection is an instance of collection and the physical is a member of the third collection and the third collection is a member of the other collection
(=> (and (meceCollection ?COLL1 ?COLL2) (member ?MEMBER ?COLL2) (instance ?MEMBER SelfConnectedObject)) (instance ?MEMBER Collection))	UXExperimentalTerms.kif 4821-4826	If a collection and another collection are mutually exclusive and a physical is a member of the other collection and the physical is an instance of self connected object, then the physical is an instance of collection
(=> (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 30332-30347	If there is a shortage of a quantity of a kind of object for a cognitive agent at a currency measure during a time interval and the quantity is an instance of integer, then the cognitive agent desires there exist an entity and another entity such that the entity is an instance of buying and the time of existence of the entity takes place during the time interval and the object transferred in the entity is the other entity and the currency measure is a transaction amount of the entity and the cognitive agent is an agent of the entity and the other entity is an instance of collection and a kind of object is a member type of the other entity and the quantity is a member count of the other entity and the cognitive agent possesses the other entity
(=> (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 30276-30286	If there is a shortage of a quantity of a kind of object for a cognitive agent at a currency measure during a time interval and the quantity is an instance of integer, then the cognitive agent desires there exists an entity such that the entity is an instance of collection and a kind of object is a member type of the entity and the quantity is a member count of the entity and the cognitive agent possesses the entity
(=> (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 30299-30314	If there is a shortage of an integer of a kind of object for an agent at a currency measure during a time interval and the integer is an instance of integer, then there don't exist a transfer and a collection such that the transfer is an instance of buying and the time of existence of the transfer takes place during the time interval and the object transferred in the transfer is the collection and the currency measure is a transaction amount of the transfer and the agent is an agent of the transfer and the collection is an instance of collection and a kind of object is a member type of the collection and the integer is a member count of the collection and the agent possesses the collection
(=> (attribute ?COLLECTION LineFormation) (instance ?COLLECTION Collection))	Mid-level-ontology.kif 18781-18783	If line formation is an attribute of an object, then the object is an instance of 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 7773-7782	If florists is an attribute of an object, then the object has the purpose there exist an entity and another entity such that the other entity is an instance of designing and the entity is an instance of collection and flower is a member type of the entity and the entity is a patient of the other entity and the object is an agent of the other entity
(=> (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	If the number of coils in a wire coil is an integer, then there exists a collection such that the collection is an instance of collection and the integer is a member count of the collection and for all an object if the object is a member of the collection, then closed two dimensional figure is an attribute of the object and the object is a part of the wire coil and there doesn't exist the object2 such that the object2 and the object is overlapsSpatially and the object2 is a member of the collection
(=> (engineCylinders ?E ?N) (exists (?G) (and (instance ?G Collection) (memberTypeCount ?G EngineCylinder ?N) (member ?EC ?G) (part ?EC ?E))))	Cars.kif 4534-4541	If engine an engine has a nonnegative integer cylinders, then there exists a collection such that the collection is an instance of collection and the collection is member type count EngineCylinder for the nonnegative integer and the engineC is a member of the collection and the engineC is a part of the engine
(=> (groupingTitle ?STRING ?PRODUCTTYPE ?LANGUAGE) (subclass ?PRODUCTTYPE Collection))	Media.kif 3191-3193	If a symbolic string is the title in a language for instances of a class, then the class is a subclass of collection
(=> (heartRate ?H ?T ?I) (exists (?C) (and (instance ?C Collection) (memberType ?C HeartBeat) (memberCount ?C ?I) (=> (member ?M ?C) (and (patient ?M ?H) (during (WhenFn ?M) ?T))))))	Mid-level-ontology.kif 9913-9925	If a heart beats at a rate of an integer beats per a time interval, then there exists a collection such that the collection is an instance of collection and HeartBeat is a member type of the collection and the integer is a member count of the collection and if a process is a member of the collection, then the heart is a patient of the process and the time of existence of the process takes place during the time interval
(=> (instance ?ADAPT OutletAdapter) (exists (?HOLE) (and (instance ?HOLE Collection) (memberType ?HOLE Hole) (part ?HOLE ?ADAPT) (material Metal ?ADAPT))))	Mid-level-ontology.kif 25335-25342	If a corpuscular object is an instance of outlet adapter, then there exists a collection such that the collection is an instance of collection and hole is a member type of the collection and the collection is a part of the corpuscular object and the corpuscular object is made of metal
(=> (instance ?B BowlingBall) (exists (?HOLES) (and (instance ?HOLES Collection) (memberType ?HOLES Hole) (memberCount ?HOLES 3) (located ?HOLES ?B) (hasPurpose ?HOLES (exists (?FINGER ?HOLE) (and (member ?HOLE ?HOLES) (instance ?FINGER Finger) (partiallyFills ?FINGER ?HOLE)))))))	Sports.kif 1053-1066	If an object is an instance of bowling ball, then there exists a collection such that the collection is an instance of collection and hole is a member type of the collection and 3 is a member count of the collection and the collection is located at the object and the collection has the purpose there exist an entity and another entity such that the other entity is a member of the collection and the entity is an instance of finger and the entity partially fills the other 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 1980-1991	If a physical is an instance of bus, then the physical has the purpose there exist an entity, another entity and a third entity such that the entity is an instance of collection and the other entity is an instance of transportation and the third entity is a member count of the entity and the third entity is greater than 11 and if a fourth entity is a member of the entity, then the fourth entity is a patient of the other entity
(=> (instance ?BF BowlingFacility) (exists (?BL) (and (instance ?BL Collection) (memberType ?BL BowlingLane) (located ?BL ?BF))))	Sports.kif 1090-1096	If an object is an instance of bowling facility, then there exists a collection such that the collection is an instance of collection and bowling lane is a member type of the collection and the collection is located at the object

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 5408-5408

The number 1 argument of cardinality is an instance of the union of set or class and collection

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

Show without tree

Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners

KB Term:			Term intersection

English Word: