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 1262-1262 | 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 1264-1268 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 212-215 | |
No TPTP formula. May not be expressible in strict first order. | spanish_format.kif 252-255 | |
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 10669-10669 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 10665-10665 | |
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 10664-10664 | |
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 9948-9948 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 10668-10668 | |
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. | pictureList.kif 10671-10671 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 10661-10661 | |
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 10663-10663 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 10662-10662 | |
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 10677-10677 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 10667-10667 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 10666-10666 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1261-1261 | Collection is a subclass of object |
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 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 4176-4176 | The range of qualifed page views is an instance of collection |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 4241-4241 | The range of qualifed treatments is an instance of collection |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 4208-4208 | 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 3043-3043 | 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 3376-3376 | The range of new buyers is an instance of collection |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 3428-3428 | 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 3475-3475 | 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 4284-4284 | The range of treated users fn is an instance of collection |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 5820-5820 | Archipelago is a subclass of collection |
No TPTP formula. May not be expressible in strict first order. | Food.kif 2507-2507 | 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 5274-5274 | Clothing suit is a subclass of collection |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7591-7591 | Communication system is a subclass of collection |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 3317-3317 | Computer system is a subclass of collection |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22272-22272 | 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 25384-25384 | Sprinkler system is a subclass of collection |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3484-3484 | Fleet is a subclass of collection |
No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 1057-1057 | Golgi apparatus is a subclass of collection |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16193-16193 | Group is a subclass of collection |
No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 859-859 | Homologous chromosome set 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 |
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 3233-3233 | 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 3278-3278 | 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 3201-3201 | 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 2920-2920 | 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 2886-2886 | 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 3335-3335 | 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 2849-2849 | 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 2955-2955 | 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 2998-2998 | 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 3666-3666 | 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 824-824 | 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 3849-3849 | 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 4042-4042 | 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 3527-3527 | 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 3575-3575 | 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 22667-22667 | The number 2 argument of inventory is an instance of collection |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 4617-4617 | 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 4619-4619 | 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 1280-1280 | 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 22649-22649 | 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 22583-22583 | 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 22598-22598 | 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 22612-22612 | 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 |
![]() |
consequent |
![]() |
statement |
![]() |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 5508-5508 | The number 1 argument of cardinality is an instance of the union of set or class and collection |
![]() |
![]() |