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 1233-1233 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 1235-1239
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 1232-1232 Collection is a subclass of object

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 4374-4374 The range of qualifed page views is an instance of collection
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 4439-4439 The range of qualifed treatments is an instance of collection
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 4406-4406 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 3241-3241 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 3574-3574 The range of new buyers is an instance of collection
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3626-3626 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 3673-3673 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 4482-4482 The range of treated users fn is an instance of collection
No TPTP formula. May not be expressible in strict first order. Geography.kif 5750-5750 Archipelago 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 5262-5262 Clothing suit is a subclass of collection
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7578-7578 Communication system is a subclass of collection
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3315-3315 Computer system is a subclass of collection
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22271-22271 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 25347-25347 Sprinkler system is a subclass of collection
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3477-3477 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 16076-16076 Group 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
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14856-14856 Industry is a subclass of collection
No TPTP formula. May not be expressible in strict first order. Geography.kif 5251-5251 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 3431-3431 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 3399-3399 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 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 3533-3533 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 3047-3047 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 3153-3153 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 3196-3196 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 3864-3864 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 4047-4047 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 4240-4240 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 3725-3725 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 3773-3773 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 22666-22666 The number 2 argument of inventory is an instance of collection
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 4814-4814 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 4816-4816 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 1251-1251 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 22648-22648 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 22582-22582 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 22597-22597 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 22611-22611 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 3821-3821 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 3408-3421
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 3093-3109
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3051-3076
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3128-3146
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 7899-7906
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7908-7917
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3162-3189
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3205-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 3488-3508
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 4447-4473
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 4381-4396
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3539-3562
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3874-3910
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 4843-4857
No TPTP formula. May not be expressible in strict first order. Merge.kif 1241-1244

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 6842-6862
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3582-3614
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3634-3661
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3681-3713
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 4057-4068
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 4174-4185
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3539-3562
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 4832-4841
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 4825-4830
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30871-30886
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30813-30823
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30838-30853
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19211-19213
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 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 10273-10285
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25876-25883
No TPTP formula. May not be expressible in strict first order. Sports.kif 1125-1138
No TPTP formula. May not be expressible in strict first order. Transportation.kif 1972-1983
No TPTP formula. May not be expressible in strict first order. Sports.kif 1162-1168

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