]> 2008/06/10 OpenCyc Knowledge Base Copyright© 2001-2008 Cycorp, Inc., http://www.cyc.com/, Austin, TX, USA This file contains an OWL representation of information contained in the OpenCyc Knowledge Base. The content of this OWL file is licensed under the Creative Commons Attribution 3.0 license whose text can be found at http://creativecommons.org/licenses/by/3.0/legalcode. The content of this OWL file, including the OpenCyc content it represents, constitutes the "Work" referred to in the Creative Commons license. The terms of this license equally apply to, without limitation, renamings and other logically equivalent reformulations of the content of this OWL file (or portions thereof) in any natural or formal language, as well as to derivations of this content or inclusion of it in other ontologies. externalID A unique, language-neutral, variable-sized identifier for a concept that can be used to refer unambiguously to that concept across OWL exports or across Cyc inference engines. label A natural-language representation for a concept that is both human readable and readable by the Cyc inference engine. These terms are not guaranteed to refer to the same concept across time but are guaranteed to be consistent within a particular OWL export. Use 'cycAnnot:externalID' for unambiguously referring to a concept across OWL exports or across Cyc inference engines. A collection of collections. Each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvubaMZwpEbGdrcN5Y29ycA" class="cyc_term">ConventionalClassificationType</a> is a collection that corresponds to a category in some agreed-upon or conventional classification system (see <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwNgIyZwpEbGdrcN5Y29ycA" class="cyc_term">ClassificationSystem</a>) used by people. In such systems, a change or reclassification is possible by a decision of an authority, or by a changed social agreement or custom, without changing the intrinsic natures of the actual objects in the category. <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvubaMZwpEbGdrcN5Y29ycA" class="cyc_term">ConventionalClassificationType</a>s include categories in biological taxonomy, standard classifications in data dictionaries and thesauri, cultural taboo classes, military doctrinal classes, and named calendar intervals. ConventionalClassificationType conventional classification type conventional classification types tax bracket TaxBracket The collection of tax brackets, each of which is a collection of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViknpwpEbGdrcN5Y29ycA" class="cyc_term">SocialBeing</a>s, grouped according to the rate they will be required to pay according to a certain <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rv94aCpwpEbGdrcN5Y29ycA" class="cyc_term">IncomeTax</a> (such as <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvnkYB5wpEbGdrcN5Y29ycA" class="cyc_term">USIncomeTax</a>) which rate is calculated as the percentage of their final dollar of taxable income that year. A <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViknpwpEbGdrcN5Y29ycA" class="cyc_term">SocialBeing</a> is assigned to a <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwNspq5wpEbGdrcN5Y29ycA" class="cyc_term">TaxBracket</a> for various reasons, usually having to do with various social factors such as income level, whether it is a some special type of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjVT5wpEbGdrcN5Y29ycA" class="cyc_term">Organization</a> or not, and the like. So when (<a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViBE5wpEbGdrcN5Y29ycA" class="cyc_term">holdsIn</a> YEAR (<a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvoV375wpEbGdrcN5Y29ycA" class="cyc_term">taxRate</a> PER1 <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvnkYB5wpEbGdrcN5Y29ycA" class="cyc_term">USIncomeTax</a> RATE2)) and (<a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViBE5wpEbGdrcN5Y29ycA" class="cyc_term">holdsIn</a> YEAR (<a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvoV375wpEbGdrcN5Y29ycA" class="cyc_term">taxRate</a> PER2 <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvnkYB5wpEbGdrcN5Y29ycA" class="cyc_term">USIncomeTax</a> RATE2)), PER1 and PER2 are members of the same <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwNspq5wpEbGdrcN5Y29ycA" class="cyc_term">TaxBracket</a> (in this case some US income tax bracket, represented by an instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwNspq5wpEbGdrcN5Y29ycA" class="cyc_term">TaxBracket</a>) if and only if RATE1 is equal to RATE2. type of island IslandRegionTypeByPlurality A collection of collections. Each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwOkyvZwpEbGdrcN5Y29ycA" class="cyc_term">IslandRegionTypeByPlurality</a> is a specialization of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVi7f5wpEbGdrcN5Y29ycA" class="cyc_term">IslandRegion</a> whose instances all consist of the same "plurality" of whole <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVi7OZwpEbGdrcN5Y29ycA" class="cyc_term">Island</a>s, where that might be either none, one, or more-than-one. UnitOfMeasureTypeBySystem A collection of collections. Each instance is a spec of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViAqpwpEbGdrcN5Y29ycA" class="cyc_term">UnitOfMeasure</a> whose instances are all of the same system. type of unit of measure classified by system USWorkVisaType The types of work visas given in the U.S. type of US work visa MedicalPlanTypeByAdministration Instances of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwQweT5wpEbGdrcN5Y29ycA" class="cyc_term">MedicalPlanTypeByAdministration</a> are types of medical plans characterized by how they are administered. medical plan type by administration A collection of collections. Each element of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwSmVfJwpEbGdrcN5Y29ycA" class="cyc_term">ClassicalMusicalCompositionTypeByMusicalForm</a> is a collection of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvtPYApwpEbGdrcN5Y29ycA" class="cyc_term">MusicalComposition_Classical</a>s, each element of which has the same musical form or musical structure. For example, all <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rv5FimZwpEbGdrcN5Y29ycA" class="cyc_term">Symphony</a>s share the musical form of a <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rv5FimZwpEbGdrcN5Y29ycA" class="cyc_term">Symphony</a>, so <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rv5FimZwpEbGdrcN5Y29ycA" class="cyc_term">Symphony</a> is an element of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwSmVfJwpEbGdrcN5Y29ycA" class="cyc_term">ClassicalMusicalCompositionTypeByMusicalForm</a>. ClassicalMusicalCompositionTypeByMusicalForm classical musical composition form PersonTypeByCulture A collection of collections. Each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwPzQbJwpEbGdrcN5Y29ycA" class="cyc_term">PersonTypeByCulture</a> is the collection of all and only those persons who participate (see <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rv-JRhpwpEbGdrcN5Y29ycA" class="cyc_term">cultureParticipants</a>) in some particular human culture. Examples include <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwQw1P5wpEbGdrcN5Y29ycA" class="cyc_term">FrenchPerson</a> and <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVkFyZwpEbGdrcN5Y29ycA" class="cyc_term">EthnicGroupOfAustralianAborigines</a>. type of person classified by culture EngineerTypeByField engineer type by field A collection of collections. Each instance is a spec of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVkBWpwpEbGdrcN5Y29ycA" class="cyc_term">Engineer</a> whose instances are all of the same field. A collection of collections. Each instance is a collection of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rIcwFloGUQdeMlsOWYLFB2w" class="cyc_term">HomoSapiens</a> grouped by the color of the hair on their head. This is commonly used in personal descriptions. In addition there are common beliefs about the personality traits of people of particular hair colors. HumanTypeByHairColor type of human classified by hair color OrganismVarietyBySize subtype of organism by size A collection of collections. Each <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4r_uKcfltfQdiVSs-evVkp3A" class="cyc_term">OrganismVarietyBySize</a> is a specialization of some organism type, such that the instances of that <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4r_uKcfltfQdiVSs-evVkp3A" class="cyc_term">OrganismVarietyBySize</a> share a specific size or range of sizes, in contrast to some other instances of the broader organism type. Examples include <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvuXm9ZwpEbGdrcN5Y29ycA" class="cyc_term">GiantSchnauzer</a> and the collection of miniature horses. A collection of collections. Each instance is a spec of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjaa5wpEbGdrcN5Y29ycA" class="cyc_term">Cleric</a> whose instances are all of the same position. cleric type by position ClericTypeByPosition type of organism OrganismClassificationType A collection of collections. Each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjf5JwpEbGdrcN5Y29ycA" class="cyc_term">OrganismClassificationType</a> is a specialization of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjE1pwpEbGdrcN5Y29ycA" class="cyc_term">Organism_Whole</a> (q.v.), where membership in that sub-collection is determined by satisfaction of some set of classificatory criteria accepted by some scientific community. Instances of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjf5JwpEbGdrcN5Y29ycA" class="cyc_term">OrganismClassificationType</a> may or may not correspond to naive categories of organisms, and, in addition, although they are scientific, they might not be officially accepted biological taxons at the standard taxonomic levels (<a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViYS5wpEbGdrcN5Y29ycA" class="cyc_term">Invertebrate</a>, for example, is an <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjf5JwpEbGdrcN5Y29ycA" class="cyc_term">OrganismClassificationType</a>, but _not_ a <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVji6JwpEbGdrcN5Y29ycA" class="cyc_term">BiologicalTaxon</a> (q.v.)). Note that <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjf5JwpEbGdrcN5Y29ycA" class="cyc_term">OrganismClassificationType</a> is _not_ an instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViA4pwpEbGdrcN5Y29ycA" class="cyc_term">SiblingDisjointCollectionType</a>, since there are scientific classifications along different dimensions. Many specializations of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjf5JwpEbGdrcN5Y29ycA" class="cyc_term">OrganismClassificationType</a> are, however, instances of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViA4pwpEbGdrcN5Y29ycA" class="cyc_term">SiblingDisjointCollectionType</a>. scientist type by field A collection of collections. Each instance is a spec of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVj755wpEbGdrcN5Y29ycA" class="cyc_term">Scientist</a> whose instances are all of the same field. ScientistTypeByField ComputerServerTypeByFunction <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvZWCJZwpEbGdrcN5Y29ycA" class="cyc_term">ComputerServerTypeByFunction</a> is a collection of collections. Each instance is a spec of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvWU7IpwpEbGdrcN5Y29ycA" class="cyc_term">ComputerServer</a> whose instances all serve the same function. Note that instances of this collection need not be disjoint with one another. A single machine may simultaneously play the role of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwBN10pwpEbGdrcN5Y29ycA" class="cyc_term">NameServer_Network</a> and the role of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwNzgd5wpEbGdrcN5Y29ycA" class="cyc_term">WebServer_Network</a> for a particular network. computer server type by function PersonTypeByMilitaryStatus type of person classified by military status A collection of collections. Each instance of this collection is a collection of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViAkpwpEbGdrcN5Y29ycA" class="cyc_term">Person</a>s all of whom share a particular status vis a vis their respective national or territorial <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjx75wpEbGdrcN5Y29ycA" class="cyc_term">MilitaryOrganization</a>(s). Notable instances include <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwAdgZpwpEbGdrcN5Y29ycA" class="cyc_term">PersonLegallyCapableOfMilitaryService</a> and <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwQCE1JwpEbGdrcN5Y29ycA" class="cyc_term">Civilian</a>. artist performer type by performance type A collection of collections. Each instance is a spec of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjjEJwpEbGdrcN5Y29ycA" class="cyc_term">Artist_Performer</a> whose instances are all of the same performance type. Artist-PerformerTypeByPerformanceType A collection of collections. Each instance is a spec of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjIZpwpEbGdrcN5Y29ycA" class="cyc_term">TelevisionSet</a> whose instances are all of the same size. type of television classified by size TelevisionSetTypeBySize ReedWoodwindInstrumentTypeByNumberOfReeds A collection of collections. Each instance is a spec of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rveimI5wpEbGdrcN5Y29ycA" class="cyc_term">ReedWoodwindInstrument</a> whose instances are all of the same number of reeds. type of reed instrument classified by number of reeds computer code type by executability ComputerCodeTypeByExecutability A collection of collections. Each instance is a spec of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwIZO5pwpEbGdrcN5Y29ycA" class="cyc_term">ComputerCode</a> whose instances are all of the same executability. A collection of collections. Each instance is a spec of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViowZwpEbGdrcN5Y29ycA" class="cyc_term">Author</a> whose instances are all of the same subject. AuthorTypeBySubject author type by subject country type by general region CountryTypeByGeneralRegion A <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvprlOZwpEbGdrcN5Y29ycA" class="cyc_term">FacetingCollectionType</a> and a specialization of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvubaMZwpEbGdrcN5Y29ycA" class="cyc_term">ConventionalClassificationType</a>. Each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rVvBTrJhkQdiCKs3GWTcWTg" class="cyc_term">CountryTypeByGeneralRegion</a> is a collection of countries that are conventionally considered to be part of the same general region. Instances include <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rTAE0cHbHQdiWHuhd-UxV8g" class="cyc_term">LatinAmericanCountry</a>, <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvd8IHJwpEbGdrcN5Y29ycA" class="cyc_term">WesternEuropeanCountry</a>, and <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwHaS2ZwpEbGdrcN5Y29ycA" class="cyc_term">MiddleEasternCountry</a>. sports team type by professionalism SportsTeamTypeByProfessionalism A collection of collections. Each instance is a spec of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViwbJwpEbGdrcN5Y29ycA" class="cyc_term">SportsTeam</a> whose instances are all of the same proffessionalism. MP3Player-GenericTypeByPhysicality A collection of collections. Each instance is a spec of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvbNi65wpEbGdrcN5Y29ycA" class="cyc_term">MP3Player_Generic</a> whose instances are all of the same physicality. type of MP3 player classified by physicality movie type by series MovieTypeBySeries <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwDAPoJwpEbGdrcN5Y29ycA" class="cyc_term">MovieTypeBySeries</a> is a collection of collections. Each element of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwDAPoJwpEbGdrcN5Y29ycA" class="cyc_term">MovieTypeBySeries</a> is a collection of movies that either feature the same character(s), tell a continued story, or in some other way make up a series. Example instances of this collection are <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvqyEdJwpEbGdrcN5Y29ycA" class="cyc_term">JamesBondMovie</a>, <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvb2leZwpEbGdrcN5Y29ycA" class="cyc_term">BatmanMovie</a>, and <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwD1PUZwpEbGdrcN5Y29ycA" class="cyc_term">SupermanMovie</a>. An instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvprlOZwpEbGdrcN5Y29ycA" class="cyc_term">FacetingCollectionType</a> and a specialization of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvubaMZwpEbGdrcN5Y29ycA" class="cyc_term">ConventionalClassificationType</a>. Each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rgQsP1F2xEdif1wACs2IMlQ" class="cyc_term">Topic</a> is a collection of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViA9JwpEbGdrcN5Y29ycA" class="cyc_term">Thing</a>s falling under a common topic. <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rgQsP1F2xEdif1wACs2IMlQ" class="cyc_term">Topic</a> is neither a strict [<a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvcZ1FpwpEbGdrcN5Y29ycA" class="cyc_term">facets_Strict</a>] nor a covering [<a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rv86JWpwpEbGdrcN5Y29ycA" class="cyc_term">facets_Covering</a>] faceting of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViA9JwpEbGdrcN5Y29ycA" class="cyc_term">Thing</a>: many <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViA9JwpEbGdrcN5Y29ycA" class="cyc_term">Thing</a>s may be instances of no <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rgQsP1F2xEdif1wACs2IMlQ" class="cyc_term">Topic</a>, or of multiple <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rgQsP1F2xEdif1wACs2IMlQ" class="cyc_term">Topic</a>s. IMPORTANT: Something's falling under a particular topic is purely a matter of convention: we simply *stipulate* that certain things fall under certain topics when we find it useful to do so, e.g. for browsing or inferential purposes. There is no use in pondering what it "really means" for a thing to fall under a topic; <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rgQsP1F2xEdif1wACs2IMlQ" class="cyc_term">Topic</a>s are just shallow (but useful) ways of "clumping" things together. Topic topic ColorTypeByMetallicness type of color classified by metallicness A collection of collections of collections. Each instance is a specialization of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rr19QJHStEdaAAACgyZzFrg" class="cyc_term">Color</a> such that all the instances of the collection union of the set of the instances of the specialization have the same metallicness in their coloring. The collection of all collections, instances of which are persons who hold hereditary titles of nobility granted or recognized by some government or monarch. Title-Aristocratic aristocratic title AristocratTypeByTitle A collection of collections. Each instance is a spec of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvjHZ8JwpEbGdrcN5Y29ycA" class="cyc_term">Aristocrat</a> whose instances are all of the same title. aristocrat type by title TelevisionSetTypeByColor type of television classified by color A collection of collections. Each instance is a specialization of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjIZpwpEbGdrcN5Y29ycA" class="cyc_term">TelevisionSet</a> whose instances are all of the same color. SportsTeamTypeBySex A collection of collections. Each instance is a spec of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViwbJwpEbGdrcN5Y29ycA" class="cyc_term">SportsTeam</a> whose instances are all of the same gender. sports team type by gender A collection of collections. Each instance of this collection is a collection of individuals with a particular religious background. person type by religious background PersonTypeByReligiousBackground IntelligentAgentTypeByBeliefSystem A collection of collections and a specialization of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvubaMZwpEbGdrcN5Y29ycA" class="cyc_term">ConventionalClassificationType</a>. Each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rxap-lo8RQdiM7v6fcDLKBw" class="cyc_term">IntelligentAgentTypeByBeliefSystem</a> is a collection of agents, the instances of each of which share a common belief system (see <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVi9R5wpEbGdrcN5Y29ycA" class="cyc_term">BeliefSystem</a>). More formally, for each instance AGENT-TYPE of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rxap-lo8RQdiM7v6fcDLKBw" class="cyc_term">IntelligentAgentTypeByBeliefSystem</a>, there is an instance BELIEFS of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVi9R5wpEbGdrcN5Y29ycA" class="cyc_term">BeliefSystem</a> such that (<a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvmWdYpwpEbGdrcN5Y29ycA" class="cyc_term">relationAllInstance</a> <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVisWpwpEbGdrcN5Y29ycA" class="cyc_term">hasBeliefSystems</a> AGENT-TYPE BELIEFS) holds true. type of person by belief system artist type by art form ArtistTypeByArtForm A collection of collections. Each instance is a spec of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwMcZI5wpEbGdrcN5Y29ycA" class="cyc_term">Artist</a> whose instances are all of the same art form. A collection of collections. Each instance is a spec of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjjEJwpEbGdrcN5Y29ycA" class="cyc_term">Artist_Performer</a> whose instances are all of the same performance locale. Artist-PerformerTypeByPerformanceLocale artist performer type by performance locale AutomobileTypeByConventionalSizeClassification A <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvprlOZwpEbGdrcN5Y29ycA" class="cyc_term">FacetingCollectionType</a> and a specialization of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rveBxrpwpEbGdrcN5Y29ycA" class="cyc_term">RoadVehicleType</a> and <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvubaMZwpEbGdrcN5Y29ycA" class="cyc_term">ConventionalClassificationType</a>. Each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rVSIUpKmrQdiYnqBkKeeXYw" class="cyc_term">AutomobileTypeByConventionalSizeClassification</a> is a collection of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViVwZwpEbGdrcN5Y29ycA" class="cyc_term">Automobile</a>s falling under the same conventional size classification. (Note that conventional size classifications may vary between <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rviE6a5wpEbGdrcN5Y29ycA" class="cyc_term">GeopoliticalRegion</a>s.) Instances of this collection include <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rqLKZhqmrQdiZ9awxMuo5Fg" class="cyc_term">LargeCar</a>, <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVif55wpEbGdrcN5Y29ycA" class="cyc_term">MidsizeCar</a>, <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjtkpwpEbGdrcN5Y29ycA" class="cyc_term">CompactCar</a>, <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjpNJwpEbGdrcN5Y29ycA" class="cyc_term">SubcompactCar</a>, and <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rkmc8wqmrQdiJabCTR_lzvA" class="cyc_term">MinicompactCar</a>. automobile type by conventional size classification A collection of collections. Each element of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVi84ZwpEbGdrcN5Y29ycA" class="cyc_term">ProductTypeByMarketCategory</a> is a collection of items that are commonly offered for sale in the same (type of) store, (type of) section of a store, or (type of) catalog. A specialty store might be devoted to a single element of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVi84ZwpEbGdrcN5Y29ycA" class="cyc_term">ProductTypeByMarketCategory</a>. The basis for a <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVi84ZwpEbGdrcN5Y29ycA" class="cyc_term">ProductTypeByMarketCategory</a> includes both (1) different brands or variations of a certain kind of product (e.g., hosiery or hammers); and (2) products that are often used together (e.g., kitchen pans and cooking utensils). Thus, members of a single market category collection need not have any intrinsic similarity; they may simply be things that are often used or purchased together. For example, work gloves, a soft clothing item, are usually found with hardware or gardening tools. Commonly, a single element of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVi84ZwpEbGdrcN5Y29ycA" class="cyc_term">ProductTypeByMarketCategory</a> will include elements of several instances of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjKkZwpEbGdrcN5Y29ycA" class="cyc_term">ProductType</a> as members; e.g., many brief cases, suit cases, garment bags, trunks, etc., will all be marketed as instances of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViTL5wpEbGdrcN5Y29ycA" class="cyc_term">LuggageMarketCategory</a> Elements of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjKkZwpEbGdrcN5Y29ycA" class="cyc_term">ProductType</a> are related to their <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVi84ZwpEbGdrcN5Y29ycA" class="cyc_term">ProductTypeByMarketCategory</a> by <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVj24ZwpEbGdrcN5Y29ycA" class="cyc_term">insMarketedAs</a>. Note that <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViPwJwpEbGdrcN5Y29ycA" class="cyc_term">Briefcase</a> et al. are not specs of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViTL5wpEbGdrcN5Y29ycA" class="cyc_term">LuggageMarketCategory</a>; instances of them are merely marketed as such. Examples of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVi84ZwpEbGdrcN5Y29ycA" class="cyc_term">ProductTypeByMarketCategory</a>: <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwQr0i5wpEbGdrcN5Y29ycA" class="cyc_term">BuildingMaterial</a>, <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVkF7JwpEbGdrcN5Y29ycA" class="cyc_term">HealthAndBeautyMarketCategory</a>, <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjuuJwpEbGdrcN5Y29ycA" class="cyc_term">BooksAndMagazinesMarketCategory</a>, <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjmkZwpEbGdrcN5Y29ycA" class="cyc_term">ElectricalSupplyMarketCategory</a>, <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjlxJwpEbGdrcN5Y29ycA" class="cyc_term">AutoSoundMarketCategory</a>, <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVi9Y5wpEbGdrcN5Y29ycA" class="cyc_term">HouseholdFurnishingsMC</a>, <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVj8VpwpEbGdrcN5Y29ycA" class="cyc_term">OfficeProductMarketCategory</a>. market category ProductTypeByMarketCategory AmateurSportsTeamTypeBySponsor A collection of collections. Each instance is a spec of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvnOkoJwpEbGdrcN5Y29ycA" class="cyc_term">AmateurSportsTeam</a> whose instances are all of the same sponsor. type of amateur sports team classified by sponsor A collection of collections. Each instance is a spec of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvWHek5wpEbGdrcN5Y29ycA" class="cyc_term">Puzzle_Generic</a> whose instances are all of the same tangibility. PuzzleTypeByTangibility type of puzzle classified by tangibility A collection of collections. Each instance is a spec of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjorZwpEbGdrcN5Y29ycA" class="cyc_term">WindProcess</a> whose instances are all of the same strength. wind process type by strength WindProcessTypeByStrength GarmentTypeByRegionOfBodyCovered type of garment classified by where on the body it is worn A specialization of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvWXYgJwpEbGdrcN5Y29ycA" class="cyc_term">ExistingObjectType</a>. Each instance of this collection is a strict facet of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvzWRpJwpEbGdrcN5Y29ycA" class="cyc_term">Garment</a> (see <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvcZ1FpwpEbGdrcN5Y29ycA" class="cyc_term">facets_Strict</a>). That is, the instances of this collection are mutually exclusive specializations of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvzWRpJwpEbGdrcN5Y29ycA" class="cyc_term">Garment</a> -- each instance is a specialization of garment whose instances, when worn, cover a certain region of the body. The primary instances are <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rv4kfjJwpEbGdrcN5Y29ycA" class="cyc_term">Clothing_WholeBody</a>, <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvsLZcZwpEbGdrcN5Y29ycA" class="cyc_term">Clothing_Bottom</a>, and <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvfr2C5wpEbGdrcN5Y29ycA" class="cyc_term">Clothing_Top</a>. AuthorTypeByFormat A collection of collections. Each instance is a spec of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViowZwpEbGdrcN5Y29ycA" class="cyc_term">Author</a> whose instances are all of the same format. author type by format FixedArityFunctionTypeByArity fixed arity function type by arity A collection of collections. Each instance is a spec of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rv-A-apwpEbGdrcN5Y29ycA" class="cyc_term">FixedArityFunction</a> whose instances are all of the same arity. A collection of collections. Each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvmupwpwpEbGdrcN5Y29ycA" class="cyc_term">HomosexualPersonTypeBySex</a> is a specialization of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVj1JZwpEbGdrcN5Y29ycA" class="cyc_term">HomosexualHuman</a> whose instances are all and only those of the same sex. homosexual person type by gender HomosexualPersonTypeBySex WindProcessTypeByLocation wind process type by location A collection of collections. Each instance is a spec of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjorZwpEbGdrcN5Y29ycA" class="cyc_term">WindProcess</a> whose instances all occur at the same location. A collection of collections. Each instance is a spec of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rv5EL45wpEbGdrcN5Y29ycA" class="cyc_term">Hobbyist</a> whose instances are all of the same hobby. HobbyistTypeByHobby hobbyist type by hobby TerrainTypeByMilitaryClassification military terrain classification A collection of collections. Instances of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4r1VXe2u0OQdecMIjf41Hqrw" class="cyc_term">TerrainTypeByMilitaryClassification</a> are types of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjOh5wpEbGdrcN5Y29ycA" class="cyc_term">LandTopographicalFeature</a>s that are explicitly defined in military documentation. These are partitioned into: <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4r2S1A6O0OQdeCavWnBL26ww" class="cyc_term">MilitaryMajorTerrainType</a>, <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4r3DIuwO0OQdeFmbzex52KAQ" class="cyc_term">MilitaryMinorTerrainType</a>, and <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4r3x2VZu0OQdeBJLD1ikWTbA" class="cyc_term">MilitarySupplementaryTerrainType</a>. ConventionallyClassifiedTemporalObjectSeries conventionally classified temporal object series A specialization of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvubaMZwpEbGdrcN5Y29ycA" class="cyc_term">ConventionalClassificationType</a> (q.v.) and <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViq35wpEbGdrcN5Y29ycA" class="cyc_term">TemporalObjectType</a>. Each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rjIcu4Fs1QdedO5fWVPpbiQ" class="cyc_term">ConventionallyClassifiedTemporalObjectSeries</a> is a series of temporal objects (of the same kind) such that for each E in the series one can meaningfully speak of `the one before E' or `the one after E' in the series (or speak of `the last one' or `the next one' etc. in the series if we are to temporally locate ourselves in E). Examples of instances of this collection include <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjyV5wpEbGdrcN5Y29ycA" class="cyc_term">CalendarYear</a>, <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjhpZwpEbGdrcN5Y29ycA" class="cyc_term">Friday</a> and <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVirVJwpEbGdrcN5Y29ycA" class="cyc_term">ChristmasHoliday</a> etc. Two important specializations of this collection are <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4r0ibdqMBbEdaAAACgycbRfg" class="cyc_term">ConventionallyClassifiedTimeIntervalSeries</a> and <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rjD_E2Fs1QdeOqs6SH7xb8w" class="cyc_term">AnnualHolidayType</a> (q.v.). subplanetary stellar orbiter type by physical property SubplanetaryStellarOrbiterTypeByPhysicalProperty A collection of collections. Each instance is a spec of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwP5yFZwpEbGdrcN5Y29ycA" class="cyc_term">SubplanetaryStellarOrbiter</a> whose instances are all of the same physical property. <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvfthCpwpEbGdrcN5Y29ycA" class="cyc_term">ComputerNetworkTypeByTopology</a> is a collection of collections. Each instance is a spec of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVirUZwpEbGdrcN5Y29ycA" class="cyc_term">ComputerNetwork</a> whose instances are all of the same general topology. computer network type by topology ComputerNetworkTypeByTopology The collection of all model type HMOs. A type of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvubaMZwpEbGdrcN5Y29ycA" class="cyc_term">ConventionalClassificationType</a>. The concept <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwQwea5wpEbGdrcN5Y29ycA" class="cyc_term">HMOModelType</a> is a <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rk8dxOFcGEdaLwgACs0uFOQ" class="cyc_term">SiblingDisjointSetOrCollectionType</a>. model type HMO HMOModelType cleric type by religion and position ClericTypeByReligionAndPosition A collection of collections. Each instance is a spec of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjaa5wpEbGdrcN5Y29ycA" class="cyc_term">Cleric</a> whose instances are all of the same religion and position. rocket type by stage configuration RocketTypeByStageConfiguration A faceting of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwQwoMJwpEbGdrcN5Y29ycA" class="cyc_term">RocketPropelledTransportationDevice</a>. Each instance is a specialization of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwQwoMJwpEbGdrcN5Y29ycA" class="cyc_term">RocketPropelledTransportationDevice</a> whose instances are all vehicles with a common number of rocket stages. A collection of collections. Each instance is a spec of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViwbJwpEbGdrcN5Y29ycA" class="cyc_term">SportsTeam</a> whose instances are all of the same sport. type of sports team classified by sport SportsTeamTypeBySport type of U.S. person classified by medical benefit provider A collection of collections. Each instance of this collection is a collection of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVj1zpwpEbGdrcN5Y29ycA" class="cyc_term">UnitedStatesPerson</a> all of whom share a particular type of medical services provision (e.g. <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvWBYlpwpEbGdrcN5Y29ycA" class="cyc_term">MedicaidPatient</a>). See also <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwTAZ4ZwpEbGdrcN5Y29ycA" class="cyc_term">HealthCarePayerType</a>. USPersonByMedicalBenefitProvider type of color classified by chromaticity A collection of collections of collections. Each instance is a specialization of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rr19QJHStEdaAAACgyZzFrg" class="cyc_term">Color</a> such that all the instances of the collection union of the set of instances of the specialization have the same chromaticness in their coloring. ColorTypeByChromaticity Collection of the different collections used to divide phone numbers into different parts. part type of phone numbers PhoneNumberPartType A collection of collections. Each instance is a spec of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVkBQ5wpEbGdrcN5Y29ycA" class="cyc_term">HeadOfGovernment</a> whose instances are all of the same title. head of government type by title HeadOfGovernmentTypeByTitle PlantTypeByEffectOnOrganism A specialization of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvubaMZwpEbGdrcN5Y29ycA" class="cyc_term">ConventionalClassificationType</a>. Each instance of this collection is a collection of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjG4ZwpEbGdrcN5Y29ycA" class="cyc_term">Plant</a>s that has demonstrated some general effect on some kind of organisms. Notable specializations of this collection include <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4r4sjJpHbRQdiFjOjtgtliAw" class="cyc_term">HarmfulPlantType</a> and <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4r5UhjLnbRQdic4oSEiA2bNw" class="cyc_term">MedicinalPlantType</a>. plant type by effect on organism A collection of collections. Each instance is a spec of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjIu5wpEbGdrcN5Y29ycA" class="cyc_term">Criminal</a> whose instances are all of the same crime type. criminal type by crime type CriminalTypeByCrimeType type of health care payer HealthCarePayerType A collection of collections. Each <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwTAZ4ZwpEbGdrcN5Y29ycA" class="cyc_term">HealthCarePayerType</a> is a different type of agent who pays for health care services. See also <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4r18qHgL03QdeAepHa_A4vDA" class="cyc_term">USPersonByMedicalBenefitProvider</a>. type of language family Related groups of languages. LanguageFamilyType type of color classified by brightness ColorTypeByBrightness A collection of collections. Each instance is a spec of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rr19QJHStEdaAAACgyZzFrg" class="cyc_term">Color</a> whose instances all have a similar lightness, darkness, or brightness. compact disc generic type by writability A collection of collections. Each instance is a spec of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVkJAJwpEbGdrcN5Y29ycA" class="cyc_term">CompactDisc_Generic</a> whose instances are all of the same writability. CompactDisc-GenericTypeByWritability FoodGroup A specialization of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvubaMZwpEbGdrcN5Y29ycA" class="cyc_term">ConventionalClassificationType</a> and hence a collection of collections. Each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVidHJwpEbGdrcN5Y29ycA" class="cyc_term">FoodGroup</a> is a collection of foodstuffs classified according to their nutritional content. Instances of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVidHJwpEbGdrcN5Y29ycA" class="cyc_term">FoodGroup</a> include <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjM3ZwpEbGdrcN5Y29ycA" class="cyc_term">DairyProduct</a>, <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjMvZwpEbGdrcN5Y29ycA" class="cyc_term">CerealFood</a>, <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjmFpwpEbGdrcN5Y29ycA" class="cyc_term">FruitOrVegetableFood</a>, <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVi9zJwpEbGdrcN5Y29ycA" class="cyc_term">MeatOrLegumeFood</a>. type of food group singer type by voice pitch A collection of collections. Each instance is a spec of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjiz5wpEbGdrcN5Y29ycA" class="cyc_term">Singer</a> whose instances are all of the same voice pitch. SingerTypeByVoicePitch PublicSectorEmployeeTypeByPosition A collection of collections. Each instance is a spec of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjn95wpEbGdrcN5Y29ycA" class="cyc_term">PublicSectorEmployee</a> whose instances are all of the same position. public sector employee type by position MilitaryPersonTypeByService military person type by service A collection of collections. Each instance is a spec of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjvBZwpEbGdrcN5Y29ycA" class="cyc_term">MilitaryPerson</a> whose instances are all of the same service. TelevisionSetTypeByProjectionStyle A collection of collections. Each instance is a spec of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjIZpwpEbGdrcN5Y29ycA" class="cyc_term">TelevisionSet</a> whose instances are all of the same projection style. type of television set classified by projection style conventional organ system type ConventionalOrganSystemType A collection of specializations of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rCWM0QCtDEdyAAADggVbxzQ" class="cyc_term">OrganSystem</a>. Instances are the types of organ systems that are recognized as such by the classification conventions of biologists and anatomists. Examples thus include the cirulatory system (see <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjzG5wpEbGdrcN5Y29ycA" class="cyc_term">CirculatorySystem</a>), but exclude what might (from a biologist's perspective) appear to be arbitrary types of organ systems, such as the collection of all organ systems belonging to red-haired mammals nickaned "Gerry." An important specialization of this collection is <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rebz0KCvQEdyAAADggVbxzQ" class="cyc_term">OrganSystemTypeByFunction</a>. A collection of collections. Each instance is a spec of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVi_gpwpEbGdrcN5Y29ycA" class="cyc_term">Speaking</a> whose instances are all of the same loudness. SpeakingTypeByLoudness speaking type by loudness PersonTypeBySexualBehavior person type by sexual behavior A collection of collections. Each instance is a spec of (<a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVipPJwpEbGdrcN5Y29ycA" class="cyc_term">FrequentPerformerFn</a> <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwQwdOZwpEbGdrcN5Y29ycA" class="cyc_term">SexualBehavior</a>) whose instances are all of the same sexual behavior. UnitOfMeasureTypeByPrefix A collection of collections. Each instance is a spec of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViAqpwpEbGdrcN5Y29ycA" class="cyc_term">UnitOfMeasure</a> whose instances are all of the same prefix. type of unit of measure classified by prefix MammalianHairType type of hair A collection of collections. Each <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rgm0AhFtWQdiLLL4jmBPAEg" class="cyc_term">MammalianHairType</a> is the collection of bunches of mammal hair, as in an individual animal's coat, or a portion thereof, with some conventionally recognized property in common, such as color, texture, or length. WindProcessTypeByCompassFromDirection A collection of collections. Each instance is a spec of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjorZwpEbGdrcN5Y29ycA" class="cyc_term">WindProcess</a> whose instances all have the same direction of translation. wind process type by compass from direction A type of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViI_pwpEbGdrcN5Y29ycA" class="cyc_term">PredicateType</a>. The concept <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rjoiklt9SEdmAAAACs71DGQ" class="cyc_term">LinkGrammarLinkType</a> is a <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rk8dxOVcGEdaLwgACs0uFOQ" class="cyc_term">DisjointSetOrCollectionType</a>, a (<a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvrhK-JwpEbGdrcN5Y29ycA" class="cyc_term">CollectionUnionFn</a> (<a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjkdpwpEbGdrcN5Y29ycA" class="cyc_term">TheSet</a> <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rv1fLiZwpEbGdrcN5Y29ycA" class="cyc_term">FacetInstanceCollection</a> <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4r_4bScKNtQdiVw7XtX-HN0Q" class="cyc_term">ClarifyingCollectionType</a>)), a <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvubaMZwpEbGdrcN5Y29ycA" class="cyc_term">ConventionalClassificationType</a>, a <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rtGXkHpNaEdqAAAACs0uFOQ" class="cyc_term">KBDependentCollection</a>, and a <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4roVp5xVzKEdiLrQAH6RYvVA" class="cyc_term">NonAbducibleCollection</a>. link grammar link type LinkGrammarLinkType dwarf planet DwarfPlanet An instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvubaMZwpEbGdrcN5Y29ycA" class="cyc_term">ConventionalClassificationType</a> defined by the <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rZaS8rjO2EduAAAACs6hRXg" class="cyc_term">InternationalAstronomicalUnion</a> as the collection of celestial bodies such that each instance 1) orbits the sun (see <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjeIZwpEbGdrcN5Y29ycA" class="cyc_term">TheSun</a>), 2) has sufficient gravity to force it into having a round shape, 3) has not "cleared" the area around its orbit of other bodies, and 4) is not a satellite to another body (other than the sun). Contrast with <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rWIie-jN6EduAAADggVbxzQ" class="cyc_term">PlanetInTheSolarSystem</a>. relative surface level TerrainTypeBySurfaceLevel Instances of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rsToAdu0OQdeJiPmVIZ9JIw" class="cyc_term">TerrainTypeBySurfaceLevel</a> are collections that relate to military concepts about the surface level of a terrain. Instances include <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwHQ9cu0OQdeFY6cQCWHUBA" class="cyc_term">TerrainHighGround</a> and <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rxX6p7O0OQdeXqZjCrR0jsg" class="cyc_term">TerrainLowGround</a>. The surface level of a terrain is important for military tactical reasoning involving observation, mobility, cover, concealment, etc.. A collection of collections. Each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rRAO-ImwzQdeSc8bu7sTwIg" class="cyc_term">CBRNEAgentType</a> is a collection of instances of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViTkpwpEbGdrcN5Y29ycA" class="cyc_term">DangerousTangibleThing</a> that, by convention, is considered a type of potential military or terroristic threat. "CBRNE" stands for "Chemical, Biological, Radiological-Nuclear, and High Explosive [threat-types]. CBRNEAgentType CBRNE agent GLFGraphCoreComponentType GLF graph core component type AcademicYear academic year Each instance of this collection is an annually recurring occurrence comprising the planned yearly activities at an educational institution. Thus, things of the form StanfordAcademicYear1997 and UCLAAcademicYear1997 are distinct instances of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjxiJwpEbGdrcN5Y29ycA" class="cyc_term">AcademicYear</a>, even though they may occupy the same temporal extent (i.e., the same <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViAw5wpEbGdrcN5Y29ycA" class="cyc_term">TimeInterval</a>). scooter An instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvubaMZwpEbGdrcN5Y29ycA" class="cyc_term">ConventionalClassificationType</a>. Instances of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwQCdQJwpEbGdrcN5Y29ycA" class="cyc_term">Scooter</a> are pedal-less instances of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwOy_T5wpEbGdrcN5Y29ycA" class="cyc_term">MountableTransporter</a> that typically have two wheels and a low, flat area where the rider puts one or both feet. Scooter planet Planet A specialization of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwR7UWZwpEbGdrcN5Y29ycA" class="cyc_term">PlanetaryBody</a>. Each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjRL5wpEbGdrcN5Y29ycA" class="cyc_term">Planet</a> is a planet either in Earth's solar system or elsewhere in the universe. Instances of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjRL5wpEbGdrcN5Y29ycA" class="cyc_term">Planet</a> include <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVkL_pwpEbGdrcN5Y29ycA" class="cyc_term">PlanetEarth</a>, <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVkBSpwpEbGdrcN5Y29ycA" class="cyc_term">PlanetJupiter</a>, and <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjR-pwpEbGdrcN5Y29ycA" class="cyc_term">PlanetVenus</a>. TallShip tall ship Type of ship predominant until the late 19th Century, wooden-hulled and tall-masted, and powered by wind pushing against their sails. smooth-coated dachshund Dachshund-SmoothCoatedVariety <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVirIJwpEbGdrcN5Y29ycA" class="cyc_term">Ship</a> is a specialization of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjTcpwpEbGdrcN5Y29ycA" class="cyc_term">HumanlyOccupiedSpatialObject</a>, <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViUcpwpEbGdrcN5Y29ycA" class="cyc_term">PoweredDevice</a>, and <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvpniTJwpEbGdrcN5Y29ycA" class="cyc_term">Watercraft_Surface</a>. Each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVirIJwpEbGdrcN5Y29ycA" class="cyc_term">Ship</a> is a typically large and ocean-going vessel. Notable specializations of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVirIJwpEbGdrcN5Y29ycA" class="cyc_term">Ship</a> include <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjw85wpEbGdrcN5Y29ycA" class="cyc_term">ModernNavalShip</a>, <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwQCRkZwpEbGdrcN5Y29ycA" class="cyc_term">CargoShip</a>, and <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwQCIw5wpEbGdrcN5Y29ycA" class="cyc_term">OceanLiner</a>. ship Ship robe The collection of instances of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwPRr4ZwpEbGdrcN5Y29ycA" class="cyc_term">Gown</a> that typically have sleeves, and differs from <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwPRr4ZwpEbGdrcN5Y29ycA" class="cyc_term">Gown</a> primarily in that certain types of gowns -- specifically gowns that are also dresses (e.g., wedding gowns, formal ball gowns, etc.) -- are excluded. Robe SportsCourt Any area used to play sports that is also referred to as a "court" in English. sports court TerrainTypeByTacticalPotential terrain type by tactical potential ToyDog Toy dog A specialization of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjaoJwpEbGdrcN5Y29ycA" class="cyc_term">Dog</a>. Each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rT2xtan-1EdaAAAACs0uFOQ" class="cyc_term">ToyDog</a> is a member of a small breed of dogs or of a variety smaller than the standard variety of its breed. Examples include instances of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvcWpb5wpEbGdrcN5Y29ycA" class="cyc_term">ShihTzu</a> and <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjAz5wpEbGdrcN5Y29ycA" class="cyc_term">Chihuahua_Dog</a>. As a rule, <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rT2xtan-1EdaAAAACs0uFOQ" class="cyc_term">ToyDog</a> types were developed as companion animals, rather than hunting or sporting dogs. RiskArbitrage The collection of all risk arbitrage. A type of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rA9XaZE2mQdmTqJJLRKEDKg" class="cyc_term">Arbitrage</a>. <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rv9uMAPy9EdqAAAACs71DGQ" class="cyc_term">RiskArbitrage</a> is a <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvubaMZwpEbGdrcN5Y29ycA" class="cyc_term">ConventionalClassificationType</a>. risk arbitrage trimester A specialization of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rEoWnqmC9QdiX4oI85208gA" class="cyc_term">AcademicTerm</a>. Each instance of this collection is an occurrence consisting of the complex of scheduled activities taking place at an educational institution over a roughly 3-month long period. This is not a collection of pure time intervals: note that, for example, the 2003 summer trimester at the University of Wellington and at Otago University would be represented by distinct, though most likely temporally overlapping, instances. AcademicTrimester A specialization of both <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rIcwFloGUQdeMlsOWYLFB2w" class="cyc_term">HomoSapiens</a> and <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViQ-ZwpEbGdrcN5Y29ycA" class="cyc_term">FemaleAnimal</a>. The collection of all female humans. female person FemaleHuman The collection of all grants, which are specifications of how a particular allotment of money is to be used. A type of the union of { cooperative agreements, grants } and <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwSOkiZwpEbGdrcN5Y29ycA" class="cyc_term">EconomicAgreement</a>. The concept <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4ruolPJMdJEduAAADggVbxzQ" class="cyc_term">Grant</a> is an <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rmXDqMOdwEduAAADggVbxzQ" class="cyc_term">AwardInstrumentType</a>, a (<a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvrhK-JwpEbGdrcN5Y29ycA" class="cyc_term">CollectionUnionFn</a> (<a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjkdpwpEbGdrcN5Y29ycA" class="cyc_term">TheSet</a> <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rv1fLiZwpEbGdrcN5Y29ycA" class="cyc_term">FacetInstanceCollection</a> <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4r_4bScKNtQdiVw7XtX-HN0Q" class="cyc_term">ClarifyingCollectionType</a>)), and a <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvubaMZwpEbGdrcN5Y29ycA" class="cyc_term">ConventionalClassificationType</a>. grant Grant The collection of boats -- surface watercraft (see <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvpniTJwpEbGdrcN5Y29ycA" class="cyc_term">Watercraft_Surface</a>) consisting of a hull (see <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwQCLoJwpEbGdrcN5Y29ycA" class="cyc_term">Hull</a>) and with some (at least intended) method of propulsion, such as a mast-and-sail rigging, an attached motor, or (the in-prinicple availability of) oars or paddles. Boats are distinguished from instances of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVirIJwpEbGdrcN5Y29ycA" class="cyc_term">Ship</a> by size ("a boat can fit on a ship, but not vice versa," the saying goes) or convention (e.g., a sailing vessel with three or more masts is typically considered a ship, whereas one with fewer than three is considered a boat). boat Boat DisjointMedicalSituationType An instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViA4pwpEbGdrcN5Y29ycA" class="cyc_term">SiblingDisjointCollectionType</a>. This is the collection of medical situation types that are sibling disjoint with each other. Note: this collection should not include all surgical procedure types even those thought to be "natural" kinds because some procedure types share instances with others even though they don't stand in a genls relationship. E.g. <pre> (<a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwP1IC5wpEbGdrcN5Y29ycA" class="cyc_term">SubcollectionOfWithRelationToTypeFn</a> <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rQz_P4qWJEduAAAACs2IKfQ" class="cyc_term">HeartValveProcedure_Surgical</a> <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVi65pwpEbGdrcN5Y29ycA" class="cyc_term">objectActedOn</a> <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rv5914JwpEbGdrcN5Y29ycA" class="cyc_term">AorticValve</a>) is not a specialization of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rn6NLLA7REdyAAAATco72kA" class="cyc_term">HeartValveRepairOrReplacement</a> -- there are aortic valve procedures that are not repairs or replacements. but clearly the two collections are not disjoint. </pre> In cases like the example above, one should assert as instances of DisjointSurgicalProcedureType those collections which will give the greatest coverage without falsehood and assert individual disjointness assertions to cover any gaps. disjoint medical situation type planet in our solar system PlanetInTheSolarSystem An instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvubaMZwpEbGdrcN5Y29ycA" class="cyc_term">ConventionalClassificationType</a> defined by the <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rZaS8rjO2EduAAAACs6hRXg" class="cyc_term">InternationalAstronomicalUnion</a> as the collection of celestial bodies such that each instance 1) orbits the sun (see <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjeIZwpEbGdrcN5Y29ycA" class="cyc_term">TheSun</a>), 2) has sufficient gravity to force it into having a round shape, and 3) has "cleared" the area around its orbit of other bodies. Contrast with <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rovL84jN6EduAAADggVbxzQ" class="cyc_term">DwarfPlanet</a>. UnitOfConcentration unit of concentration A specialization of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViAqpwpEbGdrcN5Y29ycA" class="cyc_term">UnitOfMeasure</a>. Each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvWdUo5wpEbGdrcN5Y29ycA" class="cyc_term">UnitOfConcentration</a> is a function which returns an instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViXtZwpEbGdrcN5Y29ycA" class="cyc_term">ConcentrationStrength</a> (q.v.) when applied to a real number (see the collection <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVkIbJwpEbGdrcN5Y29ycA" class="cyc_term">SubLRealNumber</a>) or a sequence of two real numbers. For instance, (<a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvWfgrZwpEbGdrcN5Y29ycA" class="cyc_term">GramsPerMilliliter</a> 1) is a concentration of 1 gram per milliliter. Instances of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvWdUo5wpEbGdrcN5Y29ycA" class="cyc_term">UnitOfConcentration</a> include <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvWfgrZwpEbGdrcN5Y29ycA" class="cyc_term">GramsPerMilliliter</a>, <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvWWfepwpEbGdrcN5Y29ycA" class="cyc_term">MilligramsPerMilliliter</a>, and <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvV1vH5wpEbGdrcN5Y29ycA" class="cyc_term">MicrogramsPerMilliliter</a>. Collie-SmoothCoatedVariety smooth-coated collie blood type by rh factor BloodTypeByRhFactor The collection of blood types by presence or absence of Rh Factor. Its two instances are <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwP1OQpwpEbGdrcN5Y29ycA" class="cyc_term">RhPositive</a> & <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwHsVKpwpEbGdrcN5Y29ycA" class="cyc_term">RhNegative</a>. Chihuahua-LongCoatVariety long haired chihuahua risk free arbitrage RiskFreeArbitrage The collection of all risk free arbitrage. A type of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rA9XaZE2mQdmTqJJLRKEDKg" class="cyc_term">Arbitrage</a>. <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rMQNv_vy7EdqAAAACs71DGQ" class="cyc_term">RiskFreeArbitrage</a> is a <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvubaMZwpEbGdrcN5Y29ycA" class="cyc_term">ConventionalClassificationType</a>. Instances of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4r3x2VZu0OQdeBJLD1ikWTbA" class="cyc_term">MilitarySupplementaryTerrainType</a> are types of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjOh5wpEbGdrcN5Y29ycA" class="cyc_term">LandTopographicalFeature</a>s that are explicitly defined in military documentation as 'supplementary terrain features.' These are: Cut and Fill. supplementary terrain type MilitarySupplementaryTerrainType opportunistic pathogen A collection of collections. Each instance is a collection of microorganisms (typically a species or genus) that typically poses little threat to healthy humans, but which can cause infections in humans with a compromised immune system. OpportunisticHumanPathogenType A collection of collections. Each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rv6WBtZwpEbGdrcN5Y29ycA" class="cyc_term">DiseaseType</a> is a subcollection of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwQwYVpwpEbGdrcN5Y29ycA" class="cyc_term">AilmentCondition</a> that is normally classified as a type of disease. DiseaseType disease A specialization of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rEoWnqmC9QdiX4oI85208gA" class="cyc_term">AcademicTerm</a>. Each instance of this collection is an occurrence consisting of the complex of scheduled activities taking place at an educational institution over a roughly 4-month long period. This is not a collection of pure time intervals: note that, for example, the 2003 spring semesters at Boston University and at the University of Texas, Austin are represented by distinct, though of course temporally overlapping, instances. AcademicSemester semester WorkingDog-FunctionalGroup Working dog A collection of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjaoJwpEbGdrcN5Y29ycA" class="cyc_term">Dog</a>s who are, or whose ancestors were, developed to perform tasks other than <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVi7lJwpEbGdrcN5Y29ycA" class="cyc_term">Hunting</a>. Examples of such activities may include service to those with sensory or motor disabilties, tracking, rescue work, police, military, and protection work, livestock guarding, and drafting. BloodTypeByABO The collection of blood types by presence of A or B antigen. There are four such types - A, B, O, AB. blood type by ABO wire haired dachshund Dachshund-WirehairedVariety standard schnauzer StandardSchnauzer A collection of medium-sized dogs. Their coats are usually pepper and salt or pure black. English Toy spaniel (PC&B) EnglishToySpaniel-PrinceCharlesAndBlenheimVariety FirstLady first lady An instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvubaMZwpEbGdrcN5Y29ycA" class="cyc_term">ConventionalClassificationType</a> and specialization of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rbqdVPHTAEdaAAACgyZzFrg" class="cyc_term">Married</a>. This is the collection of instances of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVix8ZwpEbGdrcN5Y29ycA" class="cyc_term">AdultFemaleHuman</a> who, by virtue of being married to a sitting head of state or head of government, are referred to as the "first lady" of the relevant polity. A collection of subcollections of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rX4eI_tWhEdyAAADggVbxzQ" class="cyc_term">EcologicalRegion_Administered</a>. Each instance is a type of region, instances of which are 1) of a common biome type (see <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwNQuD5wpEbGdrcN5Y29ycA" class="cyc_term">BiomeType</a>), and 2) administered at a national level by the USDA Forest Service. This collection has four instances: (<a href="http://sw.opencyc.org/2008/06/10/concept/Mx4r2jIFeMjtEduAAADggVbxzQ" class="cyc_term">NationalForestsInFn</a> <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVikKpwpEbGdrcN5Y29ycA" class="cyc_term">UnitedStatesOfAmerica</a>) <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rTvK0btWmEdyAAADggVbxzQ" class="cyc_term">USNationalForestDistrict</a>, <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rohNI5NaaEdyAAADggVbxzQ" class="cyc_term">USNationalGrassland</a>, and <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rZY4G1NaaEdyAAADggVbxzQ" class="cyc_term">USNationalGrasslandDistrict</a>. UnitedStatesAdministeredEcoRegionType united states administered eco region type The collection of blood types - A, B, O, AB, positive or negative Rh factor, and combinations thereof (e.g. AB-). BloodType blood type A collection of dogs. <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjaoJwpEbGdrcN5Y29ycA" class="cyc_term">Dog</a>s in the <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rZRMj6FzWQdiW3cCAKHiBUw" class="cyc_term">NonSportingDog_FunctionalGroup</a> have ancestry not specifically related to the main functional types of dog. It is something of a leftovers category, and includes a wide variety of dogs whose breeds are recognized, but are determined by a relevant standards organization not to meet the criteria of the other instances of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rHebq5FkIQdiIHKh6CwR5BA" class="cyc_term">DogTypeByFunctionalGroup</a> recognized by that organization. Non-Sporting dog NonSportingDog-FunctionalGroup A specializaton of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvrbYX5wpEbGdrcN5Y29ycA" class="cyc_term">WeaponBasisType</a>. Instances of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rWTYXQsIDQdeTNaTxGMSusw" class="cyc_term">RadiologicalAgentType</a> are specializations of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvgEFjZwpEbGdrcN5Y29ycA" class="cyc_term">RadioactiveStuff</a> with a unique atomic structure. Something is considered a radiological agent by convention. Typically, a type of radioactive substance will be included if it is considered to be a viable basis for a radiological weapon, or has been used as such. radiological warfare agent RadiologicalAgentType FirstGentleman An instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvubaMZwpEbGdrcN5Y29ycA" class="cyc_term">ConventionalClassificationType</a> and specialization of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rbqdVPHTAEdaAAACgyZzFrg" class="cyc_term">Married</a>. This is the collection of instances of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViyfpwpEbGdrcN5Y29ycA" class="cyc_term">AdultMaleHuman</a> who, by virtue of being married to a sitting head of state or head of government, are referred to as the "first gentleman" of the relevant polity. first gentleman A collection of dogs. <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjaoJwpEbGdrcN5Y29ycA" class="cyc_term">Dog</a>s in the <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rX4GjmFztQdiGGMvSAnL6xg" class="cyc_term">MiscellaneousClassDog_FunctionalGroup</a> may also have ancestry related to the main functional types of dog. However, these dogs are assigned to the <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rX4GjmFztQdiGGMvSAnL6xg" class="cyc_term">MiscellaneousClassDog_FunctionalGroup</a> by a standards organization if that organization determines that ancestry to be insufficiently deep or stable for regular classification. Stability may be evidenced in form of a sufficient breadth and depth of public interest and active breed-specific organization. The <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rX4GjmFztQdiGGMvSAnL6xg" class="cyc_term">MiscellaneousClassDog_FunctionalGroup</a> is really something of a probationary classification. <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjaoJwpEbGdrcN5Y29ycA" class="cyc_term">Dog</a> types that are specializations of this group may be re-classified to aonther <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rHebq5FkIQdiIHKh6CwR5BA" class="cyc_term">DogTypeByFunctionalGroup</a> at a later time. Miscellaneous dog MiscellaneousClassDog-FunctionalGroup A collection of medium-sized dogs. German Pointer GermanPointer-Wirehaired White Bull terrier A collection of medium-sized, white dogs. Terrier-WhiteBull blood type by ABO and rh factor The collection of blood types by presence of A or B antigen and presence or absence of Rh Factor. BloodTypeByABOAndRhFactor Dachshund-LonghairedVariety long haired dachshund Cocker spaniel - A.S.C.O.B CockerSpaniel-AnySolidColorOtherThanBlackVariety EfficaciousSubstanceTypeByComposition An instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rHQdVmB_TEdaAAABQ2rksLw" class="cyc_term">SecondOrderCollection</a>. Instances are specializations of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVj27ZwpEbGdrcN5Y29ycA" class="cyc_term">PartiallyTangible</a> whose instances share a unique physical composition (such as a chemical formula or a genome), and are widely recognized as having the ability to affect observable change on the physical world, particularly in organisms or on other substances. Though this collection is not a specialization of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVny6pwpEbGdrcN5Y29ycA" class="cyc_term">ExistingStuffType</a>, instances are nevertheless "substances" in the sense that, in the everyday experience of humans, instances of these collections will typically be observed as "clumped together" in stuff-like samples (see <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwP1_U5wpEbGdrcN5Y29ycA" class="cyc_term">MobFn</a> and <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwBhyv5wpEbGdrcN5Y29ycA" class="cyc_term">ChemicalSubstanceFn</a> for functions that take an instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvWXYgJwpEbGdrcN5Y29ycA" class="cyc_term">ExistingObjectType</a> and return the collection of stuff-like samples of that type). Examples include paint thinner, anthrax, and the active ingredient-types in many types of medicines (see <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwP1OWpwpEbGdrcN5Y29ycA" class="cyc_term">PharmaceuticalType</a>). Negative examples include chemicals typically considered inert, such as water, and drug "cocktails" the efficacy of which is merely a reflection of the efficacious substance-types they contain. substance type with known causal properties smooth coated chihuahua Chihuahua-SmoothCoatVariety CommodityProduct Commodities are those products for which the only relevant data are the quantity and the price (and possibly the location). That is, their quality is completely specified or describable in standardized terminology. Thus, fashion clothing is not a commodity, since opinions on it vary, whereas grade A extra large eggs are. The collection of all eggs is covered by various collections that are commodities, but is not itself an instance of commodity. commodity A collection of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjaoJwpEbGdrcN5Y29ycA" class="cyc_term">Dog</a>s. Instances of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rZnyKYlzWQdiBzcFyIG7P8w" class="cyc_term">HerdingDog_FunctionalGroup</a> are dogs who are, or whose ancestors were, developed to herd livestock. Herding dog HerdingDog-FunctionalGroup CockerSpaniel-BlackVariety Black Cocker spaniel AcademicQuarter A specialization of AcademicTerm. Each instance of this collection is an occurrence consisting of the complex of scheduled activities taking place at an educational institution over a roughly 3-month long period: one quarter of their AcademicYear. This is not a collection of pure time intervals: note that, for example, the 2003 spring quarters at Stanford University and at UCLA would be represented by distinct, though of course temporally overlapping, instances. academic quarter The collection of all instances of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvkmKO5wpEbGdrcN5Y29ycA" class="cyc_term">LoanAgreement</a> that essentially involve real estate, whether as collateral (e.g., as in a home equity loan or a mortgage) or as an object towards which the money loaned is used (e.g., as in aconstruction loan or a home improvement loan. loan related to real estate RealEstateLoan MinorityPerson minority status attribute The collection of people who are members of an ethnic group which is considered a minority group in the country in which they reside. This means that there is some other ethnic group in that country which the person is not in, which has more people than the person's ethnic group and is not considerd a minority ethnicity. A <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvubaMZwpEbGdrcN5Y29ycA" class="cyc_term">ConventionalClassificationType</a> and a specialization of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViI4pwpEbGdrcN5Y29ycA" class="cyc_term">InterconvertibleUnitType</a> (q.v.). Each <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjU7JwpEbGdrcN5Y29ycA" class="cyc_term">FundamentalUnitType</a> is a collection of interconvertible <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViAqpwpEbGdrcN5Y29ycA" class="cyc_term">UnitOfMeasure</a>s (q.v.) that is taken to be basic in the sense that it not analyzable in terms of other unit-types (see <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rSIfmvMlNQdiAqJnPMTSrqQ" class="cyc_term">unitTypeDimensionalAnalysis</a>). Thus, the instances of a fundamental unit-type are not defined in terms of other units (see <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rI5okisSuQdibkK3WWrw7GA" class="cyc_term">unitDefinition</a>s). Other, "derived" unit-types are analyzible into fundamental unit-types. For example, <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViKt5wpEbGdrcN5Y29ycA" class="cyc_term">UnitOfDistance</a> and <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVj5xZwpEbGdrcN5Y29ycA" class="cyc_term">UnitOfTime</a> are standardly taken to be fundamental unit-types, but <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvd-twpwpEbGdrcN5Y29ycA" class="cyc_term">UnitOfSpeed</a> (which is analyzable in terms of them) is not. Note that it is a matter of convention which unit-types are considered to be fundamental. It is possible to have a system wherein, e.g., speed and time are fundamental and distance is derived from them. The unit-types that are standardly taken to be fundamental in modern science were chosen because they are the easiest to measure. FundamentalUnitType fundamental unit type A billing scheme in which charges are computed based on some unit of time. This applies to car rentals, long-distance telephone service, etc. per unit time PerUnitTime male person The collection of all male instances of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rIcwFloGUQdeMlsOWYLFB2w" class="cyc_term">HomoSapiens</a>. MaleHuman section A specialization of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjxrpwpEbGdrcN5Y29ycA" class="cyc_term">ModernMilitaryOrganization</a>. Each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvbesGZwpEbGdrcN5Y29ycA" class="cyc_term">Section_MilitaryOrganization</a> is a tactial military unit of a size that puts it in-between two standard echelons (see <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwPlCtpwpEbGdrcN5Y29ycA" class="cyc_term">MilitaryUnitTypeByEchelon</a>). Different branches of military service consider different sorts of units to be "sections". For example, in the <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjyd5wpEbGdrcN5Y29ycA" class="cyc_term">UnitedStatesArmy</a> and <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwP389JwpEbGdrcN5Y29ycA" class="cyc_term">UnitedStatesMarineCorps</a>, a section is a unit that is smaller than (and is a <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVi_v5wpEbGdrcN5Y29ycA" class="cyc_term">subOrganizations</a> of) a <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvfgfCJwpEbGdrcN5Y29ycA" class="cyc_term">Platoon_MilitaryEchelon</a> and larger than a (and has as a sub-oganization at least one) <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rB5uhzjt6EdaAAACgye-oRQ" class="cyc_term">Squad_MilitaryEchelon</a>. In the <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjxdJwpEbGdrcN5Y29ycA" class="cyc_term">UnitedStatesNavy</a>, a section of ships is one-half of a <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rMNnCADt6EdaAAACgye-oRQ" class="cyc_term">Division_MilitaryEchelon</a>, and a section of aircraft consists of two aircraft. Section-MilitaryOrganization EnglishToySpaniel-KingCharlesAndRubyVariety English Toy spaniel (KC&R) Collie-RoughCoatedVariety rough-coated collie common forest problem CommonForestProblem The collection of all common problems with managed forests, i.e. things that forest managers worry about. Colored Bull Terrier Terrier-ColoredBull parti-colored cocker spaniel CockerSpaniel-PartiColorVariety Instances of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4r2S1A6O0OQdeCavWnBL26ww" class="cyc_term">MilitaryMajorTerrainType</a> are types of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjOh5wpEbGdrcN5Y29ycA" class="cyc_term">LandTopographicalFeature</a>s that are explicitly defined in military documentation as 'major terrain features.' These are: <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvgEUypwpEbGdrcN5Y29ycA" class="cyc_term">Hill</a>, Saddle, <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVkKGZwpEbGdrcN5Y29ycA" class="cyc_term">Valley</a>, Ridge and Depression. MilitaryMajorTerrainType major terrain type determining a mean DeterminingAMean A specialization of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rw6u8FA5dEdqAAAACs71DGQ" class="cyc_term">DeterminingACentralTendencyAmongASetOfValues</a>. Instances are any of various problem-solving activities that are conventionally described as determining a "mean." Notable specializations include <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rNS6_GA3WEdqAAAACs71DGQ" class="cyc_term">DeterminingAnArithmeticMean</a> (often described simply as determining a "mean") and <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4ribOhGg6fEdqAAAACs71DGQ" class="cyc_term">DeterminingAGeometricMean</a>. minor terrain type Instances of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4r3DIuwO0OQdeFmbzex52KAQ" class="cyc_term">MilitaryMinorTerrainType</a> are types of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjOh5wpEbGdrcN5Y29ycA" class="cyc_term">LandTopographicalFeature</a>s that are explicitly defined in military documentation as 'minor terrain features.' These are: Draw, Spur and <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjU5pwpEbGdrcN5Y29ycA" class="cyc_term">Cliff</a>. MilitaryMinorTerrainType A collection of collections. Each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvubaMZwpEbGdrcN5Y29ycA" class="cyc_term">ConventionalClassificationType</a> is a collection that corresponds to a category in some agreed-upon or conventional classification system (see <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwNgIyZwpEbGdrcN5Y29ycA" class="cyc_term">ClassificationSystem</a>) used by people. In such systems, a change or reclassification is possible by a decision of an authority, or by a changed social agreement or custom, without changing the intrinsic natures of the actual objects in the category. <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvubaMZwpEbGdrcN5Y29ycA" class="cyc_term">ConventionalClassificationType</a>s include categories in biological taxonomy, standard classifications in data dictionaries and thesauri, cultural taboo classes, military doctrinal classes, and named calendar intervals. ConventionalClassificationType conventional classification type A collection of collections. Each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvubaMZwpEbGdrcN5Y29ycA" class="cyc_term">ConventionalClassificationType</a> is a collection that corresponds to a category in some agreed-upon or conventional classification system (see <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwNgIyZwpEbGdrcN5Y29ycA" class="cyc_term">ClassificationSystem</a>) used by people. In such systems, a change or reclassification is possible by a decision of an authority, or by a changed social agreement or custom, without changing the intrinsic natures of the actual objects in the category. <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvubaMZwpEbGdrcN5Y29ycA" class="cyc_term">ConventionalClassificationType</a>s include categories in biological taxonomy, standard classifications in data dictionaries and thesauri, cultural taboo classes, military doctrinal classes, and named calendar intervals. ConventionalClassificationType conventional classification type candidate KB completeness node CandidateKBCompletenessNode InformationAndCWs-Topic information and CWs topic Pretty String (<a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwLSVCpwpEbGdrcN5Y29ycA" class="cyc_term">prettyString</a> TERM STRING) means that STRING is the English word or expression (sequence of words) commonly used to refer to TERM. The predicate <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwLSVCpwpEbGdrcN5Y29ycA" class="cyc_term">prettyString</a> is used by the code which generates CycL to English paraphrases, but its applicability is not restricted to this use. prettyString type of thing Collection A specialization of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjl_ZwpEbGdrcN5Y29ycA" class="cyc_term">SetOrCollection</a> (q.v.). This is the collection of all collections of things. Each <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViAzJwpEbGdrcN5Y29ycA" class="cyc_term">Collection</a> is a kind or type of thing whose instances share a certain property, attribute, or feature. For example, <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVkFc5wpEbGdrcN5Y29ycA" class="cyc_term">Cat</a> is the collection of all and only cats, and <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwOckfJwpEbGdrcN5Y29ycA" class="cyc_term">BinaryFunction</a> is the collection of all and only functions taking two arguments. The notion of collection is fundamental to the Cyc ontology, and is thus difficult to define in a precise and substantive way. But it is instructive to compare it to the mathematical notion of a set (see <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvl2en5wpEbGdrcN5Y29ycA" class="cyc_term">Set_Mathematical</a>). Like a set, a collection is an <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rpJ-nSEkJQdeC8NLkYPDBBw" class="cyc_term">AbstractThing</a> (i.e. aspatial and atemporal) that is not an <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjaApwpEbGdrcN5Y29ycA" class="cyc_term">Individual</a> (cf.), but instead has elements (see <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwGWaK5wpEbGdrcN5Y29ycA" class="cyc_term">elementOf</a>). Unlike a set, however, the elements or "instances" (see <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViBBJwpEbGdrcN5Y29ycA" class="cyc_term">isa</a>) of a given collection can vary from context to context, and it is possible for distinct collections to have exactly the same elements (i.e. to have the same <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwN2YGZwpEbGdrcN5Y29ycA" class="cyc_term">extent</a>) with respect to a given context. For example, the (non-reified) collections "Chordate" and "Renate" are co-extensional in the context of the present-day actual world, but have differring extents with respect to hypothetical contexts in which there exist creatures having hearts but not kidneys. This difference is sometimes summarized by saying that sets are "extensional" things and collections are "intensional" things. Many, though by no means all, of the collections reified in the Cyc ontology correspond to natural kinds or classes. It is particulary useful to reify collections that are difficult to define precisely, but about which there are many common-sense rules and other things to state. For example, it would not be worthwile to introduce a constant 'WhiteCat', both because it's easy to define the collection of white cats in terms of more general, already-reified notions (e.g. '(<a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwEcGC5wpEbGdrcN5Y29ycA" class="cyc_term">CollectionIntersection2Fn</a> <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVkFc5wpEbGdrcN5Y29ycA" class="cyc_term">Cat</a> <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rBjWwGHS-EdaAAACgyZzFrg" class="cyc_term">WhiteColor</a>)'), and because there's not much to say about that particular collection. <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rsX6vHnS6EdaAAACgyZzFrg" class="cyc_term">WhiteCollarWorker</a>, on the other hand, is a good collection to have reified, as it is hard to define precisely, yet is a collection about which there are many things to say. Some of the many reified specializations of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViAzJwpEbGdrcN5Y29ycA" class="cyc_term">Collection</a> are <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rHIBS0h_TEdaAAABQ2rksLw" class="cyc_term">FirstOrderCollection</a>, <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwIE23ZwpEbGdrcN5Y29ycA" class="cyc_term">TimeDependentCollection</a>, and <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVirnZwpEbGdrcN5Y29ycA" class="cyc_term">ObjectType</a>. VariedOrderCollection A <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvtppU5wpEbGdrcN5Y29ycA" class="cyc_term">CollectionType</a> and the collection of all and only those <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViAzJwpEbGdrcN5Y29ycA" class="cyc_term">Collection</a>s some of whose instances (or instances of instances, or instances of instances of instances, etc.) are of different "orders", where order is understood as follows. Let <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjaApwpEbGdrcN5Y29ycA" class="cyc_term">Individual</a>s be "zeroth-order" things, collections of (only) <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjaApwpEbGdrcN5Y29ycA" class="cyc_term">Individual</a>s "first-order", ..., and collections of (only) Nth-order things "(N+1)th-order". A more precise, recursive definition, then, is: a collection COL is an instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rNs-F0CChEdaAAABQ2rksLw" class="cyc_term">VariedOrderCollection</a> if and only if COL has instances INST1 and INST2 such that either (i) INST1 and INST2 are of two different fixed orders N1 and N2, (ii) INST1 is of the fixed order N1 and INST2 is a varied-order collection, or (iii) INST1 and INST2 are both varied-order collections. For example, <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rpJ-nSEkJQdeC8NLkYPDBBw" class="cyc_term">AbstractThing</a> is a varied-order collection since it contains both (zeroth-order) abstract individuals and (higher-order) collections. Other instances of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rNs-F0CChEdaAAABQ2rksLw" class="cyc_term">VariedOrderCollection</a> include <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjjo5wpEbGdrcN5Y29ycA" class="cyc_term">Intangible</a>, <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViAzJwpEbGdrcN5Y29ycA" class="cyc_term">Collection</a>, <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvtppU5wpEbGdrcN5Y29ycA" class="cyc_term">CollectionType</a>, and <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViA9JwpEbGdrcN5Y29ycA" class="cyc_term">Thing</a>. Note that (by clauses ii and iii) any generalization of a varied-order collection is varied-order; and (by clause iii) any (non-empty) specialization of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rNs-F0CChEdaAAABQ2rksLw" class="cyc_term">VariedOrderCollection</a> is varied-order. Note that <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rNooX_CChEdaAAABQ2rksLw" class="cyc_term">FixedOrderCollection</a> (q.v.) and <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rNs-F0CChEdaAAABQ2rksLw" class="cyc_term">VariedOrderCollection</a> do _not_ constitute a partition of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViAzJwpEbGdrcN5Y29ycA" class="cyc_term">Collection</a>: since the notion of order described above is not applicable to sets, <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvl2en5wpEbGdrcN5Y29ycA" class="cyc_term">Set_Mathematical</a> (e.g.) and its specializations are neither fixed-order nor varied-order collections. variable-order Cyc collection A collection of collections. Each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvubaMZwpEbGdrcN5Y29ycA" class="cyc_term">ConventionalClassificationType</a> is a collection that corresponds to a category in some agreed-upon or conventional classification system (see <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwNgIyZwpEbGdrcN5Y29ycA" class="cyc_term">ClassificationSystem</a>) used by people. In such systems, a change or reclassification is possible by a decision of an authority, or by a changed social agreement or custom, without changing the intrinsic natures of the actual objects in the category. <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvubaMZwpEbGdrcN5Y29ycA" class="cyc_term">ConventionalClassificationType</a>s include categories in biological taxonomy, standard classifications in data dictionaries and thesauri, cultural taboo classes, military doctrinal classes, and named calendar intervals. ConventionalClassificationType conventional classification type A collection of collections of collections. <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvtppU5wpEbGdrcN5Y29ycA" class="cyc_term">CollectionType</a> is the collection of all (and only) types of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViAzJwpEbGdrcN5Y29ycA" class="cyc_term">Collection</a>s. More precisely, a thing COLLTYPE is an instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvtppU5wpEbGdrcN5Y29ycA" class="cyc_term">CollectionType</a> if and only if COLLTYPE is a non-empty collection all of whose instances are collections. Example: <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwPzQbJwpEbGdrcN5Y29ycA" class="cyc_term">PersonTypeByCulture</a>, each of whose instances is the collection of all persons who participate in some particular human culture, is an instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvtppU5wpEbGdrcN5Y29ycA" class="cyc_term">CollectionType</a>. Important specializations of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvtppU5wpEbGdrcN5Y29ycA" class="cyc_term">CollectionType</a> include <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvWPoRpwpEbGdrcN5Y29ycA" class="cyc_term">DisjointCollectionType</a>, <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViA4pwpEbGdrcN5Y29ycA" class="cyc_term">SiblingDisjointCollectionType</a>, and <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rviPYH5wpEbGdrcN5Y29ycA" class="cyc_term">CollectionTypeType</a>. CollectionType type of collection