Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  Collection

Sigma KEE - Collection
Collection(collection)
more pictures...
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 1188-1188 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 1190-1194
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 1187-1187 Collection is a subclass of object

appearance as argument number 2
-------------------------


No TPTP formula. May not be expressible in strict first order. Media.kif 2589-2589 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 5649-5649 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 4999-4999 Clothing suit is a subclass of collection
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7269-7269 Communication system is a subclass of collection
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3284-3284 Computer system is a subclass of collection
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21751-21751 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 24778-24778 Sprinkler system is a subclass of collection
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3445-3445 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 15601-15601 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 14427-14427 Industry is a subclass of collection
No TPTP formula. May not be expressible in strict first order. Geography.kif 5151-5151 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 22112-22112 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 1206-1206 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 22094-22094 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 22028-22028 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 22043-22043 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 22057-22057 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
-------------------------


No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3409-3424
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3447-3467
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3096-3111
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3130-3147
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3055-3079
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 1230-1257
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7583-7590
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7592-7601
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3163-3189
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3206-3232
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 629-645
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 608-614
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3490-3510
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 4448-4471
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 4382-4397
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3541-3564
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3876-3911
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 4839-4853
No TPTP formula. May not be expressible in strict first order. Merge.kif 1196-1199

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 1189-1205
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 1523-1539
No TPTP formula. May not be expressible in strict first order. Geography.kif 6739-6759
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3584-3616
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3636-3663
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3683-3715
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 4058-4069
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 4175-4186
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3541-3564
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 1812-1828
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 4828-4837
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 4821-4826
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30304-30319
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30248-30258
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30271-30286
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18754-18756
No TPTP formula. May not be expressible in strict first order. naics.kif 7773-7782
No TPTP formula. May not be expressible in strict first order. Cars.kif 3117-3133
No TPTP formula. May not be expressible in strict first order. Cars.kif 4534-4541
No TPTP formula. May not be expressible in strict first order. Media.kif 3185-3187
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9887-9899
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25307-25314
No TPTP formula. May not be expressible in strict first order. Sports.kif 1053-1066
No TPTP formula. May not be expressible in strict first order. Transportation.kif 1980-1991
No TPTP formula. May not be expressible in strict first order. Sports.kif 1090-1096

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 5275-5275 The number 1 argument of cardinality is an instance of the union of set or class and collection


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

Show without tree


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