Collection - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Merge.kif 1233-1233	Collection is disjoint from self connected object
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1630-1632
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1235-1239
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10678-10678
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10677-10677
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10673-10673
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10684-10684
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10672-10672
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10683-10683
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 9956-9956
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10676-10676
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10682-10682
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10679-10679
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10669-10669
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10681-10681
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10671-10671
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10670-10670
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10680-10680
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10685-10685
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10675-10675
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10674-10674
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1232-1232	Collection is a subclass of object

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Media.kif 2607-2607	United states minor outlying islands is an instance of collection
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 4374-4374	The range of qualifed page views is an instance of collection
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 4439-4439	The range of qualifed treatments is an instance of collection
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 4406-4406	The range of Qualifying Factor or Event is an instance of collection
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3241-3241	The range of Qualifying Purchase is an instance of collection
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 1182-1182	The range of sellers items is an instance of collection
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 1221-1221	The range of sellers other items is an instance of collection
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3574-3574	The range of new buyers is an instance of collection
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3626-3626	The range of site-wide new registrations is an instance of collection
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3673-3673	The range of site-wide new sellers is an instance of collection
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 4482-4482	The range of treated users fn is an instance of collection
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5750-5750	Archipelago is a subclass of collection
No TPTP formula. May not be expressible in strict first order.	Dining.kif 255-255	Buffet is a subclass of collection
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5262-5262	Clothing suit is a subclass of collection
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7578-7578	Communication system is a subclass of collection
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 3315-3315	Computer system is a subclass of collection
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22271-22271	Convoy is a subclass of collection
No TPTP formula. May not be expressible in strict first order.	Music.kif 60-60	Discography is a subclass of collection
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25347-25347	Sprinkler system is a subclass of collection
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3477-3477	Fleet is a subclass of collection
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 544-544	Golgi apparatus is a subclass of collection
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16076-16076	Group is a subclass of collection
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1718-1718	Mini bar is a subclass of collection
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14856-14856	Industry is a subclass of collection
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5251-5251	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

No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3431-3431	The number 1 argument of average buying price is an instance of collection
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3476-3476	The number 1 argument of average buying price is an instance of collection
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3399-3399	The number 1 argument of gross merchandise bought in auctions is an instance of collection
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3118-3118	The number 1 argument of bid count is an instance of collection
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3084-3084	The number 1 argument of bought items is an instance of collection
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3533-3533	The number 1 argument of click-through rate is an instance of collection
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3047-3047	The number 1 argument of conversion rate is an instance of collection
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3153-3153	The number 1 argument of gross merchandise bought is an instance of collection
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3196-3196	The number 1 argument of gross merchandise volume is an instance of collection
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3864-3864	The number 1 argument of sales conversion rate is an instance of collection
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 4047-4047	The number 1 argument of control group is an instance of collection
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 4240-4240	The number 1 argument of experimental treatment is an instance of collection
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3725-3725	The number 3 argument of first time buyers is an instance of collection
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3773-3773	The number 3 argument of first time buyers is an instance of collection
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1003-1003	The number 1 argument of fleet dead weight tonnage is an instance of collection
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 985-985	The number 1 argument of fleet gross registered tonnage is an instance of collection
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22666-22666	The number 2 argument of inventory is an instance of collection
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 4814-4814	The number 1 argument of mutually exclusive completely exhaustive is an instance of collection
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 4816-4816	The number 2 argument of mutually exclusive completely exhaustive is an instance of collection
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1251-1251	The number 2 argument of member is an instance of collection
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22648-22648	The number 2 argument of member at time is an instance of collection
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22582-22582	The number 1 argument of member count is an instance of collection
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22597-22597	The number 1 argument of member type is an instance of collection
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22611-22611	The number 1 argument of member type count is an instance of collection
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3821-3821	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

No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3408-3421	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 auctioning , then there exist a symbolic string and an entity_PURCHASE_AMOUNT such that the total of values in the class described by the symbolic string is the entity_PURCHASE_AMOUNT and the total purchase price of the collection is equal to the entity_PURCHASE_AMOUNT
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3445-3465	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
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3093-3109	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 there exist a symbolic string and an entity such that the number of instances in the class described by the symbolic string is equal to number of items purchased in the collection
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3051-3076	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 there exist an entity, another entity and a third entity such that the class described by the entity and the number of instances in the collection is equal to number of bids in the collection
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3128-3146	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 there exist a symbolic string, an entity,, , another entity and the symbolic string such that the number of instances in the class described by the symbolic string is equal to number of bids in the collection
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 1230-1257	If a collection is an instance of collection and a web site is an instance of web site 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 web site 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 web site during the time point is equal to the collection
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7899-7906	If a process is an instance of large group process 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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7908-7917	If a process is an instance of large group process 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
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3162-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 there exist a symbolic string, an entity and another entity_PURCHASE_AMOUNT such that the total of values in the class described by the symbolic string is the other entity_PURCHASE_AMOUNT and the value of the collection is equal to the other entity_PURCHASE_AMOUNT
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3205-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 there exist a symbolic string, an entity and another entity_SALE_AMOUNT such that the total of values in the class described by the symbolic string is the other entity_SALE_AMOUNT and the value of the collection is equal to the other entity_SALE_AMOUNT
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3488-3508	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
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 4447-4473	If a human is an instance of human and a collection is an instance of collection and for all an experimenting and a physical if there exists a kind of process such that the experimenting is an instance of experimenting and the physical is an instance of process and the physical is a member of events in the experimenting and the physical is an instance of a kind of process and the human is capable of doing the kind of process as a experiencer, then the physical is a member of the collection and if another physical is a member of the collection, then the other physical is an instance of process and there exist another experimenting and the other physicalESS such that the other experimenting is an instance of experimenting and the other physical is a member of events in the other experimenting and the other physical is an instance of the other physicalESS and the human is capable of doing the other physicalESS as a experiencer , then all the processes the human is qualified for is equal to the collection
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 4381-4396	If a human is an instance of human and a collection is an instance of collection and for all a web page, a process and an experimenting if the web page is an instance of web page and the process is an instance of accessing web page and the experimenting is an instance of experimenting and the human is an agent of the process and the web page is a patient of the process and the web page 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
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3539-3562	If a collection is an instance of collection and a corpuscular object 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 accessing web page and the other collection is a component of the corpuscular object, 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 requesting hyperlink and the corpuscular object is a patient of the process, then the process is a member of the third collection and the rate of clicking through the corpuscular object in the collection is equal to the number of instances in the third collection and the number of instances in the collection
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3874-3910	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 accessing web page 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 accessing web page and the object is an instance of web page 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 there exist a time interval, an entity_IN_INTERVAL and another entity_IN_INTERVAL such that purchases made in the collection during the time interval is equal to the number of instances in the class described by the entity_IN_INTERVAL and the number of instances in the class described by the other entity_IN_INTERVAL
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 4843-4857	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 }
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1241-1244	If a collection is an instance of collection, then there exists a physical such that the physical is a member of the collection

consequent

No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 1189-1205	If an agent is an instance of agent and a web site is an instance of web site, 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 web site 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 web site is equal to the collection
No TPTP formula. May not be expressible in strict first order.	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 web site,, , a time position and another time interval such that the collection is an instance of collection and the web site is an instance of web site and the other time interval is an instance of time interval and user the agent at the web site 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
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6842-6862	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 exist the objectLNT, an integer and another object such that the objectLNT is an instance of collection and the integer is a member count of the objectLNT and the integer is greater than or equal to 4 and if the other 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
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3582-3614	If a time interval is an instance of time interval and a web site is an instance of web site, 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 web site 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 web site 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 web site during the time interval is equal to the collection
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3634-3661	If a time interval is an instance of time interval and a web site is an instance of web site, 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 web site 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 web site holds during the time interval, then the physical is a member of the collection and the collection is equal to new registrations at the web site during the time interval
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3681-3713	If a time interval is an instance of time interval and a web site is an instance of web site, 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 web site 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 web site 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 web site during the time interval is equal to the collection
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 4057-4068	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
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 4174-4185	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
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3539-3562	If a collection is an instance of collection and a corpuscular object 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 accessing web page and the other collection is a component of the corpuscular object, 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 requesting hyperlink and the corpuscular object is a patient of the process, then the process is a member of the third collection and the rate of clicking through the corpuscular object in the collection is equal to the number of instances in the third collection and the number of instances in the collection
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 1811-1827	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 web site,, , a time position and another time interval such that the collection is an instance of collection and the web site is an instance of web site and the other time interval is an instance of time interval and user the agent on the web site 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
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 4832-4841	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
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 4825-4830	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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30871-30886	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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30813-30823	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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30838-30853	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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19211-19213	If line formation is an attribute of an object, then the object is an instance of collection
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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 overlapsSpatially and the object2 is a member of the collection
No TPTP formula. May not be expressible in strict first order.	Cars.kif 4531-4538	If engine an engine has a nonnegative integer cylinders, then there exist a collection and the engineC such that the collection is an instance of collection and the collection is member type count engine cylinder for the nonnegative integer and the engineC is a member of the collection and the engineC is a part of the engine
No TPTP formula. May not be expressible in strict first order.	Media.kif 3203-3205	If a symbolic string is the title in a language for instances of a class, then the class is a subclass of collection
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10273-10285	If a heart beats at a rate of an integer beats per a time interval, then there exist a collection and a process such that the collection is an instance of collection and heart beat is a member type of the collection and the integer is a member count of the collection and if the 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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25876-25883	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
No TPTP formula. May not be expressible in strict first order.	Sports.kif 1125-1138	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
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1972-1983	If a physical is an instance of bus, then the physical has the purpose there exist an entity, another entity,, , a third entity and a fourth 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 the fourth entity is a member of the entity, then the fourth entity is a patient of the other entity
No TPTP formula. May not be expressible in strict first order.	Sports.kif 1162-1168	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

No TPTP formula. May not be expressible in strict first order.

Merge.kif 5439-5439

The number 1 argument of cardinality is an instance of the union of set or class 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 3.0 is open source software produced by Articulate Software and its partners

KB Term:			Term intersection

English Word: