]> 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. ObjectType type of object The collection of all collections that are "object-like" in at least one respect. A collection <code>COL</code> is object-like just in case there is some sense of 'part' according to which any (or nearly any) given proper part of an instance of <code>COL</code> is not itself an instance of <code>COL</code>; when this happens <code>COL</code> is said to be object-like with respect to that sense of 'part'. More precisely, for a collection <code>COL</code> to be an instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVirnZwpEbGdrcN5Y29ycA" class="cyc_term">ObjectType</a> it is sufficient that there be some specialization <code>PARTPRED</code> of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwgfukKs8QdePzLB9nLNpTw" class="cyc_term">properParts</a> such that, for any <code>OBJ1</code> and <code>OBJ2</code>, if <code>(<a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViBBJwpEbGdrcN5Y29ycA" class="cyc_term">isa</a> OBJ1 COL)</code> and <code>(PARTPRED OBJ1 OBJ2)</code> both hold, then <code>(<a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViBBJwpEbGdrcN5Y29ycA" class="cyc_term">isa</a> OBJ2 COL)</code> does not hold. (Also sufficient for <code>COL</code>'s being an object-type is that there be some specialization <code>INVPARTPRED</code> of the inverse of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwgfukKs8QdePzLB9nLNpTw" class="cyc_term">properParts</a> (see <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvWHsNJwpEbGdrcN5Y29ycA" class="cyc_term">genlInverse</a>) such that <code>(INVPARTPRED OBJ2 OBJ1)</code>, with everything else remaining the same as above.) Note that neither of the above sufficient conditions for <code>COL</code>'s being an object-type is strictly necessary: some exceptions are allowed. Thus as long as either one of the above conditionals holds in nearly all cases, <code>COL</code> should be considered an instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVirnZwpEbGdrcN5Y29ycA" class="cyc_term">ObjectType</a>. Here are two examples. Consider <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViVwZwpEbGdrcN5Y29ycA" class="cyc_term">Automobile</a>. Take an instance of that, say my car. Now consider one of the proper <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVj5FpwpEbGdrcN5Y29ycA" class="cyc_term">physicalParts</a> of my car, say the steering wheel. The steering wheel is not an instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViVwZwpEbGdrcN5Y29ycA" class="cyc_term">Automobile</a>. And the same would be true for any proper physical part of any car. So <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViVwZwpEbGdrcN5Y29ycA" class="cyc_term">Automobile</a> is an <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVirnZwpEbGdrcN5Y29ycA" class="cyc_term">ObjectType</a>. Consider <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjyV5wpEbGdrcN5Y29ycA" class="cyc_term">CalendarYear</a>. No proper <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvWn4OZwpEbGdrcN5Y29ycA" class="cyc_term">timeSlices</a> of a year is itself a year. So <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjyV5wpEbGdrcN5Y29ycA" class="cyc_term">CalendarYear</a> is an <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVirnZwpEbGdrcN5Y29ycA" class="cyc_term">ObjectType</a>. See <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVir35wpEbGdrcN5Y29ycA" class="cyc_term">StuffType</a> for the contrasting (though not disjoint) notion of being stuff-like. kind of object object type types of object kinds of object object types 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 DrugAdministrationRouteType type of drug administration method Ways drugs are administered. ObjectTypeByColor A collection of collections. Each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rfDXgcENaEdaAAAACs4vPlg" class="cyc_term">ObjectTypeByColor</a> is a collection of objects that are the same with respect to having a common color. Indicate a particular object's <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rr19QJHStEdaAAACgyZzFrg" class="cyc_term">Color</a> with one of the following predicates: <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4r6lGcdn7_EdaAAAABAjVgzA" class="cyc_term">significantColorOfObject</a>, <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4r45WD6H7_EdaAAAABAjVgzA" class="cyc_term">mainColorOfObject</a>, or <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4r4ZhYNn7_EdaAAAABAjVgzA" class="cyc_term">uniformColorOfObject</a>. object type by color AttackByComputerOperationActionType The collection of all action types which are typically involved in electronic attack. At present, this collection is extensionally defined. attack by computer operation type A specialization of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVirnZwpEbGdrcN5Y29ycA" class="cyc_term">ObjectType</a> (q.v.) whose instances are all and only those collections that are temporally object-like. A collection <code>COL</code> is temporally object-like just in case it generally holds that any proper purely temporal parts (see <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvWn4OZwpEbGdrcN5Y29ycA" class="cyc_term">timeSlices</a>) of an instance of <code>COL</code> is not itself an instance of <code>COL</code>. More precisely, a collection <code>COL</code> is an instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViq35wpEbGdrcN5Y29ycA" class="cyc_term">TemporalObjectType</a> just in case it satisfies the following: For any distinct <code>OBJ1</code> and <code>OBJ2</code>, if <code>(<a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViBBJwpEbGdrcN5Y29ycA" class="cyc_term">isa</a> OBJ1 COL)</code> and <code>(<a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvWn4OZwpEbGdrcN5Y29ycA" class="cyc_term">timeSlices</a> OBJ1 OBJ2)</code>, then not <code>(<a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViBBJwpEbGdrcN5Y29ycA" class="cyc_term">isa</a> OBJ2 COL)</code>. For example, none of the proper time-slices of a <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjyV5wpEbGdrcN5Y29ycA" class="cyc_term">CalendarYear</a> is itself a calendar year. Likewise for <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViYBpwpEbGdrcN5Y29ycA" class="cyc_term">TakingAStep</a>. So <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjyV5wpEbGdrcN5Y29ycA" class="cyc_term">CalendarYear</a> and <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViYBpwpEbGdrcN5Y29ycA" class="cyc_term">TakingAStep</a> are both instances of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViq35wpEbGdrcN5Y29ycA" class="cyc_term">TemporalObjectType</a>. Conversely, a proper time-slice of a given <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVisWZwpEbGdrcN5Y29ycA" class="cyc_term">Date</a> might itself be a <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVisWZwpEbGdrcN5Y29ycA" class="cyc_term">Date</a> (e.g. an hour has minutes and seconds as time-slices); so <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVisWZwpEbGdrcN5Y29ycA" class="cyc_term">Date</a> is not a temporal-object-type. See <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVitN5wpEbGdrcN5Y29ycA" class="cyc_term">TemporalStuffType</a> for the disjoint notion of being temporally stuff-like. TemporalObjectType temporal object type <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rMcRuvFrLEdqAAAACs6hO_g" class="cyc_term">TopologicalSpaceType</a> is a <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvtppU5wpEbGdrcN5Y29ycA" class="cyc_term">CollectionType</a> whose instances are types of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rWsCsIlDLEdqAAAACs70rUg" class="cyc_term">TopologicalSpace</a>s. TopologicalSpaceType topological space type UnderspecifiedObjectType A collection of collections. Each element of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rv2Lt75wpEbGdrcN5Y29ycA" class="cyc_term">UnderspecifiedObjectType</a> is a collection of objects that may bridge any of the domains of literality and metaphoricity, space and time, or physical and intangible. Each type of underspecified object is intensionally neutral with regard to such issues; the type exists to allow underspecification to occur at the relational level, thus releasing Natural Language (NL) semantics from the need to specify precise semantic structures when such a responsibility is essentially post-NL (i.e., one of real-world reasoning). For a more complete explanation of underspecification, please see the <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViBCZwpEbGdrcN5Y29ycA" class="cyc_term">comment</a> on <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvyGj9JwpEbGdrcN5Y29ycA" class="cyc_term">UnderspecifiedCollectionType</a>. type of underspecified object WarrantyTypeByCoverage warranty type by coverage An instance of #$SiblingDisjointCollection. Each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rieW1ukPjQdmHMObq4GWMSg" class="cyc_term">WarrantyTypeByCoverage</a> is a specialization of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVierZwpEbGdrcN5Y29ycA" class="cyc_term">Warranty</a> all of whose instances have roughly the same degree of coverage (both in terms of the duration of the warranty, and the parts and services covered by the warranty). Instances of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rieW1ukPjQdmHMObq4GWMSg" class="cyc_term">WarrantyTypeByCoverage</a> include <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwLehQZwpEbGdrcN5Y29ycA" class="cyc_term">ImpliedWarranty</a> and <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rKfWylEPaQdmak_hJrglWfA" class="cyc_term">ExtendedWarranty</a>. ListTypeByMemberType type of list by member type A collection of collections. Each element of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4r21deUWESEdaN3QACs2S-ew" class="cyc_term">ListTypeByMemberType</a> is a collection of lists of objects of a specified type. For example, (<a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvmtxnJwpEbGdrcN5Y29ycA" class="cyc_term">ListOfTypeFn</a> <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjnZ5wpEbGdrcN5Y29ycA" class="cyc_term">City</a>), the collection of lists of cities, is a member of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4r21deUWESEdaN3QACs2S-ew" class="cyc_term">ListTypeByMemberType</a>. Another instance would be (<a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvmtxnJwpEbGdrcN5Y29ycA" class="cyc_term">ListOfTypeFn</a> <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVieEpwpEbGdrcN5Y29ycA" class="cyc_term">Integer</a>), the collection of lists of integers. LicenseType intellecutal property license class Elements are different classes of rights to <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVj2rJwpEbGdrcN5Y29ycA" class="cyc_term">InformationBearingObject</a>s. If something <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViBBJwpEbGdrcN5Y29ycA" class="cyc_term">isa</a> <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVivWJwpEbGdrcN5Y29ycA" class="cyc_term">LicenseType</a>, its elements are all agreements that give the same _kinds_ of rights, but to various <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVj2rJwpEbGdrcN5Y29ycA" class="cyc_term">InformationBearingObject</a>s. A class including all the various kinds of licenses to War and Peace, for example, would not be <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViBBJwpEbGdrcN5Y29ycA" class="cyc_term">isa</a> <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVivWJwpEbGdrcN5Y29ycA" class="cyc_term">LicenseType</a>. IDStringType A collection of collections and a specialization of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVirnZwpEbGdrcN5Y29ycA" class="cyc_term">ObjectType</a>. Each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViLRZwpEbGdrcN5Y29ycA" class="cyc_term">IDStringType</a> is a collection of character strings which is a specialization of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViIrZwpEbGdrcN5Y29ycA" class="cyc_term">IDString</a> (q.v.). A few notable instances of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViLRZwpEbGdrcN5Y29ycA" class="cyc_term">IDStringType</a> are <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVkF05wpEbGdrcN5Y29ycA" class="cyc_term">ProductName</a>, #$ProductVersion, <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjYb5wpEbGdrcN5Y29ycA" class="cyc_term">EMailAddress</a>, <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjs7pwpEbGdrcN5Y29ycA" class="cyc_term">PhoneNumber</a>, <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwQraSZwpEbGdrcN5Y29ycA" class="cyc_term">PostalCode</a>. type of ID string This type-level collection partitions <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvV_I65wpEbGdrcN5Y29ycA" class="cyc_term">Field_LogicalOrPhysical</a> into <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvV6jtZwpEbGdrcN5Y29ycA" class="cyc_term">LogicalField</a> and <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvWH8s5wpEbGdrcN5Y29ycA" class="cyc_term">PhysicalField</a>. FieldType-LogicalOrPhysical field type logical or physical SKSIHLModuleType SKSIHL module type This <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rHQdVmB_TEdaAAABQ2rksLw" class="cyc_term">SecondOrderCollection</a> is a <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvjldVJwpEbGdrcN5Y29ycA" class="cyc_term">facets_Generic</a> of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rcSFO8J33QdiFw-DGtJMWvA" class="cyc_term">SKSIHLModule</a> which identifies the salient specializations of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rcSFO8J33QdiFw-DGtJMWvA" class="cyc_term">SKSIHLModule</a> according to their functional use (removal, storage, forward, etc.). TestResultNotificationType Each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rJxvDdHyfEdaAAACQJ5T1Bg" class="cyc_term">TestResultNotificationType</a> is a different type of notification style that may be used to communicate test results to a responsible party. test result notification type A <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvtppU5wpEbGdrcN5Y29ycA" class="cyc_term">CollectionType</a> which facets <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rOSAApOlYQdecYtisiWoL_A" class="cyc_term">IndexDataStructure</a> by the physical storage and retrieval algorithm. Usually, <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rQW39xOlYQdeR5oeb-ZRvbA" class="cyc_term">IndexDataStructureType</a>s are optimized to store specific types of data or to permit specific types of retrieval. index data structure type IndexDataStructureType EncodingSchemeType type of encoding scheme A <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rHQdVmB_TEdaAAABQ2rksLw" class="cyc_term">SecondOrderCollection</a>. Each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rv4dcZ5wpEbGdrcN5Y29ycA" class="cyc_term">CharacterStringType</a> is a collection of concrete character-string tokens (regardless of their physical form: written, spoken, or whatever) that all represent the same abstract character-string. That is, each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rv4dcZ5wpEbGdrcN5Y29ycA" class="cyc_term">CharacterStringType</a> is the collection of all character-string tokens that <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvdOoG5wpEbGdrcN5Y29ycA" class="cyc_term">tokensString</a> some particular character-string. (Thus <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rv4dcZ5wpEbGdrcN5Y29ycA" class="cyc_term">CharacterStringType</a> might have been called "TokenTypeByCharacterString".) An example is the collection of all tokens of the string 'hello', whether inscribed, sounded, or electromagnetically encoded. For more specialized collections that correspond to particular physical forms, see <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvxs-dZwpEbGdrcN5Y29ycA" class="cyc_term">CharacterStringMode</a> and its specializations. Note that although instances of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rv4dcZ5wpEbGdrcN5Y29ycA" class="cyc_term">CharacterStringType</a> group character-string tokens according what abstract character-strings they represent, character-string types are not to be confused with the abstract character-strings themselves; see <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rv3V9JJwpEbGdrcN5Y29ycA" class="cyc_term">typeForString</a>. type of character string CharacterStringType type of textual material classified by function An instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViA4pwpEbGdrcN5Y29ycA" class="cyc_term">SiblingDisjointCollectionType</a> and hence a collection of collections. Each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rn3yL9FlGEdaAAAABAxv-7A" class="cyc_term">TextualMaterialTypeByFunction</a> is a specialization of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVkEx5wpEbGdrcN5Y29ycA" class="cyc_term">TextualMaterial</a> whose instances perform a particular and distinct type of function -- for instance <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwP1kFJwpEbGdrcN5Y29ycA" class="cyc_term">LeaseDocument</a> (instances of which are used to establish legally binding terms of lease) and <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwP1a95wpEbGdrcN5Y29ycA" class="cyc_term">ExpenseReport</a> (used by employees to request reimbursement for expense). TextualMaterialTypeByFunction <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4r7t_pDm-3QdmFj4-LjqyNqA" class="cyc_term">ComputerProgramTypeByPlatform</a> is a collection of types of computer programs. Collections that are instances of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4r7t_pDm-3QdmFj4-LjqyNqA" class="cyc_term">ComputerProgramTypeByPlatform</a> are collections of programs for which any instance PROG, (<a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwHFcGJwpEbGdrcN5Y29ycA" class="cyc_term">runsUnderOS</a> PROG OS) is true for some single value of OS. ComputerProgramTypeByPlatform computer program type by platform An instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvprlOZwpEbGdrcN5Y29ycA" class="cyc_term">FacetingCollectionType</a>. <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rlQEuXvRxEdmAAAACs71DGQ" class="cyc_term">MarkupTagTypeByPurpose</a> is the collection of all specializations of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwGHb4ZwpEbGdrcN5Y29ycA" class="cyc_term">MarkupLanguageTag</a> that share a common function in a given markup language. Notable examples include <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rgIsU7vRxEdmAAAACs71DGQ" class="cyc_term">FontStyleMarkupTag</a> and <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rqRSz7PRyEdmAAAACs71DGQ" class="cyc_term">PhraseStyleMarkupTag</a>. MarkupTagTypeByPurpose markup tag type by purpose movie genre MovieTypeByGenre A <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvprlOZwpEbGdrcN5Y29ycA" class="cyc_term">FacetingCollectionType</a>. Each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rhz6DbnSwEdaAAACgyZzFrg" class="cyc_term">MovieTypeByGenre</a> is a specialization of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rv973YpwpEbGdrcN5Y29ycA" class="cyc_term">Movie_CW</a> whose instances are of the same genre (e.g. comedy, drama, science fiction). RepaymentPlanTypeByPaymentFrequency An instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvprlOZwpEbGdrcN5Y29ycA" class="cyc_term">FacetingCollectionType</a> that facets the collection <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvvTXEJwpEbGdrcN5Y29ycA" class="cyc_term">RepaymentPlan</a>. Every instance <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rJI9tVgsbQdmVl5rldzbsnA" class="cyc_term">RepaymentPlanTypeByPaymentFrequency</a> is a collection of plans that share a common payment frequency (see <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rCjUcJAsdQdmYfMOaeYPmlA" class="cyc_term">agreementDictatesPaymentFrequency</a>). For example, <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4r0jfoDAsbQdmOIvb_OZYVOg" class="cyc_term">MonthlyRepaymentPlan</a> is the collection of repayment plans that call for a payment every month. repayment plan type by payment frequency type of list classified by length ListTypeByLength A collection of collections. Each element of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwS2K2pwpEbGdrcN5Y29ycA" class="cyc_term">ListTypeByLength</a> is a collection of sequences of specific lengths or a range of lengths. For example, (<a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwRxOaZwpEbGdrcN5Y29ycA" class="cyc_term">ListOfLengthFn</a> 2), the collection of lists of exactly two items, is a member of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwS2K2pwpEbGdrcN5Y29ycA" class="cyc_term">ListTypeByLength</a>. Another instance would be (<a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvdah_pwpEbGdrcN5Y29ycA" class="cyc_term">StringOfLengthFn</a> 9), the collection of 9 character strings. Yet another instance would be (<a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwRxOaZwpEbGdrcN5Y29ycA" class="cyc_term">ListOfLengthFn</a> (<a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rva7bcJwpEbGdrcN5Y29ycA" class="cyc_term">IntegerFromToFn</a> 0 6). type of computer program by function A collection of types of computer programs. Each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvrxE_ZwpEbGdrcN5Y29ycA" class="cyc_term">ComputerProgramTypeByFunction</a> is a collection of programs (see <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwJxiRJwpEbGdrcN5Y29ycA" class="cyc_term">ComputerProgram_CW</a>) whose instances all serve a similar function and can be used for a similar purpose. This purpose might be very specific (see e.g. <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rveW_XZwpEbGdrcN5Y29ycA" class="cyc_term">AutoLoanCalculatorProgram</a>) or more general (see e.g. <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwGM3oZwpEbGdrcN5Y29ycA" class="cyc_term">FinancialProgram</a>). ComputerProgramTypeByFunction An instance of this collection is a specialization of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVibyJwpEbGdrcN5Y29ycA" class="cyc_term">ChemicalReaction</a> identified by a corresponding equation formula: that is, for every instance R-TYPE of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rIRwAivAuQdacuY8ZSNGIXw" class="cyc_term">ChemicalReactionTypeByEquationFormula</a>, there are lists of, resp., reactants and products LIST1 and LIST2 such that (<a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rDTF8HPAuQdaM8Lzwv-PXUQ" class="cyc_term">chemicalEquation_Unbalanced</a> R-TYPE LIST1 LIST2) is true. chemical reaction type by equation formula ChemicalReactionTypeByEquationFormula SmallCollectionOfProperlyNamedEntities Instances are collections whose extent is small (on the order of 20 instances or smaller), completely known, and instances of which are normally referred to by proper names. This class is useful for suggesting meaningful followup searches to users of search enhancement applications. small set of named entities type of Nobel prize by field NobelPrizeTypeByField A collection of types of Nobel prize. Each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4roG_WbHKPEdaAAAACs0uFOQ" class="cyc_term">NobelPrizeTypeByField</a> is a specialization of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVj_y5wpEbGdrcN5Y29ycA" class="cyc_term">NobelPrize</a> whose instances are all awarded in the same field. For example, <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvuz5L5wpEbGdrcN5Y29ycA" class="cyc_term">NobelPrizeForPhysics</a> is an instance of NobelPrizeTypeByField -- each of its instances is awarded for excellence in physics. A collection of collections. Each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rv1vk55wpEbGdrcN5Y29ycA" class="cyc_term">UnchangedActor</a>s is the collection of actors of some event that have been unaffected by that event. unchanged thing UnchangedActor Each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rnDB93o1vQdiA6LABy86Aog" class="cyc_term">SoftwareTestSpecificationType</a> is a collection whose instances are individual software test definitions. Instances of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rnDB93o1vQdiA6LABy86Aog" class="cyc_term">SoftwareTestSpecificationType</a> represent categories of tests grouped together because they test similar functionality, and which might sensibly be run as a unit. SoftwareTestSpecificationType software test specification type software object type by fault SoftwareObjectTypeByFault A collection of collections. Each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4r1wyCUopIQdeYLrT8NVrNmQ" class="cyc_term">SoftwareObjectTypeByFault</a> is a collection of software objects that have a certain fault. SituationalObjectType A specialization of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVirnZwpEbGdrcN5Y29ycA" class="cyc_term">ObjectType</a> (q.v.) whose instances are all and only those collections that are situationally object-like. A collection <code>COL</code> is situationally object-like just in case it generally holds that any proper sub-situation (see <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rBCj1OqKRQdeRRuR9K1A5lQ" class="cyc_term">properSubSituations</a>) of an instance of <code>COL</code> is not itself an instance of <code>COL</code>. More precisely, a collection <code>COL</code> is an instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwLykOHOUQdiEVsNFRFjNsw" class="cyc_term">SituationalObjectType</a> just in case it satisfies the following: For any distinct <code>OBJ1</code> and <code>OBJ2</code>, if <code>(<a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViBBJwpEbGdrcN5Y29ycA" class="cyc_term">isa</a> OBJ1 COL)</code> and <code>(<a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvnfLX5wpEbGdrcN5Y29ycA" class="cyc_term">subSituations</a> OBJ1 OBJ2)</code>, then not <code>(<a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViBBJwpEbGdrcN5Y29ycA" class="cyc_term">isa</a> OBJ2 COL)</code>. For example, none of the proper sub-situations of a <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwQrsYZwpEbGdrcN5Y29ycA" class="cyc_term">Suicide</a> is itself a suicide. Likewise for <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvzl6RJwpEbGdrcN5Y29ycA" class="cyc_term">CrossingAGap</a>. So <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwQrsYZwpEbGdrcN5Y29ycA" class="cyc_term">Suicide</a> and <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvzl6RJwpEbGdrcN5Y29ycA" class="cyc_term">CrossingAGap</a> are both instances of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwLykOHOUQdiEVsNFRFjNsw" class="cyc_term">SituationalObjectType</a>. Conversely, a proper sub-situation of a given <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVi__ZwpEbGdrcN5Y29ycA" class="cyc_term">SportsCompetition</a> might itself be a <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVi__ZwpEbGdrcN5Y29ycA" class="cyc_term">SportsCompetition</a> (e.g. the biathalon during some Olympic games); so <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVi__ZwpEbGdrcN5Y29ycA" class="cyc_term">SportsCompetition</a> is not a situational-object-type. See <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4ruc7JaHOdQdiRtNjeGi1T8A" class="cyc_term">SituationalStuffType</a> for the disjoint notion of being situationally stuff-like. situational object type A collection of collections. Each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjOOJwpEbGdrcN5Y29ycA" class="cyc_term">PathType</a> is a collection that is a subcollection of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwRCCC5wpEbGdrcN5Y29ycA" class="cyc_term">Path_Generic</a>. There are several types of path, according to the medium or surface the path goes through or over. In addition, the collection <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViOopwpEbGdrcN5Y29ycA" class="cyc_term">PathArtifact</a> can be broken down into more specific <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjOOJwpEbGdrcN5Y29ycA" class="cyc_term">PathType</a>s. At a <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwPu9xJwpEbGdrcN5Y29ycA" class="cyc_term">JunctionOfPaths</a>, the joined paths all have at least one <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjOOJwpEbGdrcN5Y29ycA" class="cyc_term">PathType</a> in common. PathType path type Characteristics of objects based on stereotypical appeal or often attributed to them based on what sex they best befit. object type by gender ObjectTypeByGender insurance type InsuranceTypeByFeature A collection of collections. Each instance is a collection of insurance policies or plans with a particular feature. These collections can be used to describe aspects of insurance plans and insurance coverage. type of need classified by immediacy level A collection of collections. Each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvjf6TJwpEbGdrcN5Y29ycA" class="cyc_term">NeedTypeByImmediacy</a> is a spec of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVkGrpwpEbGdrcN5Y29ycA" class="cyc_term">NeedMicrotheory</a> whose instances contain assertions about the relative immediacy of a thing's needs. NeedTypeByImmediacy localization sequence LocalizationSequence A collection of collections. Every instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvwN8wZwpEbGdrcN5Y29ycA" class="cyc_term">LocalizationSequence</a> is a collection consisting of a set of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjjo5wpEbGdrcN5Y29ycA" class="cyc_term">Intangible</a> instances of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwS68M5wpEbGdrcN5Y29ycA" class="cyc_term">SpatialThing_Localized</a> plus one <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvujec5wpEbGdrcN5Y29ycA" class="cyc_term">PhysicalReferent</a> which will be an instance of either <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVj27ZwpEbGdrcN5Y29ycA" class="cyc_term">PartiallyTangible</a> or of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViADZwpEbGdrcN5Y29ycA" class="cyc_term">Event</a>. It may be assumed that the predicate #$physicallyLocalizes forms a partial order on the instances of the collection, such that the <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvujec5wpEbGdrcN5Y29ycA" class="cyc_term">PhysicalReferent</a> is the first element in the ordering, with the implication being that it is the location of the <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvujec5wpEbGdrcN5Y29ycA" class="cyc_term">PhysicalReferent</a> which serves to determine the location of all the elements in the sequence, with each element in the sequence serving in turn to #$physicallyLocalize the next. The collection of qualities describing a <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvkmKO5wpEbGdrcN5Y29ycA" class="cyc_term">LoanAgreement</a>. LoanAgreementTypeByFeature type of loan agreement classified by feature ClassicalMusicalCompositionType classical music genre The collection of all formalized types of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvtPYApwpEbGdrcN5Y29ycA" class="cyc_term">MusicalComposition_Classical</a>. Elements include <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rv5FimZwpEbGdrcN5Y29ycA" class="cyc_term">Symphony</a>, #$ViolinConcerto, and #$CompositionMovement-SonataForm. Each element of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwSwyb5wpEbGdrcN5Y29ycA" class="cyc_term">UniqueIDType</a> is a collection of ID objects (numbers, strings, etc.) which uniquely identify some class of things. Some example instances of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwSwyb5wpEbGdrcN5Y29ycA" class="cyc_term">UniqueIDType</a> include: <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViYfpwpEbGdrcN5Y29ycA" class="cyc_term">SocialSecurityNumber</a>, whose elements each identify some <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViAkpwpEbGdrcN5Y29ycA" class="cyc_term">Person</a>; and 'GM vehicle ID number', whose elements would each identify some instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViYVZwpEbGdrcN5Y29ycA" class="cyc_term">GMAutomobile</a>. Note that <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjDUJwpEbGdrcN5Y29ycA" class="cyc_term">SerialNumber_String</a> is not an instance of this class, since it is possible for two manufacturers to use the same number or string to identify different individuals, but specializations of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjDUJwpEbGdrcN5Y29ycA" class="cyc_term">SerialNumber_String</a>, such as 'AcmeSerialNumber', might be valid instances. See also <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwEpZgJwpEbGdrcN5Y29ycA" class="cyc_term">uniqueIDForType</a>, which lets you state the class of objects which are uniquely identified by an ID type. A good rule of thumb is that if you can't come up with a collection of objects that an ID type uniquely discriminates among, then it probably should not be an instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwSwyb5wpEbGdrcN5Y29ycA" class="cyc_term">UniqueIDType</a>. type of unique ID UniqueIDType LanguageGroupingType type of language grouping An instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rHQdVmB_TEdaAAABQ2rksLw" class="cyc_term">SecondOrderCollection</a>, and a specialization of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVirnZwpEbGdrcN5Y29ycA" class="cyc_term">ObjectType</a>. Each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjy9JwpEbGdrcN5Y29ycA" class="cyc_term">LanguageGroupingType</a> is a subcollection of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rv5SKoZwpEbGdrcN5Y29ycA" class="cyc_term">HumanLanguage</a> (q.v.). IntermediateAdjustableRateLoanTypeByInitialAdjustmentPeriod intermediate adjustable rate loan type by initial adjustment period changed thing A collection of collections. Each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvizqYpwpEbGdrcN5Y29ycA" class="cyc_term">ChangedActor</a>s is the collection of actors of some event that have been affected by that event. ChangedActor internet packet classified by transport layer protocol A collection of collections. Every instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rv1B3SZwpEbGdrcN5Y29ycA" class="cyc_term">InternetPacketTypeByTransportLayerProtocol</a> is a collection of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwEbutpwpEbGdrcN5Y29ycA" class="cyc_term">Packet_Internet</a> grouped by the <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwFMKvpwpEbGdrcN5Y29ycA" class="cyc_term">TransportLayerProtocol</a> (i.e., UDP or TCP) to which they conform. InternetPacketTypeByTransportLayerProtocol LiteraryWorkTypeByGenre literary genre A <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvprlOZwpEbGdrcN5Y29ycA" class="cyc_term">FacetingCollectionType</a>. Each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rh_gFRnSwEdaAAACgyZzFrg" class="cyc_term">LiteraryWorkTypeByGenre</a> is a specialization of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvrGTP5wpEbGdrcN5Y29ycA" class="cyc_term">LiteraryWork_CW</a> whose instances are of the same genre. An example would be (<a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwT9j95wpEbGdrcN5Y29ycA" class="cyc_term">GenreFn</a> <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvrGTP5wpEbGdrcN5Y29ycA" class="cyc_term">LiteraryWork_CW</a> <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4r8ZRp8HS-EdaAAACgyZzFrg" class="cyc_term">PropositionalConceptualWork_ScienceFictionGenre</a>), the collection of literary works in the science fiction genre. type of artifact ArtifactType The collection of all specs of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVkH_ZwpEbGdrcN5Y29ycA" class="cyc_term">Artifact</a>. A collection of collections. Each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rv2GzE5wpEbGdrcN5Y29ycA" class="cyc_term">CharacterSet</a> is a collection of abstract characters (i.e. a specialization of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVzt_ZwpEbGdrcN5Y29ycA" class="cyc_term">Character_Abstract</a>). Instances include <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvv4vRZwpEbGdrcN5Y29ycA" class="cyc_term">UpperCaseLetter</a>, <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVkGlZwpEbGdrcN5Y29ycA" class="cyc_term">Hieroglyph</a>, and <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvqt57ZwpEbGdrcN5Y29ycA" class="cyc_term">AuxiliaryWritingSymbol</a>. For a more specialized collection-type, any instance of which is the set of characters used in some _particular_ writing system, see <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVkJwpwpEbGdrcN5Y29ycA" class="cyc_term">WritingSymbolCharacterSet</a>. CharacterSet character set LogicalFieldCategory logical field category DegreeType DegreeType is a collection of collections. Each element of DegreeType is a collection of EducationalDegrees granted to persons having attained a specific level of education. <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4r9zmcwMkGQdeQbtqjV3u8fA" class="cyc_term">DegreeType</a> is partitioned into <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rMFzJNskSQded5vPl43xgpQ" class="cyc_term">DegreeTypeByLevel</a> (ignores <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVi3N5wpEbGdrcN5Y29ycA" class="cyc_term">FieldOfStudy</a>) and #$DegreeTypeByField (specifies <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVi3N5wpEbGdrcN5Y29ycA" class="cyc_term">FieldOfStudy</a>). degree type A collection of two disjoint collections, <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViS05wpEbGdrcN5Y29ycA" class="cyc_term">CommercialOrganization</a> and <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViu6JwpEbGdrcN5Y29ycA" class="cyc_term">NonProfitOrganization</a>. Each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvkNTd5wpEbGdrcN5Y29ycA" class="cyc_term">OrganizationTypeByProfitMotive</a> is a set whose elements are distinguished by either the fact that their activities are motivated by the desire to make a profit for their owners or by the fact that no such profit motive exists (or that any profit motive is secondary to a primary non-profit motive). For example, <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjRFpwpEbGdrcN5Y29ycA" class="cyc_term">SierraClub</a> is an instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViu6JwpEbGdrcN5Y29ycA" class="cyc_term">NonProfitOrganization</a>. Although <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjRFpwpEbGdrcN5Y29ycA" class="cyc_term">SierraClub</a> may engage in activities designed to generate a profit (e.g., selling <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjRFpwpEbGdrcN5Y29ycA" class="cyc_term">SierraClub</a> products), those activities are engaged in only for the purpose of furthering the primary goal of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjRFpwpEbGdrcN5Y29ycA" class="cyc_term">SierraClub</a> (which does not involve making money for the organization's owners (it has none) or members). OrganizationTypeByProfitMotive type of organization by profit motive award instrument type AwardInstrumentType TVShowTypeByGenre <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvwxDdZwpEbGdrcN5Y29ycA" class="cyc_term">TVShowTypeByGenre</a> is a collection of collections. Each element of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvwxDdZwpEbGdrcN5Y29ycA" class="cyc_term">TVShowTypeByGenre</a> is a collection of specs of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvnewlpwpEbGdrcN5Y29ycA" class="cyc_term">TVShow_CW</a> whose instances all have a similar type of content, style or format, e.g. <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvjVMdJwpEbGdrcN5Y29ycA" class="cyc_term">EducationalTVShowForChildren</a>, <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwScXBJwpEbGdrcN5Y29ycA" class="cyc_term">AnimatedTVShow</a>, or <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwDnDJ5wpEbGdrcN5Y29ycA" class="cyc_term">TVMiniseries</a>. Though this collection consists of various subsets of the collection <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvnewlpwpEbGdrcN5Y29ycA" class="cyc_term">TVShow_CW</a>, it is not a partition of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvnewlpwpEbGdrcN5Y29ycA" class="cyc_term">TVShow_CW</a> since many instances of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvnewlpwpEbGdrcN5Y29ycA" class="cyc_term">TVShow_CW</a> will belong to more than one <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvwxDdZwpEbGdrcN5Y29ycA" class="cyc_term">TVShowTypeByGenre</a>, <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvc2HUpwpEbGdrcN5Y29ycA" class="cyc_term">TheSimpsons_TVShow</a> is an instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwScXBJwpEbGdrcN5Y29ycA" class="cyc_term">AnimatedTVShow</a> as well as of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvfnmg5wpEbGdrcN5Y29ycA" class="cyc_term">SituationalComedy</a>. type of television show by genre informative tv show topic InformativeTVShowTypeByTopic <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvsUHipwpEbGdrcN5Y29ycA" class="cyc_term">InformativeTVShowTypeByTopic</a> is a collection of collections. Each element of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvsUHipwpEbGdrcN5Y29ycA" class="cyc_term">InformativeTVShowTypeByTopic</a> is a collection of instances of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwOAc1ZwpEbGdrcN5Y29ycA" class="cyc_term">InformativeTVShow</a> that are about the same topic. For example, <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwFw8CZwpEbGdrcN5Y29ycA" class="cyc_term">TVShowOnHealth</a> is an instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvsUHipwpEbGdrcN5Y29ycA" class="cyc_term">InformativeTVShowTypeByTopic</a>. Another example would be (<a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwIix25wpEbGdrcN5Y29ycA" class="cyc_term">SubcollectionOfAboutFn</a> <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwOAc1ZwpEbGdrcN5Y29ycA" class="cyc_term">InformativeTVShow</a> <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjrVZwpEbGdrcN5Y29ycA" class="cyc_term">Doctor_Medical</a>). This collection was created to make use of a faceting of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwOAc1ZwpEbGdrcN5Y29ycA" class="cyc_term">InformativeTVShow</a> to generate English questions to aid classification. See #$NoteAboutHowFacetAssertionsAreUsed. type of play by genre PlayTypeByGenre A <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvprlOZwpEbGdrcN5Y29ycA" class="cyc_term">FacetingCollectionType</a>. Each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4riS8iHnSwEdaAAACgyZzFrg" class="cyc_term">PlayTypeByGenre</a> is a specialization of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rv0F5opwpEbGdrcN5Y29ycA" class="cyc_term">Play_CW</a> whose instances are of the same genre. An example would be (<a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwT9j95wpEbGdrcN5Y29ycA" class="cyc_term">GenreFn</a> <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rv0F5opwpEbGdrcN5Y29ycA" class="cyc_term">Play_CW</a> <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rVGVKZHS-EdaAAACgyZzFrg" class="cyc_term">PropositionalConceptualWork_DramaGenre</a>), the collection of plays in the "drama" genre. ComputerGameTypeByOperatingSystem Each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwIM9S5wpEbGdrcN5Y29ycA" class="cyc_term">ComputerGameTypeByOperatingSystem</a> is a kind of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjmuJwpEbGdrcN5Y29ycA" class="cyc_term">ComputerGameProgram</a> whose instances all run on a particular <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViws5wpEbGdrcN5Y29ycA" class="cyc_term">OperatingSystem</a>. computer game classified by operating system USWorkVisaType The types of work visas given in the U.S. type of US work visa GLFGraphCoreComponentType GLF graph core component type NarrativeTypeByGenre <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvqk4t5wpEbGdrcN5Y29ycA" class="cyc_term">NarrativeTypeByGenre</a> is a collection of collections. Each element of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvqk4t5wpEbGdrcN5Y29ycA" class="cyc_term">NarrativeTypeByGenre</a> is a collection of instances of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViIbJwpEbGdrcN5Y29ycA" class="cyc_term">Narrative</a> whose instances are all of a similar style. type of narrative by genre type of computer program by distribution A collection of collections. Instances are subcollections of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwJxiRJwpEbGdrcN5Y29ycA" class="cyc_term">ComputerProgram_CW</a>, faceted by their method(s) of distribution. ComputerProgramTypeByDistribution A collection of types of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4r3NNXFjgtEdaHLgACs0uFOQ" class="cyc_term">Filesystem</a>, divided by their means of implementation. One widely deployed instance is <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4r3NN-IjgtEdaHLgACs0uFOQ" class="cyc_term">NetworkFileSystem</a>. type of file system FileSystemTypeByImplementation The collection of all types of fact sheet tables. FactSheetTableType FactSheetTableType This type-level collection partitions <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rnPI9UjIYEdaAAACQJ5pZBw" class="cyc_term">Schema_LogicalOrPhysical</a> into the collections <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rnruEpDIYEdaAAACQJ5pZBw" class="cyc_term">LogicalSchema</a> and <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4roRuOYDIYEdaAAACQJ5pZBw" class="cyc_term">PhysicalSchema</a>. schema type logical or physical SchemaType-LogicalOrPhysical A collection of collections. Each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rBU9nSCKDQdeWLpcPx_fdxQ" class="cyc_term">AcademicDepartmentTypeBySubject</a> is a collection of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViWRJwpEbGdrcN5Y29ycA" class="cyc_term">AcademicDepartment</a>s whose instances are distinguished by the fact that they all teach a similar subject matter (for instance, <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViNWpwpEbGdrcN5Y29ycA" class="cyc_term">MathematicsDepartment</a>, <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVix25wpEbGdrcN5Y29ycA" class="cyc_term">PhilosophyDepartment</a>). This collection differs from <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rWr20VCJhQdedT87yBOKnOw" class="cyc_term">DepartmentTypeByFunction</a> in that being an <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViWRJwpEbGdrcN5Y29ycA" class="cyc_term">AcademicDepartment</a> is assumed to be a single 'function', and that faceting by subjects taught/researched is therefore a further issue. AcademicDepartmentTypeBySubject type of academic department by subject-area TradeableSecurityTypeByConvertibility An instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvprlOZwpEbGdrcN5Y29ycA" class="cyc_term">FacetingCollectionType</a> that partitions <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rv0XONJwpEbGdrcN5Y29ycA" class="cyc_term">TradeableSecurity</a> into two classes: <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rl6wvkhNGEduAAADggVbxzQ" class="cyc_term">ConvertibleSecurity</a>, the collection of securities that contain an option (see <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvWnTEJwpEbGdrcN5Y29ycA" class="cyc_term">OptionTransactionAgreement</a> and <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvzyh1JwpEbGdrcN5Y29ycA" class="cyc_term">subObligations</a>) to convert that security into another security of a different type; and <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rR01syEHqEduAAAACs6hRXg" class="cyc_term">NonconvertibleSecurity</a>, the collection of securities that do not contain any such option. tradeable security type by convertibility A collection of collections. Each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4ruzA89iHNQdeMeqNOqSBq8w" class="cyc_term">DepartmentTypeByOrganization</a> is a collection of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViNHpwpEbGdrcN5Y29ycA" class="cyc_term">Department</a>s whose instances are distinguished by the fact that they all belong to a given <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjVT5wpEbGdrcN5Y29ycA" class="cyc_term">Organization</a>. See, for instance, #$CycorpDepartment. See also <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rWr20VCJhQdedT87yBOKnOw" class="cyc_term">DepartmentTypeByFunction</a>. DepartmentTypeByOrganization type of department by organization A collection of collections. Each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvWXYgJwpEbGdrcN5Y29ycA" class="cyc_term">ExistingObjectType</a> is a specialization of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVj27ZwpEbGdrcN5Y29ycA" class="cyc_term">PartiallyTangible</a> (q.v.). Moreover, each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvWXYgJwpEbGdrcN5Y29ycA" class="cyc_term">ExistingObjectType</a> is a collection that is temporally stuff-like (see <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVitN5wpEbGdrcN5Y29ycA" class="cyc_term">TemporalStuffType</a>) but physically-spatially object-like (see <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVirnZwpEbGdrcN5Y29ycA" class="cyc_term">ObjectType</a>) -- i.e. object-like with respect to some physical-spatial part-whole predicate (e.g. some specialization of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4r8a2smPXcQdiEoJhcx65EiQ" class="cyc_term">properPhysicalDecompositions</a>). Consider the collection <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwJaXepwpEbGdrcN5Y29ycA" class="cyc_term">BookCopy</a>. <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwJaXepwpEbGdrcN5Y29ycA" class="cyc_term">BookCopy</a> is a specialization of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVj27ZwpEbGdrcN5Y29ycA" class="cyc_term">PartiallyTangible</a>. Further, <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwJaXepwpEbGdrcN5Y29ycA" class="cyc_term">BookCopy</a> is temporally stuff-like: any one of the <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvWn4OZwpEbGdrcN5Y29ycA" class="cyc_term">timeSlices</a> of a given copy <code>COPY</code> of (say) "Moby Dick" is still a copy of "Moby Dick". (Most collections of tangible objects are temporally stuff-like in this way.) But <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwJaXepwpEbGdrcN5Y29ycA" class="cyc_term">BookCopy</a> is spatially object-like: if we take a scalpel and slice <code>COPY</code> into ten pieces, each piece is not a copy of "Moby Dick". So <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwJaXepwpEbGdrcN5Y29ycA" class="cyc_term">BookCopy</a> is an instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvWXYgJwpEbGdrcN5Y29ycA" class="cyc_term">ExistingObjectType</a>. See also <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVir35wpEbGdrcN5Y29ycA" class="cyc_term">StuffType</a> and <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVny6pwpEbGdrcN5Y29ycA" class="cyc_term">ExistingStuffType</a>. ExistingObjectType type of object BondTypeByIssuingAgentType An instance of #$SiblingDisjointCollection. Each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rjRjXbEPjQdmPLbINuE6w6w" class="cyc_term">BondTypeByIssuingAgentType</a> is a specialization of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViEIJwpEbGdrcN5Y29ycA" class="cyc_term">Bond_Agreement</a> all of whose instances are issued by the same type of agent (usually some specialization of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjVT5wpEbGdrcN5Y29ycA" class="cyc_term">Organization</a>). Instances of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rjRjXbEPjQdmPLbINuE6w6w" class="cyc_term">BondTypeByIssuingAgentType</a> include <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rFuQlMD0fQdmM2Pq6mETBoQ" class="cyc_term">CorporateBond_Agreement</a> and <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwC7wm5wpEbGdrcN5Y29ycA" class="cyc_term">MunicipalBond_Agreement</a>. bond type by issuing agent type color A collection of collections. Each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rr19QJHStEdaAAACgyZzFrg" class="cyc_term">Color</a> is a collection of instances of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwS68M5wpEbGdrcN5Y29ycA" class="cyc_term">SpatialThing_Localized</a> such that each has the same main exterior color. Use <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4r45WD6H7_EdaAAAABAjVgzA" class="cyc_term">mainColorOfObject</a> to assert that a particular thing's main exterior color is some color. For instance, (<a href="http://sw.opencyc.org/2008/06/10/concept/Mx4r45WD6H7_EdaAAAABAjVgzA" class="cyc_term">mainColorOfObject</a> THING COLOR) states that THING is predominantly the color COLOR. See also: <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4r6lGcdn7_EdaAAAABAjVgzA" class="cyc_term">significantColorOfObject</a>, <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4r4ZhYNn7_EdaAAAABAjVgzA" class="cyc_term">uniformColorOfObject</a>, and <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rAl3P4CKLEdeIqACgycbRfg" class="cyc_term">objectHasColor</a>. Color <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvv3SrZwpEbGdrcN5Y29ycA" class="cyc_term">TVShowTypeByFormat</a> is a collection of collections. Each element of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvv3SrZwpEbGdrcN5Y29ycA" class="cyc_term">TVShowTypeByFormat</a> is a collection of instances of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvnewlpwpEbGdrcN5Y29ycA" class="cyc_term">TVShow_CW</a> that have the same format. For example, <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwJXGyJwpEbGdrcN5Y29ycA" class="cyc_term">TVGameShow</a> and <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvaDNnJwpEbGdrcN5Y29ycA" class="cyc_term">VarietyShow</a> are elements of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvv3SrZwpEbGdrcN5Y29ycA" class="cyc_term">TVShowTypeByFormat</a>. The format of a <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvnewlpwpEbGdrcN5Y29ycA" class="cyc_term">TVShow_CW</a> is a way of describing the distinctive manner in which <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViIbJwpEbGdrcN5Y29ycA" class="cyc_term">Narrative</a>, and the visual and audio aspects of a <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvnewlpwpEbGdrcN5Y29ycA" class="cyc_term">TVShow_CW</a> are combined. For example, <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rv3A7lpwpEbGdrcN5Y29ycA" class="cyc_term">NewsShow</a>s combine shorts bits of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViIbJwpEbGdrcN5Y29ycA" class="cyc_term">Narrative</a> with bits of audio and video clips. <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvaDNnJwpEbGdrcN5Y29ycA" class="cyc_term">VarietyShow</a>s mix a number of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjAJ5wpEbGdrcN5Y29ycA" class="cyc_term">EntertainmentPerformance</a>s by <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjjEJwpEbGdrcN5Y29ycA" class="cyc_term">Artist_Performer</a>s. This collection was created to make use of a faceting of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvnewlpwpEbGdrcN5Y29ycA" class="cyc_term">TVShow_CW</a> to generate English questions to aid classification. See #$NoteAboutHowFacetAssertionsAreUsed. TV show format TVShowTypeByFormat DescriptionTypeByFocus An instance of #$FacetingCollecionType, each instance is a subcollection of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rNzAdusFWEdmAAAACs6hRjg" class="cyc_term">Description_PCW</a> whose instances all describe an object of the same type. (Note that since <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rNzAdusFWEdmAAAACs6hRjg" class="cyc_term">Description_PCW</a> is the collection of all descriptions of any instance of the type <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViA9JwpEbGdrcN5Y29ycA" class="cyc_term">Thing</a>, <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rNzAdusFWEdmAAAACs6hRjg" class="cyc_term">Description_PCW</a> is an instance of this collection.) description type by focus Methods used for computing the price of in a Buying - see the instances for examples. billing scheme BillingScheme specified information bearing thing type SpecifiedInformationBearingThingType A collection of collections which is being phased out. In most cases, instances of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwClAZJwpEbGdrcN5Y29ycA" class="cyc_term">ConceptualWork</a> should be used instead. Each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViqv5wpEbGdrcN5Y29ycA" class="cyc_term">SpecifiedInformationBearingThingType</a> is a subcollection of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvkNufpwpEbGdrcN5Y29ycA" class="cyc_term">InformationBearingThing</a>, all of whose instances are instantiations of the same <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwClAZJwpEbGdrcN5Y29ycA" class="cyc_term">ConceptualWork</a> and share a primary media form. Instances of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViqv5wpEbGdrcN5Y29ycA" class="cyc_term">SpecifiedInformationBearingThingType</a> can be created to refer to any instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwClAZJwpEbGdrcN5Y29ycA" class="cyc_term">ConceptualWork</a>. For example, the collection of all instances of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwJaXepwpEbGdrcN5Y29ycA" class="cyc_term">BookCopy</a> which are instantiations of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwLgpCZwpEbGdrcN5Y29ycA" class="cyc_term">WarAndPeace_TheNovel</a> would be an instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViqv5wpEbGdrcN5Y29ycA" class="cyc_term">SpecifiedInformationBearingThingType</a>, as would the collection of all instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjVH5wpEbGdrcN5Y29ycA" class="cyc_term">MovieShowing</a> which are instantiations of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwCuespwpEbGdrcN5Y29ycA" class="cyc_term">Jaws_TheMovie</a> (even though both the novel `War and Peace' and <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwCuespwpEbGdrcN5Y29ycA" class="cyc_term">Jaws_TheMovie</a> were issued in slightly different variants). Heterogeneous collections, however, such as those defined by `copies of books written by Mark Twain', or by `physical instantiations of the Jaws story in all its forms', are NOT subcollections of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViqv5wpEbGdrcN5Y29ycA" class="cyc_term">SpecifiedInformationBearingThingType</a>, although they are subcollections of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvkNufpwpEbGdrcN5Y29ycA" class="cyc_term">InformationBearingThing</a>. Example of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViqv5wpEbGdrcN5Y29ycA" class="cyc_term">SpecifiedInformationBearingThingType</a>: <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwPzny5wpEbGdrcN5Y29ycA" class="cyc_term">DimeCoin_US</a>. VectorIntervalType vector interval type A collection of collections. Each instance of this collection is a specialization of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjsEpwpEbGdrcN5Y29ycA" class="cyc_term">VectorInterval</a>. 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 <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvprlOZwpEbGdrcN5Y29ycA" class="cyc_term">FacetingCollectionType</a>. Each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rrFSopLOVEdqAAACQJw5drg" class="cyc_term">PhysicsProblemTypeByConceptInvolved</a> is a collection of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rSaBhwKO_EdqAAAACs6hRXg" class="cyc_term">PhysicsProblem</a>s involving the same concept or set of concepts. Examples include <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rS2xaQKO_EdqAAAACs6hRXg" class="cyc_term">PhysicsProblem_ConstantAcceleration</a> and <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rQWVzKKPUEdqAAAACs6hRXg" class="cyc_term">PhysicsProblem_DistanceVelocity</a>. PhysicsProblemTypeByConceptInvolved physics problem type by concept involved TradeableSecurityTypeByListingStatus tradeable security type by listing status An instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvprlOZwpEbGdrcN5Y29ycA" class="cyc_term">FacetingCollectionType</a> that partitions <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rv0XONJwpEbGdrcN5Y29ycA" class="cyc_term">TradeableSecurity</a> into two classes: <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4ryP5p4A3HEduAAADggVbxzQ" class="cyc_term">ExchangeTradedSecurity</a>, the collection of securities traded on an official exchange, and <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rWah5QA3IEduAAADggVbxzQ" class="cyc_term">UnlistedSecurity</a>, the collection of securities that are not so traded. SpatialThingTypeByShape configuration A specialization of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rHIBS0h_TEdaAAABQ2rksLw" class="cyc_term">FirstOrderCollection</a> whose instances are collections of things sorted purely in terms of their shape. Each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwPRuD5wpEbGdrcN5Y29ycA" class="cyc_term">SpatialThingTypeByShape</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 things, either tangible or intangible, that have some particular thing in common as regards their shape. For example, <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwTr58ZwpEbGdrcN5Y29ycA" class="cyc_term">Wedge</a> is the collection of all wedge-shaped objects; it includes both physical wedges and wedge-shaped <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvlxdi5wpEbGdrcN5Y29ycA" class="cyc_term">SpaceRegion</a>s. Similarly, <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjUVZwpEbGdrcN5Y29ycA" class="cyc_term">Square</a> is the collection of all two-dimensional squares; but note that all of its instances are intangible, since tangible objects are by their nature three-dimensional. Finally, note that <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwwfziB5sQdeF8uYL1bPzcw" class="cyc_term">Block</a> (e.g.) is not a <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwPRuD5wpEbGdrcN5Y29ycA" class="cyc_term">SpatialThingTypeByShape</a>; for it collects its instances not merely by their shape, but also by the fact that they are <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjElJwpEbGdrcN5Y29ycA" class="cyc_term">SolidTangibleThing</a>s. Specializations of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwPRuD5wpEbGdrcN5Y29ycA" class="cyc_term">SpatialThingTypeByShape</a> include #$SpatialThingTypeByGeometricShape and <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvfBumZwpEbGdrcN5Y29ycA" class="cyc_term">SpatialThingTypeByDimensionality</a>. DepositoryReceiptTypeByPolityOfIssue An instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvWPoRpwpEbGdrcN5Y29ycA" class="cyc_term">DisjointCollectionType</a> that facets <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rRJ7eqiMCEduAAADggVbxzQ" class="cyc_term">DepositoryReceipt</a> into collections with a shared polity of issue. depository receipt type by polity of issue A collection of collections; a subset of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvWXYgJwpEbGdrcN5Y29ycA" class="cyc_term">ExistingObjectType</a>. Every instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwLgp8pwpEbGdrcN5Y29ycA" class="cyc_term">MediaSeriesProductType</a> is a collection of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvkNufpwpEbGdrcN5Y29ycA" class="cyc_term">InformationBearingThing</a>s, subsets of which are distributed via the mass media at regular intervals. Examples: <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwKCY65wpEbGdrcN5Y29ycA" class="cyc_term">TheNewYorkTimes_TheNewspaper</a> is a <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwLgp8pwpEbGdrcN5Y29ycA" class="cyc_term">MediaSeriesProductType</a>, a collection of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rv4ByW5wpEbGdrcN5Y29ycA" class="cyc_term">NewspaperSeries</a> of which each edition is a subset -- a collection of the newspapers printed and circulated on a particular day; each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwKCY65wpEbGdrcN5Y29ycA" class="cyc_term">TheNewYorkTimes_TheNewspaper</a> is a <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVigXJwpEbGdrcN5Y29ycA" class="cyc_term">NewspaperCopy</a>, a <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjgDpwpEbGdrcN5Y29ycA" class="cyc_term">HardcopyInformationBearingObject</a>. <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvu55tJwpEbGdrcN5Y29ycA" class="cyc_term">StarTrek_Classic</a> is a <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwLgp8pwpEbGdrcN5Y29ycA" class="cyc_term">MediaSeriesProductType</a>, a <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvj_X65wpEbGdrcN5Y29ycA" class="cyc_term">TVSeriesProduct</a> of which each episode is a subset -- a collection of TV shows broadcast at a particular time; each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvu55tJwpEbGdrcN5Y29ycA" class="cyc_term">StarTrek_Classic</a> is a <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rv6PpTpwpEbGdrcN5Y29ycA" class="cyc_term">TVShow_SingleCW</a>. See also <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvvRJWZwpEbGdrcN5Y29ycA" class="cyc_term">MediaSeriesNthFn</a>, <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvvkF-JwpEbGdrcN5Y29ycA" class="cyc_term">MediaSeriesByDateFn</a>. MediaSeriesProductType type of media series product FictionalTVShowTypeByTopic <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwFdz8JwpEbGdrcN5Y29ycA" class="cyc_term">FictionalTVShowTypeByTopic</a> is a collection of collections. Each element of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwFdz8JwpEbGdrcN5Y29ycA" class="cyc_term">FictionalTVShowTypeByTopic</a> is a collection of instances of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvnApWpwpEbGdrcN5Y29ycA" class="cyc_term">FictionalTVShow_CW</a> that are about the same topic. For example, <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvZslbZwpEbGdrcN5Y29ycA" class="cyc_term">LawyerTVShow</a> is an instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwFdz8JwpEbGdrcN5Y29ycA" class="cyc_term">FictionalTVShowTypeByTopic</a>. Another example would be (<a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwIix25wpEbGdrcN5Y29ycA" class="cyc_term">SubcollectionOfAboutFn</a> <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvnApWpwpEbGdrcN5Y29ycA" class="cyc_term">FictionalTVShow_CW</a> <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjrVZwpEbGdrcN5Y29ycA" class="cyc_term">Doctor_Medical</a>). This collection was created to make use of a faceting of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvnApWpwpEbGdrcN5Y29ycA" class="cyc_term">FictionalTVShow_CW</a> to generate English questions to aid classification. See #$NoteAboutHowFacetAssertionsAreUsed. fictional tv show topic The collection of specializations <code>SPEC</code> of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvWEA25wpEbGdrcN5Y29ycA" class="cyc_term">CharacterString</a>, such that each instance of <code>SPEC</code> is an HTML string with the same outermost tag (see <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwADxqpwpEbGdrcN5Y29ycA" class="cyc_term">HTMLTag</a>). HTMLStringTypeByTag HTML string type by tag An instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rHQdVmB_TEdaAAABQ2rksLw" class="cyc_term">SecondOrderCollection</a>. Each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rlKxg8kPjQdmfR5oByCeXYw" class="cyc_term">MarketTypeByProductSold</a> is a subcollection of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwQrqCZwpEbGdrcN5Y29ycA" class="cyc_term">Market</a>, each of whose instances is a market for the same type of product. For example, <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rIkA7DkPgQdmEttq2OhDLWw" class="cyc_term">HousingMarket</a> is an instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rlKxg8kPjQdmfR5oByCeXYw" class="cyc_term">MarketTypeByProductSold</a>. MarketTypeByProductSold type of market classified by product sold type of quantity A <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rHQdVmB_TEdaAAABQ2rksLw" class="cyc_term">SecondOrderCollection</a> and a specialization of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVirnZwpEbGdrcN5Y29ycA" class="cyc_term">ObjectType</a>. Each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVkDZJwpEbGdrcN5Y29ycA" class="cyc_term">QuantityType</a> is a specialization of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rSGNLQK45EdqAAAACs6hRXg" class="cyc_term">Quantity</a> (q.v.). Notable specializations of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVkDZJwpEbGdrcN5Y29ycA" class="cyc_term">QuantityType</a> include <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwF4t15wpEbGdrcN5Y29ycA" class="cyc_term">TotallyOrderedQuantityType</a> and <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjVk5wpEbGdrcN5Y29ycA" class="cyc_term">UnorderedQuantityType</a>. QuantityType PhysiologicalConditionType A collection of collections. Each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwQwW_pwpEbGdrcN5Y29ycA" class="cyc_term">PhysiologicalConditionType</a> is a specialization of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwQw4WZwpEbGdrcN5Y29ycA" class="cyc_term">PhysiologicalCondition</a> (q.v.), and thus a type of physiological state into which some organisms can enter. Instances of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwQwW_pwpEbGdrcN5Y29ycA" class="cyc_term">PhysiologicalConditionType</a> include <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwP1qGpwpEbGdrcN5Y29ycA" class="cyc_term">Cancer</a>, <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwP1baJwpEbGdrcN5Y29ycA" class="cyc_term">PsychologicalAilment</a>, <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwQwvf5wpEbGdrcN5Y29ycA" class="cyc_term">Infection</a>, and <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvgC7mJwpEbGdrcN5Y29ycA" class="cyc_term">Malnutrition</a>. type of ailment ComputerProgramTypeByCreator <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rv5HKoZwpEbGdrcN5Y29ycA" class="cyc_term">ComputerProgramTypeByCreator</a> is a collection of types of computer programs. Collections that are instances of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rv5HKoZwpEbGdrcN5Y29ycA" class="cyc_term">ComputerProgramTypeByCreator</a> are collections of programs whose instances all have a <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjt9pwpEbGdrcN5Y29ycA" class="cyc_term">programAuthor</a> in common. type of computer program by creator LinguisticObjectType linguistic object type A collection of collections. Each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVkA9JwpEbGdrcN5Y29ycA" class="cyc_term">LinguisticObjectType</a> is a specialization of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjQ-5wpEbGdrcN5Y29ycA" class="cyc_term">LinguisticObject</a> (q.v.). BPVArtifactType bpv artifact type AccountType type of account A collection of collections and a specialization of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVirnZwpEbGdrcN5Y29ycA" class="cyc_term">ObjectType</a>. Each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViL6JwpEbGdrcN5Y29ycA" class="cyc_term">AccountType</a> is a collection of financial accounts of the same type. Instances of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViL6JwpEbGdrcN5Y29ycA" class="cyc_term">AccountType</a> include <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViYz5wpEbGdrcN5Y29ycA" class="cyc_term">SavingsAccount</a>, <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjRVZwpEbGdrcN5Y29ycA" class="cyc_term">CreditCardAccount</a>, <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVi6M5wpEbGdrcN5Y29ycA" class="cyc_term">RetirementAccount</a>, <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjDKZwpEbGdrcN5Y29ycA" class="cyc_term">SocialSecurityAccount</a>, and <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVkJd5wpEbGdrcN5Y29ycA" class="cyc_term">TravelExpenseAccount</a>. type of language family Related groups of languages. LanguageFamilyType NTStandardFileType A collection of collections. Instances of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvnRnKZwpEbGdrcN5Y29ycA" class="cyc_term">NTStandardFileType</a> are collections of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwFz9L5wpEbGdrcN5Y29ycA" class="cyc_term">ComputerFile_AIS</a>es, instances of which are typically found on <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rv8x4M5wpEbGdrcN5Y29ycA" class="cyc_term">NTWorkstation</a>s and <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvoJvnZwpEbGdrcN5Y29ycA" class="cyc_term">NTDomainServer</a>s. type of NT standard file SKSI profiling query type <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rz1uBztVfEdqAAAACs6hO_g" class="cyc_term">SKSIProfilingQueryType</a> is a second order collection of specializations of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rNVgK2tPJEdqAAAACs6hO_g" class="cyc_term">SKSIProfilingQuery</a> which are intended to serve as query suites for profiling the performance of SKSI functionality under various perturbations of the Cyc architecture. SKSIProfilingQueryType A collection of collections and a specialization of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVirnZwpEbGdrcN5Y29ycA" class="cyc_term">ObjectType</a> (q.v.). Each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rpPHhAOB1EdqAAAACs6hRXg" class="cyc_term">SpatiallyDisjointObjectType</a> is a collection C of spatial things (see <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjpUZwpEbGdrcN5Y29ycA" class="cyc_term">SpatialThing</a>), where each of the spatial things in C is spatially disjoint with the other spatial things in C. For example, the collection <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjaoJwpEbGdrcN5Y29ycA" class="cyc_term">Dog</a> is an instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rpPHhAOB1EdqAAAACs6hRXg" class="cyc_term">SpatiallyDisjointObjectType</a>, since dogs do not spatially overlap. Even pregnant dogs do not spatially overlap the pups they bear; rather, pregnant dogs contain their unborn pups. Other instances of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rpPHhAOB1EdqAAAACs6hRXg" class="cyc_term">SpatiallyDisjointObjectType</a> include <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwVGrQ5wpEbGdrcN5Y29ycA" class="cyc_term">LatitudeLine</a>, <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvW4n1pwpEbGdrcN5Y29ycA" class="cyc_term">CompactDisc_Audio</a>, and <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwR7UWZwpEbGdrcN5Y29ycA" class="cyc_term">PlanetaryBody</a>. An important specialization of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rpPHhAOB1EdqAAAACs6hRXg" class="cyc_term">SpatiallyDisjointObjectType</a> is <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjlE5wpEbGdrcN5Y29ycA" class="cyc_term">SpatiallyDisjointRegionType</a> (a collection of specializations of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViACZwpEbGdrcN5Y29ycA" class="cyc_term">GeographicalRegion</a>, such as <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjnZ5wpEbGdrcN5Y29ycA" class="cyc_term">City</a> and <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwT-n15wpEbGdrcN5Y29ycA" class="cyc_term">TrueContinent</a>). spatially disjoint object type SpatiallyDisjointObjectType CredentialTypeBySkill Elements are kinds of credentials, characterized by certifying a particular skill or training. type of credential by skill type of organization by clients A collection of four collections, <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rR3kXwo0FEdaAAABQ2rksLw" class="cyc_term">OrganizationWithClients</a>, <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvyoleJwpEbGdrcN5Y29ycA" class="cyc_term">OrganizationWithoutClients</a>, and two specializations of the former <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVlj5ZwpEbGdrcN5Y29ycA" class="cyc_term">OrganizationWithBusinessClients</a>, and <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvjcn4ZwpEbGdrcN5Y29ycA" class="cyc_term">OrganizationWithIndividualClients</a>. The <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjVT5wpEbGdrcN5Y29ycA" class="cyc_term">Organization</a>s that are instances of the collections which are elements of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvp5UAZwpEbGdrcN5Y29ycA" class="cyc_term">OrganizationTypeByClients</a> are distinguished by the types of clients they serve or by their lack of clients (clients being used here in the sense of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjLFpwpEbGdrcN5Y29ycA" class="cyc_term">clients</a>). Clients are not necessarily members of an Organization (see <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVj-BJwpEbGdrcN5Y29ycA" class="cyc_term">groupMembers</a>); although members of an <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjVT5wpEbGdrcN5Y29ycA" class="cyc_term">Organization</a> may also be clients of that <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjVT5wpEbGdrcN5Y29ycA" class="cyc_term">Organization</a> (an employee of a <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViRwZwpEbGdrcN5Y29ycA" class="cyc_term">Hospital</a> may also be a patient of the <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViRwZwpEbGdrcN5Y29ycA" class="cyc_term">Hospital</a>), a client of an <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjVT5wpEbGdrcN5Y29ycA" class="cyc_term">Organization</a> need not be a member. University students are both <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjLFpwpEbGdrcN5Y29ycA" class="cyc_term">clients</a> and members of a university. OrganizationTypeByClients bugzilla bug report type <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rO8FhpmPCQdiFNP6cJigi-g" class="cyc_term">BugzillaBugReportType</a> is a second order collection which facets BugzillaBugReport. Specializations of this collection type group the specs of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4r8BS9oDL1Qdec54Cn4tsnZQ" class="cyc_term">BugzillaBugReport</a> according to various properties of their member, such as by resolution priority and severity. BugzillaBugReportType This collection classifies path systems according to the kind of event or structured system that they are used to model as opposed to the structural features of the path system (see <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvvv7n5wpEbGdrcN5Y29ycA" class="cyc_term">PathSystemType_Structural</a>). An example of an instance of this collection is <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwQ5ejJwpEbGdrcN5Y29ycA" class="cyc_term">ScriptGraph</a> which is the collection of path systems used to model apects of scripts and script types. model path system PathSystemType-Model type of force Types of forces. Its place in the hierarchy is parallel to <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVkDZJwpEbGdrcN5Y29ycA" class="cyc_term">QuantityType</a>'s place ForceType Each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rDTwbHqKrQdiDUfm18Y6Tow" class="cyc_term">SoftwareTestTypeVersion</a> is a version of a collection whose instances are individual software test definitions. Instances of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rDTwbHqKrQdiDUfm18Y6Tow" class="cyc_term">SoftwareTestTypeVersion</a> represent categories of tests grouped together because they test similar functionality, and which might sensibly be run as a unit. SoftwareTestTypeVersion software test type version InternetNewsgroup newsgroup The collection of all internet newsgroups, such as rec.music.makers or alt.food.preserving. Each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwRZ4-pwpEbGdrcN5Y29ycA" class="cyc_term">InternetNewsgroup</a> has as <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rv6HodJwpEbGdrcN5Y29ycA" class="cyc_term">episodes</a> instances of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rv9-EFpwpEbGdrcN5Y29ycA" class="cyc_term">InternetNewsgroupMessage</a>, each of which is more or less on the group's central topic of focus. LoanNote-Transferable loan note A specialization of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViwHJwpEbGdrcN5Y29ycA" class="cyc_term">AuthorizedAgreement</a> and <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rv0XONJwpEbGdrcN5Y29ycA" class="cyc_term">TradeableSecurity</a>. Each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rGLo6sE1MQdmHFPIN7tSvFg" class="cyc_term">LoanNote_Transferable</a> is an agreement that has been recorded in writing as a short-term promise of an issuer to repay a specified principal amount on a particular date, together with interest at a stated rate, payable from a defined source of anticipated revenue. Notes usuall