]> 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/Mx4rkBjx4Dg4EdaAAACgye4oEQ" class="cyc_term">CollectionWithAnEventLikeOrder</a> is a collection whose instances are conventionally regarded as being ordered by some relation <code>RELN</code>, where <code>RELN</code> orders the members of <code>COL</code> in the manner in which events are ordered in linear time. More precisely, a collection is an instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rkBjx4Dg4EdaAAACgye4oEQ" class="cyc_term">CollectionWithAnEventLikeOrder</a> just in case its instances are conventially regarded as being ordered by a relation <code>RELN</code> such that the <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvztTgpwpEbGdrcN5Y29ycA" class="cyc_term">MathematicalOrdering</a> whose <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvlGiF5wpEbGdrcN5Y29ycA" class="cyc_term">baseSet</a> is <code>COL</code>, and whose <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwEFqoJwpEbGdrcN5Y29ycA" class="cyc_term">orderingRelation</a> is <code>RELN</code>, is an instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rHgPKvG6XQdeNVbS28NXHtw" class="cyc_term">EventLikeOrdering</a> (q.v.). For example, the instances of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViAmpwpEbGdrcN5Y29ycA" class="cyc_term">Distance</a> are conventionally regarded as being ordered by the relation greater than, and this ordering is event-like. So <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViAmpwpEbGdrcN5Y29ycA" class="cyc_term">Distance</a> is a collection with an event-like order. collection with an event-like order CollectionWithAnEventLikeOrder collections with an event-like order TotallyOrderedCollection A collection of collections and a specialization of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rkBjx4Dg4EdaAAACgye4oEQ" class="cyc_term">CollectionWithAnEventLikeOrder</a> (q.v.). Each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rsY6gaGxxQdefg9tLUtQ-BQ" class="cyc_term">TotallyOrderedCollection</a> is a collection whose instances are conventionally regarded as being ordered by some relation <code>RELN</code>, where <code>RELN</code> totally orders <code>COL</code>. A relation <code>RELN</code> totally orders a collection <code>COL</code> just in case <code>RELN</code> is reflexive, antisymmetric, and transitive on <code>COL</code>, and <code>COL</code> is connected with respect to <code>RELN</code> (i.e. for any instances <code>INST1</code> and <code>INST2</code> of <code>COL</code>, either <code>(RELN INST1 INST2)</code> or <code>(RELN INST2 INST1)</code> holds). For example, the integers are conventionally regarded as being ordered by <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViAr5wpEbGdrcN5Y29ycA" class="cyc_term">greaterThanOrEqualTo</a>, which totally orders <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVieEpwpEbGdrcN5Y29ycA" class="cyc_term">Integer</a>. Thus <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVieEpwpEbGdrcN5Y29ycA" class="cyc_term">Integer</a> is an instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rsY6gaGxxQdefg9tLUtQ-BQ" class="cyc_term">TotallyOrderedCollection</a>, and (since all integers are scalars) of its specialization <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4r91ZApkTvEdaAAACgye4oEQ" class="cyc_term">TotallyOrderedScalarIntervalType</a> (q.v.). totally ordered collection ElementaryLevel elementary level The collection of all persons who have achieved elementary-school level education. The collection <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rVYHC0HS8EdaAAACgyZzFrg" class="cyc_term">ElementaryLevel</a> is a <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rGC-qsHSxEdaAAACgyZzFrg" class="cyc_term">PersonTypeByEducationLevel</a>. level of cover from direct fire A collection of collections of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViACZwpEbGdrcN5Y29ycA" class="cyc_term">GeographicalRegion</a>s. Each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rhZC2znSuEdaAAACgyZzFrg" class="cyc_term">RegionTypeByCoverFromDirectFire</a> is a type of region characterized by a certain level of protection afforded from <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvkE7RZwpEbGdrcN5Y29ycA" class="cyc_term">DirectFireWeapon</a>s. Often, terrain features such as canopy closure, roof coverage, or slope will determine this level for a given region. See also <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvPiH7okTEdaAAACQJ5pcGA" class="cyc_term">RegionTypeByCoverFromIndirectFire</a>. RegionTypeByCoverFromDirectFire junior high level JuniorHighLevel The collection of all persons who have achieved junior high level education. A type of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rU6T5LnTAEdaAAACgyZzFrg" class="cyc_term">SecondarySchoolLevel</a>. The collection <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4r37kJFnS5EdaAAACgyZzFrg" class="cyc_term">JuniorHighLevel</a> is a <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rGC-qsHSxEdaAAACgyZzFrg" class="cyc_term">PersonTypeByEducationLevel</a>. object type by light intensity A specialization of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rPckdtHSyEdaAAACgyZzFrg" class="cyc_term">ObjectTypeBySensibleFeature</a>. Each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rritX_HStEdaAAACgyZzFrg" class="cyc_term">ObjectTypeByLightIntensity</a> is a characterization of how brightly illuminated an Object is. The light intensity of an object is indicated with the predicate <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rsIHJqH7_EdaAAAABAjVgzA" class="cyc_term">illuminationLevel</a> (q.v.). ObjectTypeByLightIntensity UndergraduateLevel undergraduate level The collection of all persons who have acheived an undergraduate level of education. A type of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4r_0fzup0fQdiYa_OT4YKKXw" class="cyc_term">LiterateAgent</a> and <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rIcwFloGUQdeMlsOWYLFB2w" class="cyc_term">HomoSapiens</a>. The collection <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rsr9zwnS6EdaAAACgyZzFrg" class="cyc_term">UndergraduateLevel</a> is a <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rGC-qsHSxEdaAAACgyZzFrg" class="cyc_term">PersonTypeByEducationLevel</a>. BioDeteriorationResistance bio deterioration resistance GeographicalPlaceByNGAImportanceLevel A <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvhOImJwpEbGdrcN5Y29ycA" class="cyc_term">typeGenls</a> of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rq1nU_oEgQdmLwqEN7EWrNw" class="cyc_term">GeographicalPlace</a> whose instances are types of populated places which can be ordered by their relative importance according to the <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4r2BVDalQ1QdmU4tpey1AgGA" class="cyc_term">NationalGeospatialIntelligenceAgency_US</a> (NGA). The NGA ranks certain populated places on a scale from 1 to 5, with 1 corresponding to places of extreme importance, and 5 to places of negligible importance. Currently (03/21/2006) the NGA's criteria for determining relative importance of a place is unknown. geographical place by NGA importance level PersonTypeByEducationLevel type of person classified by education level A collection of collections. Each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjCBpwpEbGdrcN5Y29ycA" class="cyc_term">PersonTypeBySocialClass</a> is a collection of people who share a social class, as determined by their general lifestyle, quality of life, and relative access to the (material and security oriented) desiderata of life. It may depend on a cultural non-material system of social rank, based on birth, office, manners, vocal accent or other factors. Instances of this collection include <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVigQ5wpEbGdrcN5Y29ycA" class="cyc_term">LowerMiddleClass</a>, <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVigxpwpEbGdrcN5Y29ycA" class="cyc_term">UpperClass</a>, etc. PersonTypeBySocialClass socio-economic class physiological condition type by degree of severity PhysiologicalConditionTypeByDegreeOfSeverity A specialization of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwQwW_pwpEbGdrcN5Y29ycA" class="cyc_term">PhysiologicalConditionType</a>. Each instance of this collection is a collection of physiological conditions with a particular degree of severity (e.g., mild, moderate, or severe). Note that although moderate cancer might be more threatening to general heaalth than a severe cold, it is still (according to the notion of "severity" at hand) correct to say of someone with moderate cancer and a severe cold, "His cold is more severe than his cancer, but of course he's more worried about his cancer because it is cancer, after all." There may be another notion of "physiological condition type by degree of severity" in terms of which cancer (no matter how severe), for example, is always more severe than nasal congestion (no matter how severe), but this is not that notion. HumanTypeByCupSize cup size A collection of collections. Each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rGVNYOnczQdeT9uAkPyROIQ" class="cyc_term">HumanTypeByCupSize</a> is a collection of people who have the same female breast cup size. For instance, <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rBf0kBnS9EdaAAACgyZzFrg" class="cyc_term">CupSize_C</a> is the collection of people who have breast cup size C. ActionTypeByFormality A collection of collections. Each instance of ActionFormalityAttribute is a collection of instances of SociabilityBasedAction with a certain formality. Instances include <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rHIPmfHsmQdeDXcgMhGPmng" class="cyc_term">SemiFormal_Action</a>, Casual-Action, etc.. action type by formality A collection of attributes: a unit with an attribute value from this collection is a hostile force which presents a friendly force with a threat of some degree in the context of a Course of Action representation. MilitaryThreat military threat The degree to which a mammal's body parts are hairy. AnimalTypeByAmountOfBodyHair amount of body hair A collection of collections. Each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rf2DDFnSuEdaAAACgyZzFrg" class="cyc_term">RegionTypeByConcealmentFromAerialDetection</a> is a type of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViACZwpEbGdrcN5Y29ycA" class="cyc_term">GeographicalRegion</a> characterized by a level of concealment from aerial detection. Often, terrain features such as canopy closure and roof coverage will determine the level of concealment for a given region. concealment from aerial detection RegionTypeByConcealmentFromAerialDetection plan complexity A specialization of #$EvaluativeAttribute. Instances are levels of complexity for plans (e.g., instances of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4ra1r7QX_TEdaa7wABAkLVTg" class="cyc_term">CourseOfAction</a>). These levels are represented as collections of plans that have that evaluatory complexity. The primary use of these instances is to determine whether a plan is likely to succeed or fail. PlanComplexity MilitaryUnitByLevelOfCombatForce military unit type by level of combat force A collection of collections used to indicate the level of combat force of military units and, indirectly, the type of task for which they are suited. Examples of such collections are <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwAEKupwpEbGdrcN5Y29ycA" class="cyc_term">LightForce</a> and <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwFR7YZwpEbGdrcN5Y29ycA" class="cyc_term">HeavyForce</a>. Note: collections of this type are perforce generic quantities, since they are relative to the average of their unit type. For instance, a `light' cavalry unit might have considerable lower combat force than a `light' armored brigade, say. An instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rHQdVmB_TEdaAAABQ2rksLw" class="cyc_term">SecondOrderCollection</a>, and a faceting collection on <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjxrpwpEbGdrcN5Y29ycA" class="cyc_term">ModernMilitaryOrganization</a>. In military parlance, there is a tendency to describe units by their size, relative to the typical sizes of echelons. So a unit (of any echelon) might or might not be "battalion-sized," "brigade-sized," and so on. Each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rUFmTsgDlQdiKAa_MTl-xzg" class="cyc_term">MilitaryUnitTypeByEchelonSize</a> is a collection of instances of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjxrpwpEbGdrcN5Y29ycA" class="cyc_term">ModernMilitaryOrganization</a> that all share a common size, typical of some particular echelon (c.f. <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwPlCtpwpEbGdrcN5Y29ycA" class="cyc_term">MilitaryUnitTypeByEchelon</a>). See also <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rXwPFLADlQdif1I3d7lxgcw" class="cyc_term">MilitaryUnitTypeOfSizeFn</a>, which can be used to reify instances of this collection on the fly. MilitaryUnitTypeByEchelonSize echelon size movie rating MPAAAdvisoryClassification-Film A collection of subcollections of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rv973YpwpEbGdrcN5Y29ycA" class="cyc_term">Movie_CW</a>. Each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rPBitxHSwEdaAAACgyZzFrg" class="cyc_term">MPAAAdvisoryClassification_Film</a> is a collection of all movies with a common MPAA Advisory classification. For example, <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4ruLN_mnS-EdaAAACgyZzFrg" class="cyc_term">ParentalGuidance13Rating</a> is the collection of all movies that have a PG-13 rating. The generic sizes (S, M, L, XL, XXL) The instances of this collection are collections of people such that everyone wears something in that size. For example, <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvgIDt5wpEbGdrcN5Y29ycA" class="cyc_term">Size_Generic_M</a> is the collection of people who can wear an article of clothing designated as a medium It is expected that these instances will be used with the predicate <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rfamBxHczQdeE8vnvGKtyqA" class="cyc_term">clothingSize</a>. An example assertion would be (<a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rfamBxHczQdeE8vnvGKtyqA" class="cyc_term">clothingSize</a> Item01 <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4r7fRGcncyQdeT5fDDRNbXTA" class="cyc_term">HumanTypeByMensGenericShirtSize</a> <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvgIDt5wpEbGdrcN5Y29ycA" class="cyc_term">Size_Generic_M</a>). That assertion means that Item01 is a medium in men's shirt sizes. These can also be used with <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rywW0GnczQdeETI-gcHYK0w" class="cyc_term">humanMeasurements</a>. (<a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rywW0GnczQdeETI-gcHYK0w" class="cyc_term">humanMeasurements</a> Bob <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4r7fRGcncyQdeT5fDDRNbXTA" class="cyc_term">HumanTypeByMensGenericShirtSize</a> <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvgIDt5wpEbGdrcN5Y29ycA" class="cyc_term">Size_Generic_M</a>) means that Bob is in the collection of people who wear a generic size medium and he is in that collection at least by virtue of his shirt size. In other words, it means that Bob wears a medium in men's shirts. size generic HumanTypeByGenericClothingItemSize SpatialThingTypeByDimensionality A specialization of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwPRuD5wpEbGdrcN5Y29ycA" class="cyc_term">SpatialThingTypeByShape</a>; a collection of collections of spatial things. Each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvfBumZwpEbGdrcN5Y29ycA" class="cyc_term">SpatialThingTypeByDimensionality</a> is a subcollection of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjpUZwpEbGdrcN5Y29ycA" class="cyc_term">SpatialThing</a> (q.v.) whose own instances are all and only those spatial things that have a certain something in common as regards their dimensionality. Examples include <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4r1jUXeq00EdmAAAACs0uFOQ" class="cyc_term">ThreeDimensionalThing</a> and <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4r4Yj7IjVuQdeUnb1quULZig" class="cyc_term">PositiveDimensionalThing</a>. See also the specialization <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rotfKFq0wEdmAAAACs0uFOQ" class="cyc_term">SpatialThingTypeByNumberOfDimensions</a>. spatial thing type by dimensionality evaluation tone attribute AISTypeByEvaluationTone A collection of collections. Each element of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjhqZwpEbGdrcN5Y29ycA" class="cyc_term">AISTypeByEvaluationTone</a> is an collection of assertions used to specify the general tone of some assertion, group of assertions, or presentation about some topic. Examples of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjhqZwpEbGdrcN5Y29ycA" class="cyc_term">AISTypeByEvaluationTone</a>: <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViy95wpEbGdrcN5Y29ycA" class="cyc_term">PositiveTone</a>, <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjlDJwpEbGdrcN5Y29ycA" class="cyc_term">NegativeTone</a>, <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjWXZwpEbGdrcN5Y29ycA" class="cyc_term">NeutralTone</a>. canopy closure level A collection of collections. Each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rXcRr4HSuEdaAAACgyZzFrg" class="cyc_term">RegionTypeByCanopyClosure</a> is a collection of instances of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViACZwpEbGdrcN5Y29ycA" class="cyc_term">GeographicalRegion</a> that share a degree of canopy closure. 'Canopy closure' refers to the amount of a given area that is covered by the crowns of trees. RegionTypeByCanopyClosure assertion justification strength Instances of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rv1NJm5wpEbGdrcN5Y29ycA" class="cyc_term">JustificationStrength</a> are attribute values which indicate the argumentational strength of a justification for an assertion in a context. The two most important examples are <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvZbtZpwpEbGdrcN5Y29ycA" class="cyc_term">Monotonic_JustificationStrength</a> and <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvo5G0ZwpEbGdrcN5Y29ycA" class="cyc_term">Default_JustificationStrength</a>. See also <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvlIy9pwpEbGdrcN5Y29ycA" class="cyc_term">assertionStrength</a>. JustificationStrength surface drainage A collection of collections. Each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rabxQDHSuEdaAAACgyZzFrg" class="cyc_term">RegionTypeBySurfaceDrainage_NRCS</a> is a collection of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViACZwpEbGdrcN5Y29ycA" class="cyc_term">GeographicalRegion</a>s that share an degree of natural drainage. Each region type is defined according to the criteria set out in the Field Book for Describing and Sampling Soils, published by the Natural Resources Conservation Service of the U.S. Department of Agriculture. RegionTypeBySurfaceDrainage-NRCS HumanTypeByShoeWidth shoe width A collection of collections. Each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rOY0_9HcyQdeFUIr6-o917Q" class="cyc_term">HumanTypeByShoeWidth</a> is a collection of people that wear the same shoe width size. For instance, ShoeWidthB is the collection of people that wear a width size B in shoes. military hardware type by armor status MilitaryHardwareTypeByArmorStatus A event-like-ordered collection of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rYJo7_sRMEdaAAACQJ5qciw" class="cyc_term">StrictlyFunctionalSlot</a>s each instance of which corresponds to a particular instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvyorqJwpEbGdrcN5Y29ycA" class="cyc_term">GenericValueFunction</a> (q.v.). Each instance <code>PRED</code> of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rJ3ZbguI8QdeGDNhCi9LL3Q" class="cyc_term">GenericValuePredicate</a> relates a given <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwF4t15wpEbGdrcN5Y29ycA" class="cyc_term">TotallyOrderedQuantityType</a> <code>QUANTTYPE</code> to the particular generic instance (see <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViZjpwpEbGdrcN5Y29ycA" class="cyc_term">GenericQuantity</a>) <code>QUANT</code> of <code>QUANTTYPE</code> that is the "amount" that <code>PRED</code> (by definition) represents -- viz. the value that <code>PRED</code>'s corresponding generic-value function returns when given <code>QUANTTYPE</code> as its argument. For example, <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVif6ZwpEbGdrcN5Y29ycA" class="cyc_term">highAmountOf</a> is the generic-value predicate that corresponds to the function <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvgDGhZwpEbGdrcN5Y29ycA" class="cyc_term">HighAmountFn</a>. <code>(<a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVif6ZwpEbGdrcN5Y29ycA" class="cyc_term">highAmountOf</a> <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVi1AJwpEbGdrcN5Y29ycA" class="cyc_term">Happiness</a> (<a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvgDGhZwpEbGdrcN5Y29ycA" class="cyc_term">HighAmountFn</a> <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVi1AJwpEbGdrcN5Y29ycA" class="cyc_term">Happiness</a>))</code> holds because (<a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvgDGhZwpEbGdrcN5Y29ycA" class="cyc_term">HighAmountFn</a> <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVi1AJwpEbGdrcN5Y29ycA" class="cyc_term">Happiness</a>) is the generic-quantity of happiness that is a high amount of happiness. Other generic-value predicates include <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjPfZwpEbGdrcN5Y29ycA" class="cyc_term">noAmountOf</a> and <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViJipwpEbGdrcN5Y29ycA" class="cyc_term">mediumToVeryHighAmountOf</a>. A more substantive use of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rJ3ZbguI8QdeGDNhCi9LL3Q" class="cyc_term">GenericValuePredicate</a>s is as arguments to certain other predicates, whose meanings they thereby serve to modify. For example, the sentence <code>(<a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwEbuuZwpEbGdrcN5Y29ycA" class="cyc_term">levelOfCompatibility</a> OLDSYSTEM NEWSYSTEM <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjPfZwpEbGdrcN5Y29ycA" class="cyc_term">noAmountOf</a>)</code> means that <code>OLDSYSTEM</code> and <code>NEWSYSTEM</code> are not at all compatible. Note that this latter use of generic-value predicates allows us to avoid having either (a) to reify an entire array of (e.g.) compatibility-level predicates such as "<code>noLevelOfCompatibility</code>", "<code>lowLevelOfCompatibility</code>", and so on, or (b) to reify special-case quantity-types like "<code>LevelOfCompatibility</code>" (which would need to have a generic-value function applied to it and then be used as an argument to a predicate like <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwEbuuZwpEbGdrcN5Y29ycA" class="cyc_term">levelOfCompatibility</a> anyway). See also <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVid0ZwpEbGdrcN5Y29ycA" class="cyc_term">RelativeGenericValueFn</a>. degree GenericValuePredicate A collection of collections. Each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4re9xGTnSyEdaAAACgyZzFrg" class="cyc_term">Formality</a> is a collection of instances of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVkEoJwpEbGdrcN5Y29ycA" class="cyc_term">SomethingToWear</a> such that each has the same degree of formality. For instance, <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rznwL2nslQdeB8KTjmCnHIw" class="cyc_term">Casual</a> is the collection of instances of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVkEoJwpEbGdrcN5Y29ycA" class="cyc_term">SomethingToWear</a> that are considered casual such as jeans, sweaters, etc.. formality Formality type of cover from indirect fire RegionTypeByCoverFromIndirectFire A collection of collections of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViACZwpEbGdrcN5Y29ycA" class="cyc_term">GeographicalRegion</a>s. Each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvPiH7okTEdaAAACQJ5pcGA" class="cyc_term">RegionTypeByCoverFromIndirectFire</a> is a type of region characterized by a certain level of cover afforded from indirect fire. Indirect fire results from <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwGdazJwpEbGdrcN5Y29ycA" class="cyc_term">IndirectFireWeapon</a>s whose trajectory has a high-angle, instead of the flat trajectory of direct fire weapons. See also <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rhZC2znSuEdaAAACgyZzFrg" class="cyc_term">RegionTypeByCoverFromDirectFire</a>. configurational complexity This collection of complexity attributes is the collection of complexity attributes distinguished by degree of complexity. ConfigurationTypeComplexityByDegree social being type by financial state A collection of collections each of which is a collection of agents in a particular financial state. These collections can be used to describe an agent's financial state, financial condition. SocialBeingTypeByFinancialState AnimalTypeByHungerLevel A faceting collection. Each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rOmjnonSuEdaAAACgyZzFrg" class="cyc_term">AnimalTypeByHungerLevel</a> denotes a collection of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViwMZwpEbGdrcN5Y29ycA" class="cyc_term">Animal</a>s that share a state of hunger (e.g., <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rZrus2nS-EdaAAACgyZzFrg" class="cyc_term">Hungry</a>, <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rcREa4nS7EdaAAACgyZzFrg" class="cyc_term">NotHungry</a>, <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rPaAa_nS8EdaAAACgyZzFrg" class="cyc_term">Starving</a>). These <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rOmjnonSuEdaAAACgyZzFrg" class="cyc_term">AnimalTypeByHungerLevel</a> instances are the first argument to the predicate <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rS8PqgLFVQdeVGu4cpAof6Q" class="cyc_term">hungerLevelOf</a> (q.v.). hunger Reflectance <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4r2z9b7nStEdaAAACgyZzFrg" class="cyc_term">Reflectance</a> is a collection of collections. Each instance is a collection of things with a particular degree of reflectance. reflectance A specialization of #$PhysicalAttribute. Each instance of #$Transparency is a capacity of some tangible object to transmit light. Instances of #$Transparency include <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVE41HS6EdaAAACgyZzFrg" class="cyc_term">Opaque</a>, <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rAKvuSKz7QdeAldL1u6qYhQ" class="cyc_term">Translucent</a>, and <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjeMZwpEbGdrcN5Y29ycA" class="cyc_term">Transparent</a>. See also the predicate <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rzE0vGn7_EdaAAAABAjVgzA" class="cyc_term">transparencyOfObject</a>, which relates an object to its #$Transparency. ObjectTypeByTransparency transparency HighSchoolLevel high school level The collection of instances of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViAkpwpEbGdrcN5Y29ycA" class="cyc_term">Person</a> whose highest education level is at least some high school. This includes high school graduates who have had no further education as well as individuals who are currently in some high school grade level. <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4r5qAYTKMNEdqAAAACs6hO_g" class="cyc_term">CountrySubsidiaryTypeByAdministrativeDivision</a> is a faceting of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwMAYTJwpEbGdrcN5Y29ycA" class="cyc_term">CountrySubsidiary</a> according to administrative subdivision. It's instances are <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4r6Ki-3KMNEdqAAAACs6hO_g" class="cyc_term">FirstOrderAdministrativeDivision</a>, <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rKGoMuqMOEdqAAAACs6hO_g" class="cyc_term">SecondOrderAdministrativeDivision</a>, <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rM0XWvqMOEdqAAAACs6hO_g" class="cyc_term">ThirdOrderAdministrativeDivision</a>, and <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rOjEbgqMOEdqAAAACs6hO_g" class="cyc_term">FourthOrderAdministrativeDivision</a>. First order subdivisions of a country are directly below the federal level, such as states in the United States. Second order subdivisions are the immediate subdivisions of a first order subdivision, such as counties in a state in the United States. Similarly for third and fourth order subdivisions. country subsidiary type by administrative division CountrySubsidiaryTypeByAdministrativeDivision SecurityClearanceLevel security clearance level The degree to which information is held secret. Instances can be placed into a partial order. roof coverage A collection of collections. Each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rgPWPzHSuEdaAAACgyZzFrg" class="cyc_term">UrbanAreaTypeByRoofCoverage</a> is a type of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjK7JwpEbGdrcN5Y29ycA" class="cyc_term">UrbanArea</a> with a particular degree of roof coverage. The degree of roof coverage is determined by the percentage of buildings or other over-hangs in a given area. UrbanAreaTypeByRoofCoverage The second order collection <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rNWKSsG6OEdaAAACgyZzFrg" class="cyc_term">AnimalTypeByAlertness</a> facets animals based on how sleepy or alert they are. Alertness levels include <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rgsLTnm6OEdaAAACgyZzFrg" class="cyc_term">Asleep</a>, <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rhSkWTG6PEdaAAACgyZzFrg" class="cyc_term">Sleepy</a>, <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4r4fzU4G6OEdaAAACgyZzFrg" class="cyc_term">Awake</a>. AnimalTypeByAlertness alertness slope gradient level A <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rHQdVmB_TEdaAAABQ2rksLw" class="cyc_term">SecondOrderCollection</a> instances of which are subcollections of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjOh5wpEbGdrcN5Y29ycA" class="cyc_term">LandTopographicalFeature</a> that are grouped according to their level of slope. More specifically, with the exception of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rEFD3knS-EdaAAACgyZzFrg" class="cyc_term">Slope_FlatGradient</a> (q.v.), each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rBrxsOnSuEdaAAACgyZzFrg" class="cyc_term">SlopeTypeByGradientLevel</a> is a specialization of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rw4--UiTfQdeTAd3NPZMGfg" class="cyc_term">Slope_Topographical</a> (q.v.). SlopeTypeByGradientLevel GenericValueFunction Cyc generic value function A specialization of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4roS4vSuU-QdeFL6sVgKnbVg" class="cyc_term">ScalarDenotingFunction</a> whose instances map <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwF4t15wpEbGdrcN5Y29ycA" class="cyc_term">TotallyOrderedQuantityType</a>s to certain <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViZjpwpEbGdrcN5Y29ycA" class="cyc_term">GenericQuantity</a>[ies] (qq.v.) of those types. Each <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvyorqJwpEbGdrcN5Y29ycA" class="cyc_term">GenericValueFunction</a> is a unary function which, when applied to a totally-ordered quantity-type <code>QUANTTYPE</code>, returns some "generic amount" or roughly-specified range (e.g. high, medium, low) of <code>QUANTTYPE</code>. For example, <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvgDGhZwpEbGdrcN5Y29ycA" class="cyc_term">HighAmountFn</a> is a generic-value function, and (<a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvgDGhZwpEbGdrcN5Y29ycA" class="cyc_term">HighAmountFn</a> <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViE0ZwpEbGdrcN5Y29ycA" class="cyc_term">Elasticity</a>) is a the generic-quantity "high amount of elasticity" (with respect to some contextually-determined, conventional elasticity scale). Other instances of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvyorqJwpEbGdrcN5Y29ycA" class="cyc_term">GenericValueFunction</a> are <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvgDDa5wpEbGdrcN5Y29ycA" class="cyc_term">LowAmountFn</a>, <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvgDGYJwpEbGdrcN5Y29ycA" class="cyc_term">MediumAmountFn</a>, and <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvsqtkJwpEbGdrcN5Y29ycA" class="cyc_term">MediumToVeryHighAmountFn</a>. See also <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVid0ZwpEbGdrcN5Y29ycA" class="cyc_term">RelativeGenericValueFn</a> and #$NoteAboutGivingGenericValueFunctionsNumericValues. And cf. <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rtPAgdEKcEdaAAAACs4vPlg" class="cyc_term">GenericValueTypeFunction</a>. GraduateLevel graduate level The collection of instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViAkpwpEbGdrcN5Y29ycA" class="cyc_term">Person</a> who have completed at least one year of graduate classes at a college or university. ToolUsageLevel A collection of collections. Each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4r6pVvknPrEdaAAABQ2rksLw" class="cyc_term">ToolUsageLevel</a> is the collection of all users of a tool at a particular skill level. These will usually be functionally denoted. For instance, (<a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rMj5TAqjRQdeX94EQifIB2Q" class="cyc_term">ExpertUsageFn</a> <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjSgZwpEbGdrcN5Y29ycA" class="cyc_term">SolderingIron</a>) denotes the subcollection of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViAkpwpEbGdrcN5Y29ycA" class="cyc_term">Person</a> such that each instance of that subcollection is an expert at using a soldering iron. Instances of this collection are also denoted by a set of more specialized functions relating just to software usage. For example, (#$NoviceSoftwareUsageFn <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4riNGXwP2fQdaZXrfbbzQmow" class="cyc_term">MSWindows</a>) denotes the subcollection of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViAkpwpEbGdrcN5Y29ycA" class="cyc_term">Person</a> such that each instance of that subcollection is a novice user of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4riNGXwP2fQdaZXrfbbzQmow" class="cyc_term">MSWindows</a>. tool usage level type of insurance classified by coverage A collection of collections. Each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4r7bMUdHSxEdaAAACgyZzFrg" class="cyc_term">InsuranceTypeByCoverage</a> is a collection of insurance plans with the same degree of coverage. These collections represent some of the common degrees of coverage. InsuranceTypeByCoverage A collection of collections. Each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rkBjx4Dg4EdaAAACgye4oEQ" class="cyc_term">CollectionWithAnEventLikeOrder</a> is a collection whose instances are conventionally regarded as being ordered by some relation <code>RELN</code>, where <code>RELN</code> orders the members of <code>COL</code> in the manner in which events are ordered in linear time. More precisely, a collection is an instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rkBjx4Dg4EdaAAACgye4oEQ" class="cyc_term">CollectionWithAnEventLikeOrder</a> just in case its instances are conventially regarded as being ordered by a relation <code>RELN</code> such that the <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvztTgpwpEbGdrcN5Y29ycA" class="cyc_term">MathematicalOrdering</a> whose <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvlGiF5wpEbGdrcN5Y29ycA" class="cyc_term">baseSet</a> is <code>COL</code>, and whose <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwEFqoJwpEbGdrcN5Y29ycA" class="cyc_term">orderingRelation</a> is <code>RELN</code>, is an instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rHgPKvG6XQdeNVbS28NXHtw" class="cyc_term">EventLikeOrdering</a> (q.v.). For example, the instances of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViAmpwpEbGdrcN5Y29ycA" class="cyc_term">Distance</a> are conventionally regarded as being ordered by the relation greater than, and this ordering is event-like. So <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViAmpwpEbGdrcN5Y29ycA" class="cyc_term">Distance</a> is a collection with an event-like order. collection with an event-like order CollectionWithAnEventLikeOrder 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>. A collection of collections. Each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rkBjx4Dg4EdaAAACgye4oEQ" class="cyc_term">CollectionWithAnEventLikeOrder</a> is a collection whose instances are conventionally regarded as being ordered by some relation <code>RELN</code>, where <code>RELN</code> orders the members of <code>COL</code> in the manner in which events are ordered in linear time. More precisely, a collection is an instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rkBjx4Dg4EdaAAACgye4oEQ" class="cyc_term">CollectionWithAnEventLikeOrder</a> just in case its instances are conventially regarded as being ordered by a relation <code>RELN</code> such that the <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvztTgpwpEbGdrcN5Y29ycA" class="cyc_term">MathematicalOrdering</a> whose <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvlGiF5wpEbGdrcN5Y29ycA" class="cyc_term">baseSet</a> is <code>COL</code>, and whose <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwEFqoJwpEbGdrcN5Y29ycA" class="cyc_term">orderingRelation</a> is <code>RELN</code>, is an instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rHgPKvG6XQdeNVbS28NXHtw" class="cyc_term">EventLikeOrdering</a> (q.v.). For example, the instances of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViAmpwpEbGdrcN5Y29ycA" class="cyc_term">Distance</a> are conventionally regarded as being ordered by the relation greater than, and this ordering is event-like. So <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViAmpwpEbGdrcN5Y29ycA" class="cyc_term">Distance</a> is a collection with an event-like order. collection with an event-like order CollectionWithAnEventLikeOrder 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 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