Collection(collection)![]() ![]() ![]() ![]() | ![]() | Andromeda_galaxy, Argo, GAAP, Great_Attractor, Indian_file, Nag_Hammadi, Nag_Hammadi_Library, Oort_cloud, Victoriana, accumulation, aestivation, agglomerate, agglomerated, agglomeration, agglomerative, aggregate, aggregated, aggregation, aggregative, air_power, arrangement, array, art_collection, assemblage, assembly, aviation, band, bank, batch, battery, bedroom_set, bedroom_suite, bibliotheca, bibliothecal, bibliothecarial, bigeminal, bimodal, binary, blizzard, block, body, book, bottle_collection, bridge_hand, bunch, bundle, caboodle, carpenter's_kit, cascade, catena... |
appearance as argument number 1 |
![]() |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1214-1214 | 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 1216-1220 | |
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 1213-1213 | Collection is a subclass of object |
appearance as argument number 2 |
![]() |
No TPTP formula. May not be expressible in strict first order. | Media.kif 2595-2595 | UnitedStatesMinorOutlyingIslands is an instance of collection |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 4375-4375 | The range of qualifed page views is an instance of collection |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 4440-4440 | The range of qualifed treatments is an instance of collection |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 4407-4407 | 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 3242-3242 | 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 3576-3576 | The range of new buyers is an instance of collection |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 3628-3628 | 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 3675-3675 | 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 4480-4480 | The range of TreatedUsersFn is an instance of collection |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 5739-5739 | Archipelago is a subclass of collection |
No TPTP formula. May not be expressible in strict first order. | Dining.kif 251-251 | Buffet is a subclass of collection |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5024-5024 | Clothing suit is a subclass of collection |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7295-7295 | Communication system is a subclass of collection |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 3283-3283 | Computer system is a subclass of collection |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21779-21779 | 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 24806-24806 | Sprinkler system is a subclass of collection |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3464-3464 | 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 15941-15941 | Group is a subclass of collection |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 1693-1693 | Mini bar is a subclass of collection |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14454-14454 | Industry is a subclass of collection |
No TPTP formula. May not be expressible in strict first order. | 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 |
![]() |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 3435-3435 | 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 3478-3478 | 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 3400-3400 | 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 3120-3120 | 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 3087-3087 | 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 3535-3535 | 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 3051-3051 | 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 3154-3154 | 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 3197-3197 | 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 3866-3866 | 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 4048-4048 | 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 4241-4241 | 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 3727-3727 | 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 3775-3775 | 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 22140-22140 | The number 2 argument of inventory is an instance of collection |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 4810-4810 | 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 4812-4812 | 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 1232-1232 | 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 22122-22122 | 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 22056-22056 | 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 22071-22071 | 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 22085-22085 | 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 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 |
![]() |
consequent |
![]() |
statement |
![]() |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 5408-5408 | The number 1 argument of cardinality is an instance of the union of set or class and collection |
![]() |
![]() |