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 1158-1158 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 1160-1164
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10689-10689
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10688-10688
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 10695-10695
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 10694-10694
No TPTP formula. May not be expressible in strict first order. pictureList.kif 9966-9966
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10687-10687
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10693-10693
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10690-10690
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 10692-10692
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 10681-10681
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10691-10691
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10696-10696
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10686-10686
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. Merge.kif 1157-1157 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 4375-4375 The range of qualifed page views is an instance of collection
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 4440-4440 The range of qualifed treatments is an instance of collection
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 4407-4407 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 3242-3242 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 3576-3576 The range of new buyers is an instance of collection
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3628-3628 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 3675-3675 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 4480-4480 The range of TreatedUsersFn is an instance of collection
No TPTP formula. May not be expressible in strict first order. Geography.kif 5624-5624 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 4984-4984 Clothing suit is a subclass of collection
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6644-6644 Communication system is a subclass of collection
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3291-3291 Computer system is a subclass of collection
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18793-18793 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 21664-21664 Sprinkler system is a subclass of collection
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3445-3445 Fleet is a subclass of collection
No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 475-475 Golgi apparatus is a subclass of collection
No TPTP formula. May not be expressible in strict first order. Merge.kif 15099-15099 Group is a subclass of collection
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1680-1680 Mini bar is a subclass of collection
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11749-11749 Industry is a subclass of collection
No TPTP formula. May not be expressible in strict first order. Geography.kif 5126-5126 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 3435-3435 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 3478-3478 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 3400-3400 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 3120-3120 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 3087-3087 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 3535-3535 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 3051-3051 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 3154-3154 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 3197-3197 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 3866-3866 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 4048-4048 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 4241-4241 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 3727-3727 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 3775-3775 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 19154-19154 The number 2 argument of inventory is an instance of collection
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 4810-4810 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 4812-4812 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 1176-1176 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 19136-19136 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 19070-19070 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 19085-19085 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 19099-19099 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 3823-3823 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 3409-3424
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3447-3467
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3096-3111
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3130-3147
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3055-3079
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 3163-3189
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3206-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 3490-3510
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 4448-4471
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 4382-4397
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3541-3564
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3876-3911
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 4839-4853
No TPTP formula. May not be expressible in strict first order. Merge.kif 1166-1169

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 6672-6692
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3584-3616
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3636-3663
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3683-3715
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 4058-4069
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 4175-4186
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3541-3564
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 4828-4837
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 4821-4826
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27169-27184
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27113-27123
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27136-27151
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15969-15971
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 3131-3147
No TPTP formula. May not be expressible in strict first order. Cars.kif 4554-4561
No TPTP formula. May not be expressible in strict first order. Media.kif 3173-3175
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22181-22188
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 1980-1991
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 2796-2808

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