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


No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 703-711
No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 794-803
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3210-3223
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3247-3267
No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 1004-1023
No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 974-984
No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 951-966
No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 921-931
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 2895-2911
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 2853-2878
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 2930-2948
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 1033-1060
No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 939-949
No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 992-1002
No TPTP formula. May not be expressible in strict first order. Economy.kif 3970-3985
No TPTP formula. May not be expressible in strict first order. Economy.kif 3911-3926
No TPTP formula. May not be expressible in strict first order. Economy.kif 3879-3894
No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 896-905
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7912-7919
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7921-7930
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 2964-2991
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3007-3034
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 501-517
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 483-489
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3290-3310

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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


No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 992-1008
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 1326-1342
No TPTP formula. May not be expressible in strict first order. Geography.kif 7120-7140
No TPTP formula. May not be expressible in strict first order. Food.kif 1012-1026
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3384-3416
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3436-3463
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3483-3515
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3859-3870
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3976-3987
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3341-3364
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 1613-1629
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 4635-4644
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 4628-4633
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30873-30888
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30815-30825
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30840-30855
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19379-19381
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. Mid-level-ontology.kif 10358-10370
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 4531-4538
No TPTP formula. May not be expressible in strict first order. Media.kif 3203-3205
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10317-10329
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25900-25907
No TPTP formula. May not be expressible in strict first order. Sports.kif 1125-1138

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 5508-5508 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 3.0 is open source software produced by Articulate Software and its partners