Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  Collection

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 1159-1159 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 1161-1165
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 1158-1158 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 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 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 1180-1180 The range of sellers items is an instance of collection
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 1219-1219 The range of sellers other items is an instance of collection
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3573-3573 The range of new buyers is an instance of collection
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3625-3625 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 3672-3672 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 4479-4479 The range of TreatedUsersFn is an instance of collection
No TPTP formula. May not be expressible in strict first order. Geography.kif 5533-5533 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 5583-5583 Clothing suit is a subclass of collection
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7308-7308 Communication system is a subclass of collection
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3303-3303 Computer system is a subclass of collection
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20195-20195 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 23408-23408 Sprinkler system is a subclass of collection
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4051-4051 Fleet is a subclass of collection
No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 473-473 Golgi apparatus is a subclass of collection
No TPTP formula. May not be expressible in strict first order. Merge.kif 15084-15084 Group is a subclass of collection
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1666-1666 Mini bar is a subclass of collection
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12738-12738 Industry is a subclass of collection
No TPTP formula. May not be expressible in strict first order. Geography.kif 5035-5035 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 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 3532-3532 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 3863-3863 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 4045-4045 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 4238-4238 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 3724-3724 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 3772-3772 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 992-992 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 974-974 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 20636-20636 The number 2 argument of inventory is an instance of collection
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 4809-4809 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 4811-4811 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 1177-1177 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 20618-20618 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 20545-20545 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 20567-20567 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 20581-20581 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 3820-3820 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 1228-1255
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 4447-4470
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 3538-3561
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3873-3908
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 4838-4852
No TPTP formula. May not be expressible in strict first order. Merge.kif 1167-1170

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


No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 1187-1203
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 1522-1538
No TPTP formula. May not be expressible in strict first order. Geography.kif 6573-6593
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3581-3613
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3633-3660
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3680-3712
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 4055-4066
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 4172-4183
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3538-3561
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 4827-4836
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 4820-4825
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17241-17243
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 3092-3108
No TPTP formula. May not be expressible in strict first order. Cars.kif 4512-4519
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 23998-24005
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 1962-1973
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 1658-1670
No TPTP formula. May not be expressible in strict first order. Weather.kif 1836-1842
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 4414-4429
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 4484-4496

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 5226-5226 The number 1 argument of cardinality is an instance of the union of set or class and collection


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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