Collection - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Merge.kif 1272-1272	Collection is disjoint from self connected object
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1630-1632	Collection is disjoint from self connected object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1274-1278	Collection is disjoint from self connected object
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 212-215	Collection is disjoint from self connected object
No TPTP formula. May not be expressible in strict first order.	spanish_format.kif 252-255	Collection is disjoint from self connected object
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10666-10666	Collection is disjoint from self connected object
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10665-10665	Collection is disjoint from self connected object
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10661-10661	Collection is disjoint from self connected object
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10672-10672	Collection is disjoint from self connected object
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10660-10660	Collection is disjoint from self connected object
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10671-10671	Collection is disjoint from self connected object
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 9947-9947	Collection is disjoint from self connected object
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10664-10664	Collection is disjoint from self connected object
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10670-10670	Collection is disjoint from self connected object
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10667-10667	Collection is disjoint from self connected object
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10657-10657	Collection is disjoint from self connected object
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10669-10669	Collection is disjoint from self connected object
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10659-10659	Collection is disjoint from self connected object
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10658-10658	Collection is disjoint from self connected object
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10668-10668	Collection is disjoint from self connected object
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10673-10673	Collection is disjoint from self connected object
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10663-10663	Collection is disjoint from self connected object
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10662-10662	Collection is disjoint from self connected object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1271-1271	Collection is a subclass of physical

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Media.kif 2609-2609	United states minor outlying islands is an instance of collection
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 4168-4168	The range of qualifed page views is an instance of collection
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 4233-4233	The range of qualifed treatments is an instance of collection
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 4200-4200	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 3035-3035	The range of Qualifying Purchase is an instance of collection
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 985-985	The range of sellers items is an instance of collection
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 1024-1024	The range of sellers other items is an instance of collection
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3368-3368	The range of new buyers is an instance of collection
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3420-3420	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 3467-3467	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 4276-4276	The range of treated users fn is an instance of collection
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6145-6145	Archipelago is a subclass of collection
No TPTP formula. May not be expressible in strict first order.	Food.kif 2514-2514	Box of chocolate 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 6239-6239	Clothing suit is a subclass of collection
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8786-8786	Communication system is a subclass of collection
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 3313-3313	Computer system is a subclass of collection
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23964-23964	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 27114-27114	Sprinkler system is a subclass of collection
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1143-1143	Firearm shot is a subclass of collection
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3955-3955	Fleet is a subclass of collection
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 1065-1065	Golgi apparatus is a subclass of collection
No TPTP formula. May not be expressible in strict first order.	Economy.kif 6903-6903	Goods and services is a subclass of collection
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16398-16398	Group 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 3225-3225	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 3270-3270	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 3193-3193	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 2912-2912	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 2878-2878	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 3327-3327	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 2841-2841	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 2947-2947	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 2990-2990	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 3658-3658	The number 1 argument of sales conversion rate is an instance of collection
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 830-830	The number 2 argument of chromosome set count is an instance of collection
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3841-3841	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 4034-4034	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 3519-3519	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 3567-3567	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 24359-24359	The number 2 argument of inventory is an instance of collection
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 4609-4609	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 4611-4611	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 1290-1290	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 24341-24341	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 24275-24275	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 24290-24290	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 24304-24304	The number 1 argument of member type count 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.	VirusProteinAndCellPart.kif 709-717	If There are an integer number of Chromosomes in MonoploidChromosomeSet an eukaryotic cell. and an object is a part of the eukaryotic cell and the object is an instance of cell nucleus and the eukaryotic cellOLL is an instance of collection and the eukaryotic cellOLL is located at the object and chromosome is a member type of the eukaryotic cellOLL, then the integer is a member count of the eukaryotic cellOLL
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 800-809	If There are an integer number of Chromosomes in a Gamete cell a gamete. and the gamete is an instance of gamete and an object is a part of the gamete and the object is an instance of cell nucleus and a collection is an instance of collection and the collection is located at the object and chromosome is a member type of the collection, then the integer is a member count of the collection
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3202-3215	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 equal the total purchase price of the collection and the entity_PURCHASE_AMOUNT
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3239-3259	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 equal the real number and the value of the collection and equal the integer and the number of instances in the class described by a symbolic string, then equal the average price of the collection and the real number and the integer
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 1010-1031	If an object is an instance of hexaploid cell and another object is a part of the object and the other object is an instance of cell nucleus and a collection is located at the other object and the collection is an instance of collection and chromosome is a member type of the collection, then there exist another collection, a third collection and a fourth collection such that the other collection is an instance of homologous chromosome set and the other collection is a proper sub-collection of the collection and the third collection is an instance of homologous chromosome set and the third collection is a proper sub-collection of the collection and the fourth collection is an instance of homologous chromosome set and the fourth collection is a proper sub-collection of the collection and equal the other collection and the third collection and equal the other collection and the fourth collection and equal the third collection and the fourth collection
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 980-990	If an object is an instance of pentaploid cell and another object is an instance of cell nucleus and the other object is a part of the object and a collection is located at the other object and the collection is an instance of collection and chromosome is a member type of the collection and a monoploid chromosome set is an instance of monoploid chromosome set and the monoploid chromosome set is a proper sub-collection of the collection, then There are 5 number of the monoploid chromosome set MonoploidChromosomeSet in Collection the collection.
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 957-972	If an object is an instance of tetraploid cell and another object is a part of the object and the other object is an instance of cell nucleus and a collection is located at the other object and the collection is an instance of collection and chromosome is a member type of the collection, then there exist another collection and a third collection such that the other collection is an instance of homologous chromosome set and the other collection is a proper sub-collection of the collection and the third collection is an instance of homologous chromosome set and the third collection is a proper sub-collection of the collection and equal the other collection and the third collection
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 927-937	If an object is an instance of triploid cell and another object is an instance of cell nucleus and the other object is a part of the object and a collection is located at the other object and the collection is an instance of collection and chromosome is a member type of the collection and a monoploid chromosome set is an instance of monoploid chromosome set and the monoploid chromosome set is a proper sub-collection of the collection, then There are 3 number of the monoploid chromosome set MonoploidChromosomeSet in Collection the collection.
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2887-2903	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 equal the number of instances in the class described by the symbolic string and number of items purchased in the collection
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2845-2870	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 equal 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 and number of bids in the collection
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2922-2940	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 equal the number of instances in the class described by the symbolic string and number of bids in the collection
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 1033-1060	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 equal the physical and 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 equal things for sale by the agent not listed in the web listing at the web site during the time point and the collection
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 945-955	If a collection is an instance of collection and chromosome is a member type of the collection and a monoploid chromosome set is an instance of monoploid chromosome set and the monoploid chromosome set is a proper sub-collection of the collection and There are 4 number of the monoploid chromosome set MonoploidChromosomeSet in Collection the collection. and the collection is located at an object and the object is an instance of cell nucleus and the object is a part of another object, then the other object is an instance of tetraploid cell
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 998-1008	If a collection is an instance of collection and chromosome is a member type of the collection and a monoploid chromosome set is an instance of monoploid chromosome set and the monoploid chromosome set is a proper sub-collection of the collection and There are 6 number of the monoploid chromosome set MonoploidChromosomeSet in Collection the collection. and the collection is located at an object and the object is an instance of cell nucleus and the object is a part of another object, then the other object is an instance of hexaploid cell
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4307-4322	If a collection is an instance of collection and chromosome is a member type of the collection and an object is a member of the collection and the object is a part of common wheat grass, then there exist another collection, a third collection,, , another kind of object and a third kind of object such that the other collection is a proper sub-collection of the collection and the other collection is an instance of homologous chromosome set and another kind of object is a member type of the other collection and every the other kind of object is initially part of a emmer wheat grass and the third collection is a proper sub-collection of the collection and the third collection is an instance of homologous chromosome set and a third kind of object is a member type of the third collection and every the third kind of object is initially part of a Aegilops Tauschii
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4248-4263	If a collection is an instance of collection and chromosome is a member type of the collection and an object is a member of the collection and the object is a part of durum wheat grass, then there exist another collection, a third collection,, , another kind of object and a third kind of object such that the other collection is a proper sub-collection of the collection and the other collection is an instance of homologous chromosome set and another kind of object is a member type of the other collection and every the other kind of object is initially part of a Triticum urartu and the third collection is a proper sub-collection of the collection and the third collection is an instance of homologous chromosome set and a third kind of object is a member type of the third collection and every the third kind of object is initially part of a Aegilops Speltoides
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4216-4231	If a collection is an instance of collection and chromosome is a member type of the collection and an object is a member of the collection and the object is a part of emmer wheat grass, then there exist another collection, a third collection,, , another kind of object and a third kind of object such that the other collection is a proper sub-collection of the collection and the other collection is an instance of homologous chromosome set and another kind of object is a member type of the other collection and every the other kind of object is initially part of a einkorn wheat grass and the third collection is a proper sub-collection of the collection and the third collection is an instance of homologous chromosome set and a third kind of object is a member type of the third collection and every the third kind of object is initially part of a Aegilops grass
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 902-911	If a collection is an instance of collection and chromosome is a member type of the collection and a monoploid chromosome set is a proper sub-collection of the collection and There are 2 number of the monoploid chromosome set MonoploidChromosomeSet in Collection the collection. and the collection is located at an object and the object is an instance of cell nucleus and the object is a part of another object, then the other object is an instance of diploid cell
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9107-9114	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 9116-9125	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 2956-2983	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 equal the value of the collection and the other entity_PURCHASE_AMOUNT
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2999-3026	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 equal the value of the collection and the other entity_SALE_AMOUNT
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 501-517	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 equal the attribute and representative sample, then the other entity_COLL the attribute the attribute
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 483-489	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 3282-3302	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 equal the real number and the value of the collection and equal the integer and the number of instances in the class described by a symbolic string, then equal the average selling price of the collection and the real number and the integer

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

consequent

No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 992-1008	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 equal items for sale by the agent at the web site and the collection
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 1326-1342	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 equal the beginning of the other time interval and 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 7479-7499	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.	engineering.kif 839-849	If a gear is an instance of gear and an object is a part of the gear and the object is an instance of gear tooth and there are an integer number of GearTooth in the gear, then there exists a collection such that the collection is an instance of collection and the object is a member of the collection and the integer is a member count of the collection
No TPTP formula. May not be expressible in strict first order.	Food.kif 1013-1027	If a process is an instance of grinding and an entity is a patient of the process and the entity is an instance of corpuscular object, then there exists another entity such that the other entity is a result of the process and the other entity is an instance of collection and for all a third entity if the third entity is a member of the other entity, then the third entity is a part of the entity holds during the end of the time of existence of the process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2061-2072	If an object is an instance of revolver gun and another object is a part of the object and the other object is an instance of gun cylinder, then the statement there exists an entity such that the entity is a part of the other object and the entity is an instance of collection and gun chamber is a member type of the entity and 6 is a member count of the entity has the modal force of likely
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3376-3408	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 equal new buyers at the web site during the time interval and the collection
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3428-3455	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 equal the collection and new registrations at the web site during the time interval
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3475-3507	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 equal new sellers at the web site during the time interval and the collection
No TPTP formula. May not be expressible in strict first order.	Military.kif 193-212	If a process is an instance of rotating and an object is a patient of the process and the object is an instance of Continuous track, then there exist a collection, another collection,, , another object and the process2 such that the collection is an instance of collection and the other collection is a member of the collection and the other collection is an instance of wheel and an integer is a member count of the other collection and the integer is greater than 2 and the collection is a part of the object and the other object is a part of the object and the other object is an instance of corpuscular object and the other object is long and thin and pliable is an attribute of the other object and the collection is located at the other object and the process2 is an instance of rotating and the process2 causes the process
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3851-3862	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 3968-3979	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 3333-3356	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 equal the rate of clicking through the corpuscular object in the collection and 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 1605-1621	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 equal the beginning of the other time interval and 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 4627-4636	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 4620-4625	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 32892-32907	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 32834-32844	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 32859-32874	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 21001-21003	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.	Mid-level-ontology.kif 11717-11729	If a lung breathes at a rate of an integer breaths per a time interval, then there exist a collection and a process such that the collection is an instance of collection and breath 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 lung 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.	Cars.kif 3177-3194	If the number of coils in a wire coil is an integer, then there exist a collection and the collection2F 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 the collection2F is an attribute of the object and the collection2F is an instance of closed two dimensional figure 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 4592-4599	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.	Economy.kif 1031-1052	If equal a currency measure and gross national product of a geopolitical area during a year, then there exists a collection such that the collection is an instance of collection and value of the collection is the currency measure and if a process is an instance of manufacture and a physical is a result of the process and the processAKER is an agent of the process and the processAKER is a member of the citizenry of the geopolitical area and finishes during the time of existence of the process and the year, then the physical is a member of the collection and if an object is an instance of process and service is an attribute of the object and another agent is an agent of the object and the other agent is a member of the citizenry of the geopolitical area and finishes during the time of existence of the object and the year, then the object is a member of the collection

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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: