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, Colecao, GAAP, Great_Attractor, Indian_file, InsiemeConcreto, 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...

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. Merge.kif 1278-1278 Collection is disjoint from self connected object
No TPTP formula. May not be expressible in strict first order. Merge.kif 1284-1286
No TPTP formula. May not be expressible in strict first order. Merge.kif 1279-1283
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 1277-1277 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 4367-4367 The range of qualifed page views is an instance of collection
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 4432-4432 The range of qualifed treatments is an instance of collection
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 4399-4399 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 3240-3240 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 3563-3563 The range of new buyers is an instance of collection
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3616-3616 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 3663-3663 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 4472-4472 The range of TreatedUsersFn is an instance of collection
No TPTP formula. May not be expressible in strict first order. Geography.kif 5504-5504 Archipelago is a subclass of collection
No TPTP formula. May not be expressible in strict first order. Society.kif 415-415 BookStoreChain 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 5573-5573 Clothing suit is a subclass of collection
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7321-7321 Communication system is a subclass of collection
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19732-19732 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. Society.kif 414-414 DrugStoreChain is a subclass of collection
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22972-22972 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. Society.kif 410-410 GasolineStationChain 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. Society.kif 416-416 GroceryStoreChain is a subclass of collection
No TPTP formula. May not be expressible in strict first order. Merge.kif 16296-16296 Group 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 3433-3433 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 3476-3476 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 3398-3398 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 3118-3118 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 3085-3085 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 3522-3522 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 3049-3049 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 3152-3152 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 3195-3195 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 3855-3855 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 4037-4037 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 4230-4230 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 3716-3716 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 3764-3764 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 950-950 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 932-932 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 20200-20200 The number 2 argument of inventory is an instance of collection
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 4801-4801 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 4803-4803 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 1297-1297 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 20182-20182 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 20109-20109 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 20131-20131 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 20145-20145 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 3812-3812 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 3407-3422
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3445-3465
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3094-3109
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3128-3145
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3053-3077
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. UXExperimentalTerms.kif 3161-3187
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3204-3230
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 628-644
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 607-613
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3488-3508
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 4440-4463
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 4374-4389
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3528-3551
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3865-3900
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 4830-4844
No TPTP formula. May not be expressible in strict first order. DimensioningAmenities.kif 901-918
No TPTP formula. May not be expressible in strict first order. DimensioningAmenities.kif 922-940
No TPTP formula. May not be expressible in strict first order. DimensioningAmenities.kif 858-875
No TPTP formula. May not be expressible in strict first order. DimensioningAmenities.kif 879-897
No TPTP formula. May not be expressible in strict first order. Merge.kif 1288-1291

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 1524-1540
No TPTP formula. May not be expressible in strict first order. Geography.kif 6495-6515
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3571-3604
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3624-3651
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3671-3704
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 4047-4058
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 4164-4175
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3528-3551
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 4819-4828
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 4812-4817
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16850-16852
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 3129-3145
No TPTP formula. May not be expressible in strict first order. Cars.kif 4543-4550
No TPTP formula. May not be expressible in strict first order. Media.kif 3118-3120
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23513-23520
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 1909-1920
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. Society.kif 482-487
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. Society.kif 465-470

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