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 1969-1969 Collection is disjoint from self connected object
No TPTP formula. May not be expressible in strict first order. Merge.kif 1977-1979
No TPTP formula. May not be expressible in strict first order. Merge.kif 1971-1975
No TPTP formula. May not be expressible in strict first order. Merge.kif 1981-1984
No TPTP formula. May not be expressible in strict first order. Merge.kif 1986-1989
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 1968-1968 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 4366-4366 The range of qualifed page views is an instance of collection
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 4431-4431 The range of qualifed treatments is an instance of collection
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 4398-4398 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 3239-3239 The range of Qualifying Purchase is an instance of collection
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 1181-1181 The range of sellers items is an instance of collection
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 1220-1220 The range of sellers other items is an instance of collection
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3562-3562 The range of new buyers is an instance of collection
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3615-3615 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 3662-3662 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 4471-4471 The range of TreatedUsersFn is an instance of collection
No TPTP formula. May not be expressible in strict first order. Geography.kif 5503-5503 Archipelago is a subclass of collection
No TPTP formula. May not be expressible in strict first order. Dining.kif 258-258 Buffet is a subclass of collection
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5578-5578 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. 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 4049-4049 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 20799-20799 Group is a subclass of collection
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1662-1662 Mini bar is a subclass of collection
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12712-12712 Industry is a subclass of collection
No TPTP formula. May not be expressible in strict first order. Geography.kif 5006-5006 Inland water system is a subclass of collection
No TPTP formula. May not be expressible in strict first order. Food.kif 136-136 Meal 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 3432-3432 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 3475-3475 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 3397-3397 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 3117-3117 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 3084-3084 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 3521-3521 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 3048-3048 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 3151-3151 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 3194-3194 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 3854-3854 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 4036-4036 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 4229-4229 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 3715-3715 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 3763-3763 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 977-977 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 959-959 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 4800-4800 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 4802-4802 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 2000-2000 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 3811-3811 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 3406-3421
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3444-3464
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3093-3108
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3127-3144
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3052-3076
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 1229-1256
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3160-3186
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3203-3229
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 627-643
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 606-612
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3487-3507
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 4439-4462
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 4373-4388
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3527-3550
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3864-3899
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 4829-4843
No TPTP formula. May not be expressible in strict first order. Merge.kif 1991-1994

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


No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 1188-1204
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 6464-6484
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3570-3603
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3623-3650
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3670-3703
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 4046-4057
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 4163-4174
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3527-3550
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 1811-1827
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 4818-4827
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 4811-4816
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 7782-7791
No TPTP formula. May not be expressible in strict first order. Cars.kif 3088-3104
No TPTP formula. May not be expressible in strict first order. Cars.kif 4502-4509
No TPTP formula. May not be expressible in strict first order. Media.kif 3139-3141
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 975-988
No TPTP formula. May not be expressible in strict first order. Transportation.kif 1936-1947
No TPTP formula. May not be expressible in strict first order. Sports.kif 1012-1018
No TPTP formula. May not be expressible in strict first order. Weather.kif 1214-1227
No TPTP formula. May not be expressible in strict first order. Weather.kif 1426-1432
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 4406-4421
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 4476-4488

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 7957-7957 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