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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 1161-1161 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 1163-1167
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10689-10689 "http://upload.wikimedia.org/wikipedia/commons/3/38/ Stamp_collection.jpg" is a URL depicting collection
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10688-10688 "http://upload.wikimedia.org/wikipedia/commons/3/3a/ Collection_Quid.jpg" is a URL depicting collection
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10684-10684 "http://upload.wikimedia.org/wikipedia/commons/3/3f/ Book_collection.jpg" is a URL depicting collection
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10695-10695 "http://upload.wikimedia.org/wikipedia/commons/4/48/ Greek_pottery1.jpg" is a URL depicting collection
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10683-10683 "http://upload.wikimedia.org/wikipedia/commons/4/4c/ Beetle_collection.jpg" is a URL depicting collection
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10694-10694 "http://upload.wikimedia.org/wikipedia/commons/4/4c/ Bgbo_kakteen_ies.jpg" is a URL depicting collection
No TPTP formula. May not be expressible in strict first order. pictureList.kif 9966-9966 "http://upload.wikimedia.org/wikipedia/commons/4/4d/ LA2-katalogkort.jpg" is a URL depicting collection
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10687-10687 "http://upload.wikimedia.org/wikipedia/commons/6/64/ Petosa_-_old_accordions_03.jpg" is a URL depicting collection
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10693-10693 "http://upload.wikimedia.org/wikipedia/commons/6/6e/ The_old_Porsche-Museum%2C_Porscheplatz_1%2C_Stuttgart.jpg" is a URL depicting collection
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10690-10690 "http://upload.wikimedia.org/wikipedia/commons/8/88/ Collection-of-cameras.jpg" is a URL depicting collection
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10680-10680 "http://upload.wikimedia.org/wikipedia/commons/a/aa/ Xtal-collection.jpg" is a URL depicting collection
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10692-10692 "http://upload.wikimedia.org/wikipedia/commons/b/b2/ Oropos-Phaeton.jpg" is a URL depicting collection
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10682-10682 "http://upload.wikimedia.org/wikipedia/commons/c/ca/ Pog_Collection.jpg" is a URL depicting collection
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10681-10681 "http://upload.wikimedia.org/wikipedia/commons/c/cd/ CD_collection.jpg" is a URL depicting collection
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10691-10691 "http://upload.wikimedia.org/wikipedia/commons/d/d3/ Collection-of-Maps.jpg" is a URL depicting collection
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10696-10696 "http://upload.wikimedia.org/wikipedia/commons/d/d3/ Tuning_World_Bodensee_Thumbs_2004.JPG" is a URL depicting collection
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10686-10686 "http://upload.wikimedia.org/wikipedia/commons/e/ec/ Speccy-collection.jpg" is a URL depicting collection
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10685-10685 "http://upload.wikimedia.org/wikipedia/commons/f/fa/ Bottle-collection.jpg" is a URL depicting collection
No TPTP formula. May not be expressible in strict first order. Merge.kif 1160-1160 Collection is a subclass of object

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


No TPTP formula. May not be expressible in strict first order. Media.kif 2577-2577 UnitedStatesMinorOutlyingIslands is an instance of collection
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 4372-4372 The range of qualifed page views is an instance of collection
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 4437-4437 The range of qualifed treatments is an instance of collection
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 4404-4404 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 3237-3237 The range of Qualifying Purchase is an instance of collection
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 1178-1178 The range of sellers items is an instance of collection
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 1217-1217 The range of sellers other items is an instance of collection
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3571-3571 The range of new buyers is an instance of collection
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3623-3623 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 3670-3670 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 4477-4477 The range of TreatedUsersFn is an instance of collection
No TPTP formula. May not be expressible in strict first order. Geography.kif 5519-5519 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 5577-5577 Clothing suit is a subclass of collection
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7326-7326 Communication system is a subclass of collection
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3305-3305 Computer system is a subclass of collection
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20152-20152 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 23365-23365 Sprinkler system is a subclass of collection
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4045-4045 Fleet is a subclass of collection
No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 472-472 Golgi apparatus is a subclass of collection
No TPTP formula. May not be expressible in strict first order. Merge.kif 14935-14935 Group is a subclass of collection
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1666-1666 Mini bar is a subclass of collection
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12710-12710 Industry is a subclass of collection
No TPTP formula. May not be expressible in strict first order. Geography.kif 5020-5020 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 3430-3430 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 3473-3473 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 3395-3395 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 3115-3115 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 3082-3082 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 3530-3530 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 3046-3046 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 3149-3149 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 3192-3192 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 3861-3861 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 4043-4043 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 4236-4236 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 3722-3722 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 3770-3770 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 992-992 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 974-974 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 20593-20593 The number 2 argument of inventory is an instance of collection
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 4807-4807 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 4809-4809 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 1178-1178 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 20575-20575 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 20502-20502 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 20524-20524 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 20538-20538 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 3818-3818 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 3404-3419
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3442-3462
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3091-3106
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3125-3142
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3050-3074
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 1226-1253
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3158-3184
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3201-3227
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 625-641
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 604-610
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3485-3505
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 4445-4468
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 4379-4394
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3536-3559
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3871-3906
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 4836-4850
No TPTP formula. May not be expressible in strict first order. Merge.kif 1169-1172

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


No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 1185-1201
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 1520-1536
No TPTP formula. May not be expressible in strict first order. Geography.kif 6480-6500
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3579-3611
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3631-3658
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3678-3710
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 4053-4064
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 4170-4181
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3536-3559
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 1809-1825
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 4825-4834
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 4818-4823
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17210-17212
No TPTP formula. May not be expressible in strict first order. naics.kif 7780-7789
No TPTP formula. May not be expressible in strict first order. Cars.kif 3091-3107
No TPTP formula. May not be expressible in strict first order. Cars.kif 4510-4517
No TPTP formula. May not be expressible in strict first order. Media.kif 3171-3173
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23955-23962
No TPTP formula. May not be expressible in strict first order. Sports.kif 977-990
No TPTP formula. May not be expressible in strict first order. Transportation.kif 1962-1973
No TPTP formula. May not be expressible in strict first order. Sports.kif 1014-1020
No TPTP formula. May not be expressible in strict first order. Weather.kif 1311-1323
No TPTP formula. May not be expressible in strict first order. Weather.kif 1522-1528
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 4412-4427
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 4482-4494

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 5092-5092 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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners