]> 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. type of collection A collection of collections of collections. <a href="http://sw.opencyc.org/2008/06/10/concept/en/CollectionType" class="cyc_term">CollectionType</a> is the collection of all (and only) types of <a href="http://sw.opencyc.org/2008/06/10/concept/en/Collection" 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/en/CollectionType" 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/en/PersonTypeByCulture" 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/en/CollectionType" class="cyc_term">CollectionType</a>. Important specializations of <a href="http://sw.opencyc.org/2008/06/10/concept/en/CollectionType" class="cyc_term">CollectionType</a> include <a href="http://sw.opencyc.org/2008/06/10/concept/en/DisjointCollectionType" class="cyc_term">DisjointCollectionType</a>, <a href="http://sw.opencyc.org/2008/06/10/concept/en/SiblingDisjointCollectionType" class="cyc_term">SiblingDisjointCollectionType</a>, and <a href="http://sw.opencyc.org/2008/06/10/concept/en/CollectionTypeType" class="cyc_term">CollectionTypeType</a>. CollectionType Mx4rvtppU5wpEbGdrcN5Y29ycA types of collection collection type collection types faceting collection type A collection of <a href="http://sw.opencyc.org/2008/06/10/concept/en/CollectionType" class="cyc_term">CollectionType</a>s. Each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/en/FacetingCollectionType" class="cyc_term">FacetingCollectionType</a> is a collection-type that "facets" -- i.e. stands in the <a href="http://sw.opencyc.org/2008/06/10/concept/en/facets_Generic" class="cyc_term">facets_Generic</a> (q.v.) relation to -- another collection. Examples include <a href="http://sw.opencyc.org/2008/06/10/concept/en/AutomobileTypeByBrand" class="cyc_term">AutomobileTypeByBrand</a> and <a href="http://sw.opencyc.org/2008/06/10/concept/en/MusicTypeByGenre" class="cyc_term">MusicTypeByGenre</a>, which facet <a href="http://sw.opencyc.org/2008/06/10/concept/en/Automobile" class="cyc_term">Automobile</a> and <a href="http://sw.opencyc.org/2008/06/10/concept/en/Music" class="cyc_term">Music</a>, respectively. FacetingCollectionType totally ordered collection type TotallyOrderedCollectionType A <a href="http://sw.opencyc.org/2008/06/10/concept/en/CollectionTypeType" class="cyc_term">CollectionTypeType</a> and the collection-intersection of <a href="http://sw.opencyc.org/2008/06/10/concept/en/TotallyOrderedCollection" class="cyc_term">TotallyOrderedCollection</a> and <a href="http://sw.opencyc.org/2008/06/10/concept/en/CollectionType" class="cyc_term">CollectionType</a> (qq.v.). Thus, something is an instance of <a href="http://sw.opencyc.org/2008/06/10/concept/en/TotallyOrderedCollectionType" class="cyc_term">TotallyOrderedCollectionType</a> if and only if it is a totally-ordered collection of collections. An example of a totally-ordered collection-type is <a href="http://sw.opencyc.org/2008/06/10/concept/en/DegreeOfCloudiness" class="cyc_term">DegreeOfCloudiness</a>. CollectionTypeType type of collection type A higher-order collection and an instance of <a href="http://sw.opencyc.org/2008/06/10/concept/en/VariedOrderCollection" class="cyc_term">VariedOrderCollection</a>. Instances of <a href="http://sw.opencyc.org/2008/06/10/concept/en/CollectionTypeType" class="cyc_term">CollectionTypeType</a> are types of collection types, that is, collections whose instances are collections of (not necessarily first-order) collections. Thus any instance of <a href="http://sw.opencyc.org/2008/06/10/concept/en/FixedOrderCollection" class="cyc_term">FixedOrderCollection</a> (q.v.) of order greater than or equal to 3 is a specialization of <a href="http://sw.opencyc.org/2008/06/10/concept/en/CollectionTypeType" class="cyc_term">CollectionTypeType</a>. SiblingDisjointCollectionType A <a href="http://sw.opencyc.org/2008/06/10/concept/en/KBDependentCollection" class="cyc_term">KBDependentCollection</a> of collections of collections (and thus an instance of <a href="http://sw.opencyc.org/2008/06/10/concept/en/CollectionTypeType" class="cyc_term">CollectionTypeType</a> and a specialization of <a href="http://sw.opencyc.org/2008/06/10/concept/en/CollectionType" class="cyc_term">CollectionType</a>). A sibling-disjoint collection type is such that its known (i.e. KB-represented) instances are collections that -- save for any that are related to each other by <a href="http://sw.opencyc.org/2008/06/10/concept/en/genls" class="cyc_term">genls</a> and any that are explicitly asserted to be exceptions (see <a href="http://sw.opencyc.org/2008/06/10/concept/en/siblingDisjointExceptions" class="cyc_term">siblingDisjointExceptions</a>) -- are disjoint from each other. More precisely, each instance <code>SIB</code> of <a href="http://sw.opencyc.org/2008/06/10/concept/en/SiblingDisjointCollectionType" class="cyc_term">SiblingDisjointCollectionType</a> is a collection of collections that has the following KB-dependent property: For any two known instances <code>COL1</code> and <code>COL2</code> of <code>SIB</code>, at least one of the following is known to hold: <pre> (a) (<a href="http://sw.opencyc.org/2008/06/10/concept/en/genls" class="cyc_term">genls</a> COL1 COL2) (b) (<a href="http://sw.opencyc.org/2008/06/10/concept/en/genls" class="cyc_term">genls</a> COL2 COL1) (c) (<a href="http://sw.opencyc.org/2008/06/10/concept/en/siblingDisjointExceptions" class="cyc_term">siblingDisjointExceptions</a> COL1 COL2) (d) (<a href="http://sw.opencyc.org/2008/06/10/concept/en/disjointWith" class="cyc_term">disjointWith</a> COL1 COL2) </pre> Moreover, note that if <code>MT</code> is a context (see <a href="http://sw.opencyc.org/2008/06/10/concept/en/Microtheory" class="cyc_term">Microtheory</a>) in which (i) both <code>(<a href="http://sw.opencyc.org/2008/06/10/concept/en/isa" class="cyc_term">isa</a> COL1 SIB)</code> and <code>(<a href="http://sw.opencyc.org/2008/06/10/concept/en/isa" class="cyc_term">isa</a> COL2 SIB)</code> hold and (ii) neither <code>(<a href="http://sw.opencyc.org/2008/06/10/concept/en/genls" class="cyc_term">genls</a> COL1 COL2)</code> nor <code>(<a href="http://sw.opencyc.org/2008/06/10/concept/en/genls" class="cyc_term">genls</a> COL2 COL1)</code> nor <code>(<a href="http://sw.opencyc.org/2008/06/10/concept/en/siblingDisjointExceptions" class="cyc_term">siblingDisjointExceptions</a> COL1 COL2)</code> is known to hold (see <a href="http://sw.opencyc.org/2008/06/10/concept/en/knownSentence" class="cyc_term">knownSentence</a>), then <code>(<a href="http://sw.opencyc.org/2008/06/10/concept/en/disjointWith" class="cyc_term">disjointWith</a> COL1 COL2)</code> holds by default in <code>MT</code>. For example, in <a href="http://sw.opencyc.org/2008/06/10/concept/en/BiologyMt" class="cyc_term">BiologyMt</a> both <a href="http://sw.opencyc.org/2008/06/10/concept/en/Person" class="cyc_term">Person</a> and <a href="http://sw.opencyc.org/2008/06/10/concept/en/Dog" class="cyc_term">Dog</a> are instances of the sibling-disjoint collection type <a href="http://sw.opencyc.org/2008/06/10/concept/en/BiologicalSpecies" class="cyc_term">BiologicalSpecies</a>, while neither (<a href="http://sw.opencyc.org/2008/06/10/concept/en/genls" class="cyc_term">genls</a> <a href="http://sw.opencyc.org/2008/06/10/concept/en/Person" class="cyc_term">Person</a> <a href="http://sw.opencyc.org/2008/06/10/concept/en/Dog" class="cyc_term">Dog</a>) nor (<a href="http://sw.opencyc.org/2008/06/10/concept/en/genls" class="cyc_term">genls</a> <a href="http://sw.opencyc.org/2008/06/10/concept/en/Dog" class="cyc_term">Dog</a> <a href="http://sw.opencyc.org/2008/06/10/concept/en/Person" class="cyc_term">Person</a>) nor (<a href="http://sw.opencyc.org/2008/06/10/concept/en/siblingDisjointExceptions" class="cyc_term">siblingDisjointExceptions</a> <a href="http://sw.opencyc.org/2008/06/10/concept/en/Person" class="cyc_term">Person</a> <a href="http://sw.opencyc.org/2008/06/10/concept/en/Dog" class="cyc_term">Dog</a>) is known to hold in that context; consequently, (<a href="http://sw.opencyc.org/2008/06/10/concept/en/disjointWith" class="cyc_term">disjointWith</a> <a href="http://sw.opencyc.org/2008/06/10/concept/en/Person" class="cyc_term">Person</a> <a href="http://sw.opencyc.org/2008/06/10/concept/en/Dog" class="cyc_term">Dog</a>) holds by default in <a href="http://sw.opencyc.org/2008/06/10/concept/en/BiologyMt" class="cyc_term">BiologyMt</a>. Instances of <a href="http://sw.opencyc.org/2008/06/10/concept/en/SiblingDisjointCollectionType" class="cyc_term">SiblingDisjointCollectionType</a> include <a href="http://sw.opencyc.org/2008/06/10/concept/en/BiologicalTaxon" class="cyc_term">BiologicalTaxon</a> (and its specializations), <a href="http://sw.opencyc.org/2008/06/10/concept/en/OrganismPartType" class="cyc_term">OrganismPartType</a>, and <a href="http://sw.opencyc.org/2008/06/10/concept/en/RelationshipTypeByArity" class="cyc_term">RelationshipTypeByArity</a>. See the generalization <a href="http://sw.opencyc.org/2008/06/10/concept/en/SiblingDisjointSetOrCollectionType" class="cyc_term">SiblingDisjointSetOrCollectionType</a>. Also cf. the stronger notion of <a href="http://sw.opencyc.org/2008/06/10/concept/en/DisjointCollectionType" class="cyc_term">DisjointCollectionType</a>. sibling disjoint collection type A third order collection. Each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/en/ObjectTypeTypeByStatusAfterEvent" class="cyc_term">ObjectTypeTypeByStatusAfterEvent</a> is a collection that represents a feature of objects after their participation in events. Each instance of an instance of <a href="http://sw.opencyc.org/2008/06/10/concept/en/ObjectTypeTypeByStatusAfterEvent" class="cyc_term">ObjectTypeTypeByStatusAfterEvent</a> is a collection of actors in some event that share some property relating to their participation in that event. ObjectTypeTypeByStatusAfterEvent object type by status after event closed intersection collection type ClosedIntersectionCollectionType <a href="http://sw.opencyc.org/2008/06/10/concept/en/ClosedIntersectionCollectionType" class="cyc_term">ClosedIntersectionCollectionType</a> is a collection of collection types which all share the following property: Whenever COLLTYPE is an instance of this collection, and COLL1 and COLL2 are instances of COLLTYPE, then the intersection of COLL1 and COLL2 is also an instance of COLLTYPE. For example, <a href="http://sw.opencyc.org/2008/06/10/concept/en/SpatialThingTypeByShape" class="cyc_term">SpatialThingTypeByShape</a> is an instance of this collection. #$SomewhatRoundObject and <a href="http://sw.opencyc.org/2008/06/10/concept/en/Cube" class="cyc_term">Cube</a> are both instances of <a href="http://sw.opencyc.org/2008/06/10/concept/en/SpatialThingTypeByShape" class="cyc_term">SpatialThingTypeByShape</a>, so (<a href="http://sw.opencyc.org/2008/06/10/concept/en/CollectionIntersectionFn" class="cyc_term">CollectionIntersectionFn</a> (<a href="http://sw.opencyc.org/2008/06/10/concept/en/TheSet" class="cyc_term">TheSet</a> #$SomewhatRoundObject <a href="http://sw.opencyc.org/2008/06/10/concept/en/Cube" class="cyc_term">Cube</a>)), the collection of somewhat round cubes, is also an instance of <a href="http://sw.opencyc.org/2008/06/10/concept/en/SpatialThingTypeByShape" class="cyc_term">SpatialThingTypeByShape</a>. Note that it is possible that this intersection may be empty. <a href="http://sw.opencyc.org/2008/06/10/concept/en/Square" class="cyc_term">Square</a> and <a href="http://sw.opencyc.org/2008/06/10/concept/en/Circle" class="cyc_term">Circle</a> are both instances of <a href="http://sw.opencyc.org/2008/06/10/concept/en/SpatialThingTypeByShape" class="cyc_term">SpatialThingTypeByShape</a>, so is (<a href="http://sw.opencyc.org/2008/06/10/concept/en/CollectionIntersectionFn" class="cyc_term">CollectionIntersectionFn</a> (<a href="http://sw.opencyc.org/2008/06/10/concept/en/TheSet" class="cyc_term">TheSet</a> <a href="http://sw.opencyc.org/2008/06/10/concept/en/Square" class="cyc_term">Square</a> <a href="http://sw.opencyc.org/2008/06/10/concept/en/Circle" class="cyc_term">Circle</a>)), even though this collection is necessarily empty. SecondOrderCollection second-order Cyc collection The collection of all specializations of <a href="http://sw.opencyc.org/2008/06/10/concept/en/FirstOrderCollection" class="cyc_term">FirstOrderCollection</a>, that is, of all collections of (first-order) collections, and an instance of <a href="http://sw.opencyc.org/2008/06/10/concept/en/ThirdOrderCollection" class="cyc_term">ThirdOrderCollection</a>. Instances of <a href="http://sw.opencyc.org/2008/06/10/concept/en/SecondOrderCollection" class="cyc_term">SecondOrderCollection</a> are collections of <a href="http://sw.opencyc.org/2008/06/10/concept/en/FirstOrderCollection" class="cyc_term">FirstOrderCollection</a>s. Any instance of any instance of any instance of <a href="http://sw.opencyc.org/2008/06/10/concept/en/SecondOrderCollection" class="cyc_term">SecondOrderCollection</a> is an <a href="http://sw.opencyc.org/2008/06/10/concept/en/Individual" class="cyc_term">Individual</a>. KE clarifying collection type The collection of all instances of <a href="http://sw.opencyc.org/2008/06/10/concept/en/ClarifyingCollectionType" class="cyc_term">ClarifyingCollectionType</a> that are used by the #$KRAKEN application to resolve natural language ambiguities. KEClarifyingCollectionType Event-StateLevel-Negative negative state-level event ModalityFeature-QuanEq modality feature quan eq manual transmission state ManualTransmissionState ModalityFeature-BinaryOp modality feature binary op Classification-US classification us (CollectionIntersectionFn (TheSet (SubcollectionOfWithRelationToFn IonicCompoundType anionTypeOfIonicCompoundType ArseniteIon) (SubcollectionOfWithRelationToFn IonicCompoundType anionTypeOfIonicCompoundType ArsenateIon))) member of { types of ionic compound whose type of anion in an ionic compound is arsenite ions, types of ionic compound whose type of anion in an ionic compound is arsenate ions } GovernmentAffiliatedInformationDesignation government affiliated information designation A subcollection of <a href="http://sw.opencyc.org/2008/06/10/concept/en/InformationDesignation" class="cyc_term">InformationDesignation</a>. Instances of this collection are attributes of information. Specifically, they are designations of information that are, or could be, used by governments, coalitions that are formed between governments, or between a government and other political groups to specify the conditions under which information of interest or use to them can be accessed. For instance, if a government contracted with the political group Amnesty International for a foreign (or domestic) operation that required access to protected information, they might designate such information in order to manage and enforce its application, accessibility, and use. In this case, the designations of the information would be instances of #$GovernmentAffilitatedInformationDesignation. Note that the designation scheme might borrow from preexisting schemes that the government might already use, although it could also include novel naming conventions to prevent mis-application and confusion about the scope of the designations: 'Classified-AmnestySecret', for instance. 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. InsuranceTypeByFeature insurance type clearance SecurityClearance CAEUserCreatedCollection This is the collection of collections created by users of the CAE. caeuser created collection AssociatedActionType-InfoconLevel associated action type infocon level social quantity type This is a collection of collections. Each <a href="http://sw.opencyc.org/2008/06/10/concept/en/SocialQuantityType" class="cyc_term">SocialQuantityType</a> is itself a coherent collection of quantities that pertain to human behavior. This definition is very broad, and embraces attributes of behavior (personal and social) one might read about in a sociology, psychology, cultural anthropology, economics, political science, or social philosophy course -- in short, in the (human) `behavioral' sciences. SocialQuantityType licensed thing that is also a type of human anthrax vaccine LicensedHumanAnthraxVaccine The collection of types of licensed anthrax vaccines designed for Homo Sapiens. designation A very general attribute. Any thing that has been designated or that has an assigned classification in some recognized classification scheme will have a <a href="http://sw.opencyc.org/2008/06/10/concept/en/Designation" class="cyc_term">Designation</a>. Designation artificial heart valve type ArtificialHeartValveType The collection of types of artifical heart valves either mechanical or biological SufficientlySimple sufficently simple thing USGovernmentInformationDesignation A subcollection of <a href="http://sw.opencyc.org/2008/06/10/concept/en/InformationDesignation" class="cyc_term">InformationDesignation</a>. Instances of this collection are attributes of information. Specifically, they are designations or classifications of information according to the scheme that is used by the US government to specify the conditions under which the information of interest or use to them can be accessed. Examples include <a href="http://sw.opencyc.org/2008/06/10/concept/en/ConfidentialInformation" class="cyc_term">ConfidentialInformation</a>, <a href="http://sw.opencyc.org/2008/06/10/concept/en/SecretInformation" class="cyc_term">SecretInformation</a>, and <a href="http://sw.opencyc.org/2008/06/10/concept/en/TopSecretInformation" class="cyc_term">TopSecretInformation</a>. U.S. government information designation A collection of collections. Each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/en/TerroristAttackTargetTypeType" class="cyc_term">TerroristAttackTargetTypeType</a> is a collection a specialization of which, TYPE, appears in a (<a href="http://sw.opencyc.org/2008/06/10/concept/en/relationInstanceExists" class="cyc_term">relationInstanceExists</a> <a href="http://sw.opencyc.org/2008/06/10/concept/en/intendedAttackTargets" class="cyc_term">intendedAttackTargets</a> FOO TYPE) assertion for some FOO. The instances which have been selected offer the most complete coverage of the collections appearing in those assertions. It is useful, but not necessary, to think of this collection as a near faceting of the (non-reified) collection of things targeted in terrorist attacks. terrorist attack target type type TerroristAttackTargetTypeType clarifying collection type A specialization of <a href="http://sw.opencyc.org/2008/06/10/concept/en/Collection" class="cyc_term">Collection</a>. Instances are collections that are usefully invoked for purposes of resolving ambiguity and confusion that arise from the use of non-perspicuous languages. Suppose a human or other intelligent agent uses a language, such as a natural language, that is rife with ambiguity, and uses a word WORD of that language whose intended reference is unclear: in the context WORD might refer to THING1 or to THING2, but not both. One strategy for resolving this ambiguity is to find properties of THING1 and THING2, say P1 and P2, that distinguish them from one another, and ask the speaker whether by "WORD," s/he intended to refer to something with P1, or to something with P2. For example, the speaker might use the word "bank," and in response one might ask whether a financial institution or a piece of shoreline was meant. Clearly, what values of P1 and P2 are chosen cannot be arbitrary; asking whether the speaker meant to refer to a multi-individual agent versus a non-agentive place is not as effective as asking the speaker to choose between the "financial institution" and "shoreline" interpretations described above. Instances of <a href="http://sw.opencyc.org/2008/06/10/concept/en/ClarifyingCollectionType" class="cyc_term">ClarifyingCollectionType</a> just are those collections -- such as the collection of financial institutions -- that might plausibly be invoked to resolve cases of ambiguity of the kind described here. In particular, suppose TYPE1 is an instance of <a href="http://sw.opencyc.org/2008/06/10/concept/en/ClarifyingCollectionType" class="cyc_term">ClarifyingCollectionType</a> and TYPE2 is not, and THING is an instance of both TYPE1 and TYPE2. The fact that (<a href="http://sw.opencyc.org/2008/06/10/concept/en/isa" class="cyc_term">isa</a> TYPE1 <a href="http://sw.opencyc.org/2008/06/10/concept/en/ClarifyingCollectionType" class="cyc_term">ClarifyingCollectionType</a>) is a reason to prefer TYPE1 over TYPE2 when calculating possible clarifying properties for THING. ClarifyingCollectionType school of painting A collection of collections. Each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/en/SchoolOfPaintingType" class="cyc_term">SchoolOfPaintingType</a> is a collection of conceptual works that are of a particular painting style. Each instance represents a particular style or genre of painting. SchoolOfPaintingType stereotype Stereotype Exotic-Unusual exotic thing An instance of <a href="http://sw.opencyc.org/2008/06/10/concept/en/ThingByNormalityInContext" class="cyc_term">ThingByNormalityInContext</a>. The collections of all things that are intriguingly unusual and rare in the indicated (often highly restrictive) context. Exotic things are often foreign, but need not be. Spices were exotic to Europeans of the 15th century, but not to those of the 21st. Russian Army rank RussianArmyRank The scale of ranks employed by the Russian Army. This is a collection of attributes that are used with the predicate <a href="http://sw.opencyc.org/2008/06/10/concept/en/rank_Military" class="cyc_term">rank_Military</a>. (CollectionIntersectionFn (TheSet AcidType-Lewis BaseType-Lewis)) member of { Lewis acids, Lewis bases } ThingByNormalityInContext thing by normality in context The collection of types of things by their normality in some (normally) highly restrained context. The context need not be reified, but merely implied by the predicate (<a href="http://sw.opencyc.org/2008/06/10/concept/en/normalityOfThing" class="cyc_term">normalityOfThing</a> or <a href="http://sw.opencyc.org/2008/06/10/concept/en/normalityForAgent" class="cyc_term">normalityForAgent</a>) used for attributing such a normality to the thing. Normality is (at least currently) a squishily-defined concept, and it is certainly dependent on the observer and context about which the assertion is made. Normality is different from but related to frequency (e.g. <a href="http://sw.opencyc.org/2008/06/10/concept/en/frequencyOfActionType" class="cyc_term">frequencyOfActionType</a>, <a href="http://sw.opencyc.org/2008/06/10/concept/en/Frequency" class="cyc_term">Frequency</a>). For example, I might see my pet exotic fish every day, but the fish still is <a href="http://sw.opencyc.org/2008/06/10/concept/en/Exotic_Unusual" class="cyc_term">Exotic_Unusual</a> in Austin, although it may not be on a Belizian reef. To make assertions involving normality, use <a href="http://sw.opencyc.org/2008/06/10/concept/en/normalityOfThing" class="cyc_term">normalityOfThing</a> or <a href="http://sw.opencyc.org/2008/06/10/concept/en/normalityForAgent" class="cyc_term">normalityForAgent</a>. licensed thing Licensed-ProductType The collection of instances of products that are licensed by someone for use somewhere. right SituationTypeByUserRights A collection of collections. Every Instance of <a href="http://sw.opencyc.org/2008/06/10/concept/en/SituationTypeByUserRights" class="cyc_term">SituationTypeByUserRights</a> is a collection of instances of <a href="http://sw.opencyc.org/2008/06/10/concept/en/Situation" class="cyc_term">Situation</a> that are situations that consist in the holding of some particular user right. For example, if I have <a href="http://sw.opencyc.org/2008/06/10/concept/en/FullUseRights" class="cyc_term">FullUseRights</a> to my car, then there is some situation or state of affairs that corresponds to my having that right. So, we represent the notion of "full use rights" via the collection of all similar situations <a href="http://sw.opencyc.org/2008/06/10/concept/en/FullUseRights" class="cyc_term">FullUseRights</a>. Note: the situation of my having full use rights to my car is only an instance of <a href="http://sw.opencyc.org/2008/06/10/concept/en/FullUseRights" class="cyc_term">FullUseRights</a> during the temporal extent of the situation. That situation starts when I gain those rights and ends when I lose them. It is during this interval that the situation is an instance of <a href="http://sw.opencyc.org/2008/06/10/concept/en/FullUseRights" class="cyc_term">FullUseRights</a>. If (<a href="http://sw.opencyc.org/2008/06/10/concept/en/rightsGranted" class="cyc_term">rightsGranted</a> MyBuyingMyCar <a href="http://sw.opencyc.org/2008/06/10/concept/en/FullUseRights" class="cyc_term">FullUseRights</a>) holds, then my situation became a member of <a href="http://sw.opencyc.org/2008/06/10/concept/en/FullUseRights" class="cyc_term">FullUseRights</a> by virtue of the event MyBuyingMyCar. Nothing further is entailed regarding whether I still enjoy any rights to the object of the purchase MyBuyingMyCar. <a href="http://sw.opencyc.org/2008/06/10/concept/en/rightsGranted" class="cyc_term">rightsGranted</a> simply states a causal sort of connection between an event and a type of situation. Elements of <a href="http://sw.opencyc.org/2008/06/10/concept/en/SituationTypeByUserRights" class="cyc_term">SituationTypeByUserRights</a> include: <a href="http://sw.opencyc.org/2008/06/10/concept/en/FullUseRights" class="cyc_term">FullUseRights</a> (the agent can do whatever s/he wants with it), <a href="http://sw.opencyc.org/2008/06/10/concept/en/ExclusiveUserRights" class="cyc_term">ExclusiveUserRights</a> (the agent is the only authorized user), <a href="http://sw.opencyc.org/2008/06/10/concept/en/PrimaryUserRights" class="cyc_term">PrimaryUserRights</a> (this agent's uses take priority over everyone else's), <a href="http://sw.opencyc.org/2008/06/10/concept/en/GroupUserRightsOf_Organization" class="cyc_term">GroupUserRightsOf_Organization</a> (the agent's right to use something depends on membership in a group), and more. ModalityFeature-Rule modality feature rule computer software type by feature generic A collection of collections. Each instance of #$ComputerSoftwareAttribute is a collection of instances of <a href="http://sw.opencyc.org/2008/06/10/concept/en/ComputerProgram_CW" class="cyc_term">ComputerProgram_CW</a> that share some property. ComputerSoftwareTypeByFeature-Generic The collection of all states of a clothes washer. A type of <a href="http://sw.opencyc.org/2008/06/10/concept/en/ObjectTypeByIntrinsicState" class="cyc_term">ObjectTypeByIntrinsicState</a>. The concept <a href="http://sw.opencyc.org/2008/06/10/concept/en/ClothesWasherState" class="cyc_term">ClothesWasherState</a> is a <a href="http://sw.opencyc.org/2008/06/10/concept/en/SetOrCollectionType" class="cyc_term">SetOrCollectionType</a>. ClothesWasherState state of a clothes washer color tinge attribute A collection of collections. Each instance is a collection of objects whose main color (c.f. <a href="http://sw.opencyc.org/2008/06/10/concept/en/mainColorOfObject" class="cyc_term">mainColorOfObject</a>) has a certain color tinge. For example, <a href="http://sw.opencyc.org/2008/06/10/concept/en/Purplish" class="cyc_term">Purplish</a> is the collection of all things that are mainly purplish. Every instance of <a href="http://sw.opencyc.org/2008/06/10/concept/en/Color" class="cyc_term">Color</a> is a specialization of some instance of <a href="http://sw.opencyc.org/2008/06/10/concept/en/ObjectTypeByColorTinge" class="cyc_term">ObjectTypeByColorTinge</a>. Having a tinge of a certain color must not be confused with being a shade of that color. More precisely, possessing some instance of <a href="http://sw.opencyc.org/2008/06/10/concept/en/ObjectTypeByColorTinge" class="cyc_term">ObjectTypeByColorTinge</a>, XISH, does not imply having the color X. For instance, an object can be an instance of <a href="http://sw.opencyc.org/2008/06/10/concept/en/Reddish" class="cyc_term">Reddish</a>, without being an instance of <a href="http://sw.opencyc.org/2008/06/10/concept/en/RedColor" class="cyc_term">RedColor</a>. Anything which is <a href="http://sw.opencyc.org/2008/06/10/concept/en/GrayishReddishBrown_Color" class="cyc_term">GrayishReddishBrown_Color</a> is <a href="http://sw.opencyc.org/2008/06/10/concept/en/Reddish" class="cyc_term">Reddish</a> but isn't <a href="http://sw.opencyc.org/2008/06/10/concept/en/RedColor" class="cyc_term">RedColor</a>. Many colors have more than one instance of <a href="http://sw.opencyc.org/2008/06/10/concept/en/ObjectTypeByColorTinge" class="cyc_term">ObjectTypeByColorTinge</a> as generalizations. <a href="http://sw.opencyc.org/2008/06/10/concept/en/GrayishPink_Color" class="cyc_term">GrayishPink_Color</a> has both <a href="http://sw.opencyc.org/2008/06/10/concept/en/Grayish" class="cyc_term">Grayish</a> and <a href="http://sw.opencyc.org/2008/06/10/concept/en/Pinkish" class="cyc_term">Pinkish</a> as generalizations. ObjectTypeByColorTinge theorem gen classical modality feature ModalityFeature-Theorem-Gen-Classical calligraphic style An elegant style of handwriting. The writing implement used is similar to a fountain pen. CalligraphyStyleOfWriting tour package attribute A collection of common attributes associated with instances of <a href="http://sw.opencyc.org/2008/06/10/concept/en/TravelTour" class="cyc_term">TravelTour</a>. TourPackageTypeByOption Ultimatum ultimatum AcademyAwardCategory academy award category A collection of collections. Each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/en/AcademyAwardCategory" class="cyc_term">AcademyAwardCategory</a> is a collection that represents a category in which an Academy Award is given. See also <a href="http://sw.opencyc.org/2008/06/10/concept/en/AcademyAwardFn" class="cyc_term">AcademyAwardFn</a>. The collection of collections which are used to denote linguistic objects and object types. Cyc-NL collection NLCollection A collection of collections. Each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/en/KMFPlusPlusOWLClass" class="cyc_term">KMFPlusPlusOWLClass</a> is a collection that corresponds to one of the classes in the "KMF Plus Plus" OWL ontology. KMFPlusPlusOWLClass KMFPlusPlusOWLClass course type by level CourseTypeByLevel the collection of specializations of Course-Academic that includes all and only those collections that represent the academic level of a course. This collection includes: <a href="http://sw.opencyc.org/2008/06/10/concept/en/FreshmanCourseLevel" class="cyc_term">FreshmanCourseLevel</a>, <a href="http://sw.opencyc.org/2008/06/10/concept/en/EleventhGradeCourseLevel" class="cyc_term">EleventhGradeCourseLevel</a>, <a href="http://sw.opencyc.org/2008/06/10/concept/en/FirstGradeCourseLevel" class="cyc_term">FirstGradeCourseLevel</a>, etc.. LoanAgreementTypeByFeature type of loan agreement classified by feature The collection of qualities describing a <a href="http://sw.opencyc.org/2008/06/10/concept/en/LoanAgreement" class="cyc_term">LoanAgreement</a>. ModalityFeature-Theorem theorem modality feature ObjectTypeByAudioFeature audio attribute Collections of objects with similar audio components and systems. Possible instances include Stereo, Hi-Fi, Surround, ProLogic, DolbyDigital, Quadrophonic, DTX-Certified, etc. type downward location DownwardLocationBySpecifity This collection contains all collections that are asserted to subcollections of <a href="http://sw.opencyc.org/2008/06/10/concept/en/DownwardLocation_Underspecified" class="cyc_term">DownwardLocation_Underspecified</a>. Creation of this constant facilitates representation of instances of <a href="http://sw.opencyc.org/2008/06/10/concept/en/DownwardLocation_Underspecified" class="cyc_term">DownwardLocation_Underspecified</a> as it allows us to take advantage of ke facilitation rules (see <a href="http://sw.opencyc.org/2008/06/10/concept/en/KEFacilitationPredicate" class="cyc_term">KEFacilitationPredicate</a>) that consider the facets of a collection when an instance of a collection is created. coalition classification us CoalitionClassification-US A subcollection of <a href="http://sw.opencyc.org/2008/06/10/concept/en/CoalitionInformationDesignation" class="cyc_term">CoalitionInformationDesignation</a>. Instances of this collection are attributes. Specifically, they are the attributes #$CoalitionClassificationUS-TopSecret, #$CoalitionClassificationUS-Secret, or #$CoalitionClassificationUS-Confidential. These attributes are similar to the attributes in the collection #$ClassificationUS (<a href="http://sw.opencyc.org/2008/06/10/concept/en/TopSecretInformation" class="cyc_term">TopSecretInformation</a>, <a href="http://sw.opencyc.org/2008/06/10/concept/en/SecretInformation" class="cyc_term">SecretInformation</a>, and <a href="http://sw.opencyc.org/2008/06/10/concept/en/ConfidentialInformation" class="cyc_term">ConfidentialInformation</a>), but differ in that they are applied only to information that is classified and accessible by a selected members of those governments that comprise an active coalition formed with the US. Instances of this collection will not be applied to the same information that gets classified by the US government, but rather to the sum of information that is used, valued and deemed in need of protection by members of the coalition, although there may indeed be overlap. Hence, at least some of the information classified using an instance of the collection <a href="http://sw.opencyc.org/2008/06/10/concept/en/Classification_US" class="cyc_term">Classification_US</a> will not be classified by using an instance of the collection #$CoalitionClassication-US, and likewise some of the information that gets classified using an instance of the collection <a href="http://sw.opencyc.org/2008/06/10/concept/en/CoalitionClassification_US" class="cyc_term">CoalitionClassification_US</a> will not be classified using an instance of the collection <a href="http://sw.opencyc.org/2008/06/10/concept/en/Classification_US" class="cyc_term">Classification_US</a>. Note, however, that instances of both collections will share the US government's classification scheme--'Confidential', 'Secret', and 'TopSecret'. ModalityFeature-UnaryOp modality feature unary op type of thing A specialization of <a href="http://sw.opencyc.org/2008/06/10/concept/en/SetOrCollection" 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/en/Collection" 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/en/Cat" class="cyc_term">Cat</a> is the collection of all and only cats, and <a href="http://sw.opencyc.org/2008/06/10/concept/en/BinaryFunction" 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/en/Set_Mathematical" class="cyc_term">Set_Mathematical</a>). Like a set, a collection is an <a href="http://sw.opencyc.org/2008/06/10/concept/en/AbstractThing" class="cyc_term">AbstractThing</a> (i.e. aspatial and atemporal) that is not an <a href="http://sw.opencyc.org/2008/06/10/concept/en/Individual" class="cyc_term">Individual</a> (cf.), but instead has elements (see <a href="http://sw.opencyc.org/2008/06/10/concept/en/elementOf" class="cyc_term">elementOf</a>). Unlike a set, however, the elements or "instances" (see <a href="http://sw.opencyc.org/2008/06/10/concept/en/isa" 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/en/extent" 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/en/CollectionIntersection2Fn" class="cyc_term">CollectionIntersection2Fn</a> <a href="http://sw.opencyc.org/2008/06/10/concept/en/Cat" class="cyc_term">Cat</a> <a href="http://sw.opencyc.org/2008/06/10/concept/en/WhiteColor" 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/en/WhiteCollarWorker" 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/en/Collection" class="cyc_term">Collection</a> are <a href="http://sw.opencyc.org/2008/06/10/concept/en/FirstOrderCollection" class="cyc_term">FirstOrderCollection</a>, <a href="http://sw.opencyc.org/2008/06/10/concept/en/TimeDependentCollection" class="cyc_term">TimeDependentCollection</a>, and <a href="http://sw.opencyc.org/2008/06/10/concept/en/ObjectType" class="cyc_term">ObjectType</a>. Collection ArtifactTypeByHistory artifact type by history SKSISupportedStructuredKnowledgeSourceType SKSI supported structured knowledge source type The collection of all specs of <a href="http://sw.opencyc.org/2008/06/10/concept/en/StructuredKnowledgeSource" class="cyc_term">StructuredKnowledgeSource</a> that are currently supported by SKSI. agent type by organization status AgentTypeByOrganizationStatus A collection of collections. Each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/en/AgentTypeByOrganizationStatus" class="cyc_term">AgentTypeByOrganizationStatus</a> is a collection of agents that share a particular relation to an organization. For example, (<a href="http://sw.opencyc.org/2008/06/10/concept/en/SuspendedMemberFn" class="cyc_term">SuspendedMemberFn</a> <a href="http://sw.opencyc.org/2008/06/10/concept/en/LeagueOfArabStates" class="cyc_term">LeagueOfArabStates</a>) is the collection of all suspended members of the <a href="http://sw.opencyc.org/2008/06/10/concept/en/LeagueOfArabStates" class="cyc_term">LeagueOfArabStates</a> during some stated time interval. intimidation type IntimidationType state of a tape playing device TapeDeviceState The collection of all states of a tape playing device. A type of <a href="http://sw.opencyc.org/2008/06/10/concept/en/ObjectTypeByIntrinsicState" class="cyc_term">ObjectTypeByIntrinsicState</a>. The concept <a href="http://sw.opencyc.org/2008/06/10/concept/en/TapeDeviceState" class="cyc_term">TapeDeviceState</a> is a <a href="http://sw.opencyc.org/2008/06/10/concept/en/SetOrCollectionType" class="cyc_term">SetOrCollectionType</a>. PoliticalEvent-StateLevel state-level political event word net synset workflow status The collection of WordNet synset workflow status collections. WordNetSynsetWorkflowStatus TimeDependentCollection time dependent collection A collection of collections. Each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/en/TimeDependentCollection" class="cyc_term">TimeDependentCollection</a> is a collection whose membership changes over time. For example, (<a href="http://sw.opencyc.org/2008/06/10/concept/en/LiquidFn" class="cyc_term">LiquidFn</a> <a href="http://sw.opencyc.org/2008/06/10/concept/en/Water" class="cyc_term">Water</a>) is a time dependent collection. A given portion of water might be an instance of (<a href="http://sw.opencyc.org/2008/06/10/concept/en/LiquidFn" class="cyc_term">LiquidFn</a> <a href="http://sw.opencyc.org/2008/06/10/concept/en/Water" class="cyc_term">Water</a>) in the summer, and an instance of the disjoint collection (<a href="http://sw.opencyc.org/2008/06/10/concept/en/SolidFn" class="cyc_term">SolidFn</a> <a href="http://sw.opencyc.org/2008/06/10/concept/en/Water" class="cyc_term">Water</a>) in the winter. In contrast, <a href="http://sw.opencyc.org/2008/06/10/concept/en/Integer" class="cyc_term">Integer</a> is a <a href="http://sw.opencyc.org/2008/06/10/concept/en/TimeIndependentCollection" class="cyc_term">TimeIndependentCollection</a> (q.v.) because the collection of integers does not change its membership over time. This is a collection of collections. Each <a href="http://sw.opencyc.org/2008/06/10/concept/en/SocialStatusCollectionType" class="cyc_term">SocialStatusCollectionType</a> is itself a coherent collection of collections that pertain to human behavior. This definition is very broad, and embraces attributes of behavior (personal and social) one might read about in a sociology, psychology, cultural anthropology, economics, political science, or social philosophy course -- in short, in the (human) `behavioral' sciences. social status collection type SocialStatusCollectionType CycLTermStatusCollection Cyc term status The collection of all possible statuses of <a href="http://sw.opencyc.org/2008/06/10/concept/en/CycLIndexedTerm" class="cyc_term">CycLIndexedTerm</a>. This includes #$PublicConstant, <a href="http://sw.opencyc.org/2008/06/10/concept/en/TooGeneral_CycTermStatus" class="cyc_term">TooGeneral_CycTermStatus</a>, <a href="http://sw.opencyc.org/2008/06/10/concept/en/InWrongMicrotheory" class="cyc_term">InWrongMicrotheory</a>, etc . GoalTypeByCategory category of goals A collection of collections. Each element of <a href="http://sw.opencyc.org/2008/06/10/concept/en/GoalTypeByCategory" class="cyc_term">GoalTypeByCategory</a> is a collection of goals (sentences whose truth is intended to be acted towards by some agent) that represent a particular category of goals, e.g., <a href="http://sw.opencyc.org/2008/06/10/concept/en/ForeignPolicyGoal" class="cyc_term">ForeignPolicyGoal</a>, <a href="http://sw.opencyc.org/2008/06/10/concept/en/NationalDefenseGoal" class="cyc_term">NationalDefenseGoal</a>, <a href="http://sw.opencyc.org/2008/06/10/concept/en/TradeGoal" class="cyc_term">TradeGoal</a>. More precisely, elements of <a href="http://sw.opencyc.org/2008/06/10/concept/en/GoalTypeByCategory" class="cyc_term">GoalTypeByCategory</a> indicate the status of a goal when possessed by a particular <a href="http://sw.opencyc.org/2008/06/10/concept/en/Agent_Generic" class="cyc_term">Agent_Generic</a>. The qualification is important because goals may fall into different categories depending on who possesses them. For example, improving the Russian economy might be a <a href="http://sw.opencyc.org/2008/06/10/concept/en/NationalEconomyGoal" class="cyc_term">NationalEconomyGoal</a> of <a href="http://sw.opencyc.org/2008/06/10/concept/en/Russia" class="cyc_term">Russia</a> and a <a href="http://sw.opencyc.org/2008/06/10/concept/en/ForeignPolicyGoal" class="cyc_term">ForeignPolicyGoal</a> of the <a href="http://sw.opencyc.org/2008/06/10/concept/en/UnitedStatesOfAmerica" class="cyc_term">UnitedStatesOfAmerica</a>. Taking a closer look at the example, <a href="http://sw.opencyc.org/2008/06/10/concept/en/NationalEconomyGoal" class="cyc_term">NationalEconomyGoal</a> is the collection of goals that are national economy goals. In other words, they are the collection of sentences such that someone's goal is to make them true to help improve or somehow affect their national economy. So, "improving the Russian economy" is a national economy goal by virtue of <a href="http://sw.opencyc.org/2008/06/10/concept/en/Russia" class="cyc_term">Russia</a>'s attitude towards it. To attribute a goal and category to an agent use <a href="http://sw.opencyc.org/2008/06/10/concept/en/goalCategoryForAgent" class="cyc_term">goalCategoryForAgent</a>. object type by sequential structural feature ObjectTypeBySequentialStructuralFeature A collection of collections. Each instance is a collection of instances of <a href="http://sw.opencyc.org/2008/06/10/concept/en/SpatialThing_Localized" class="cyc_term">SpatialThing_Localized</a> that share some specific sequential structural property. These collections characterize physical properties specific to objects that can be conceived of as `sequential' in a broad sense. Examples: <a href="http://sw.opencyc.org/2008/06/10/concept/en/Uninterrupted_SequentialStructure" class="cyc_term">Uninterrupted_SequentialStructure</a>, <a href="http://sw.opencyc.org/2008/06/10/concept/en/Interrupted_SequentialStructure" class="cyc_term">Interrupted_SequentialStructure</a> etc.. dishwasher state DishwasherState The collection of all dishwasher states. A type of <a href="http://sw.opencyc.org/2008/06/10/concept/en/ObjectTypeByIntrinsicState" class="cyc_term">ObjectTypeByIntrinsicState</a>. The concept <a href="http://sw.opencyc.org/2008/06/10/concept/en/DishwasherState" class="cyc_term">DishwasherState</a> is a <a href="http://sw.opencyc.org/2008/06/10/concept/en/SetOrCollectionType" class="cyc_term">SetOrCollectionType</a>. A collection of collections. Instances are the possible mailing statuses of instances of <a href="http://sw.opencyc.org/2008/06/10/concept/en/Address_LocationDesignator" class="cyc_term">Address_LocationDesignator</a>. If an <a href="http://sw.opencyc.org/2008/06/10/concept/en/Address_LocationDesignator" class="cyc_term">Address_LocationDesignator</a> has <a href="http://sw.opencyc.org/2008/06/10/concept/en/BadMailingStatus" class="cyc_term">BadMailingStatus</a>, letters and packages being posted to this address are being returned to sender. If an address has <a href="http://sw.opencyc.org/2008/06/10/concept/en/GoodMailingStatus" class="cyc_term">GoodMailingStatus</a>, letters and packages posted to this address are not being returned. Note that this does not necessarily mean they are received by their intended recipients. address type by mailing status AddressTypeByMailingStatus ComputerTypeByUse A collection of collections. Each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/en/ComputerTypeByUse" class="cyc_term">ComputerTypeByUse</a> is a collection of computers that can be or are designed to be put to a certain use. Instances include #$SingleUser-Computer, <a href="http://sw.opencyc.org/2008/06/10/concept/en/AccountingUse" class="cyc_term">AccountingUse</a>, etc.. computer type by use PoliticalEvent-StateLevel-Negative negative state-level political event trap state TrapState The states an animal trap may have. iteration attribute A collection of collections. Instances of this collection are collections of <a href="http://sw.opencyc.org/2008/06/10/concept/en/IterativeEvent" class="cyc_term">IterativeEvent</a>s of a similar type understood in the most general way -- example: 'stepwise', 'one at a time' -- or units of specified object types -- example: (<a href="http://sw.opencyc.org/2008/06/10/concept/en/IterationTypeFn" class="cyc_term">IterationTypeFn</a> <a href="http://sw.opencyc.org/2008/06/10/concept/en/StepOfStairs" class="cyc_term">StepOfStairs</a>), which would be used to describe the iteration of a motion up the stairs one step at a time. IterationEventByType DiplomaticRecognitionStatusType diplomatic recognition status type damage attribute non scalar TangibleObjectTypeByGenericDamage-NonScalar A collection of collections. Each instance of this collection is a collection of <a href="http://sw.opencyc.org/2008/06/10/concept/en/PartiallyTangible" class="cyc_term">PartiallyTangible</a>s that are damaged in a similar sort of way. These collections represent damage of a generic nature such as <a href="http://sw.opencyc.org/2008/06/10/concept/en/Torn" class="cyc_term">Torn</a> and <a href="http://sw.opencyc.org/2008/06/10/concept/en/Burnt" class="cyc_term">Burnt</a>. PfizerProductType pfizer product type BritishNavyRank British Navy rank WorkflowStatusOfAssertion workflow status of assertion A collection of collections. Each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/en/HobbyInterest" class="cyc_term">HobbyInterest</a> is a subcollection of <a href="http://sw.opencyc.org/2008/06/10/concept/en/IntelligentAgent" class="cyc_term">IntelligentAgent</a> whose instances share an interest in some thing as a hobby. Instances of <a href="http://sw.opencyc.org/2008/06/10/concept/en/HobbyInterest" class="cyc_term">HobbyInterest</a> are functionally denoted using <a href="http://sw.opencyc.org/2008/06/10/concept/en/HobbyInterestFn" class="cyc_term">HobbyInterestFn</a>. See also the corresponding predicate <a href="http://sw.opencyc.org/2008/06/10/concept/en/hobbyInterestType" class="cyc_term">hobbyInterestType</a>. HobbyInterest hobby interest SoftwareUsability software usability formatting attribute GraphicalStructureByFormat A collection of collections. Each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/en/GraphicalStructureByFormat" class="cyc_term">GraphicalStructureByFormat</a> is the collection of document structures or text strings characterized by some format or appearance. An instance of <a href="http://sw.opencyc.org/2008/06/10/concept/en/GraphicalStructureByFormat" class="cyc_term">GraphicalStructureByFormat</a> may describe the arrangement or appearance of components within an instance of <a href="http://sw.opencyc.org/2008/06/10/concept/en/GraphicalStructure" class="cyc_term">GraphicalStructure</a> or it may describe the format of an instance of <a href="http://sw.opencyc.org/2008/06/10/concept/en/GraphicalStructure" class="cyc_term">GraphicalStructure</a> or <a href="http://sw.opencyc.org/2008/06/10/concept/en/AbstractInformationStructure" class="cyc_term">AbstractInformationStructure</a> within an encompassing instance of <a href="http://sw.opencyc.org/2008/06/10/concept/en/AbstractInformationStructure" class="cyc_term">AbstractInformationStructure</a> or <a href="http://sw.opencyc.org/2008/06/10/concept/en/GraphicalStructure" class="cyc_term">GraphicalStructure</a>. ComplianceStatusAttribute This attribute is usually asserted of objects or events insofar as they comply with some standard or rule. Typically, attributes of this type would be involved in three-way relations between an object or event and some standard. Something may have the attribute of <a href="http://sw.opencyc.org/2008/06/10/concept/en/Compliant" class="cyc_term">Compliant</a> with respect to one standard and be <a href="http://sw.opencyc.org/2008/06/10/concept/en/NonCompliant" class="cyc_term">NonCompliant</a> with respect to another standard. See <a href="http://sw.opencyc.org/2008/06/10/concept/en/complianceStatus" class="cyc_term">complianceStatus</a>. compliance status attribute A subcollection of <a href="http://sw.opencyc.org/2008/06/10/concept/en/ObjectTypeByIntrinsicState" class="cyc_term">ObjectTypeByIntrinsicState</a>. Each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/en/DeviceTypeByState" class="cyc_term">DeviceTypeByState</a> is a collection of devices in a similar state. Each instance represents a particular state a device could be in. Instances of <a href="http://sw.opencyc.org/2008/06/10/concept/en/DeviceTypeByState" class="cyc_term">DeviceTypeByState</a> include <a href="http://sw.opencyc.org/2008/06/10/concept/en/Device_On" class="cyc_term">Device_On</a> and <a href="http://sw.opencyc.org/2008/06/10/concept/en/OffHook" class="cyc_term">OffHook</a>. operational state DeviceTypeByState goal situation by success status GoalSituationBySuccessStatus <a href="http://sw.opencyc.org/2008/06/10/concept/en/GoalSituationBySuccessStatus" class="cyc_term">GoalSituationBySuccessStatus</a> is a collection of collections. Each instance is a collection of #$GoalSituations that share a similar success status. These instances represent statuses that can apply to #$GoalSituations to describe whether a given goal is successful, actively being pursued, relevant to the current state of affairs etc. existential attribute agent AgentTypeByExistentialStatus A collection of collections and a specialization of <a href="http://sw.opencyc.org/2008/06/10/concept/en/TemporalThingTypeByExistentialStatus" class="cyc_term">TemporalThingTypeByExistentialStatus</a>. Instances of <a href="http://sw.opencyc.org/2008/06/10/concept/en/AgentTypeByExistentialStatus" class="cyc_term">AgentTypeByExistentialStatus</a> are collections of instances of <a href="http://sw.opencyc.org/2008/06/10/concept/en/Agent_Generic" class="cyc_term">Agent_Generic</a> that share a similar existential state such as #$Disbanded (this state is exclusive to multi-individual agents). See <a href="http://sw.opencyc.org/2008/06/10/concept/en/agentsExistentialState" class="cyc_term">agentsExistentialState</a>. government information designation GovernmentInformationDesignation A subcollection of <a href="http://sw.opencyc.org/2008/06/10/concept/en/InformationDesignation" class="cyc_term">InformationDesignation</a>. Instances of this collection are attributes of information. Specifically, they are designations or classifications of information according to a scheme that is, or could be, used by a government (not limited to the US government) to specify the conditions under which the information of interest or use to them can be accessed. InformationBearingObjectMood linguistic mood Normal-Usual The collection of all things that are common, everyday, usual, unnoteworthy, etc. in the indicated (often highly-specific and unreified) context. See <a href="http://sw.opencyc.org/2008/06/10/concept/en/normalityOfThing" class="cyc_term">normalityOfThing</a> amd <a href="http://sw.opencyc.org/2008/06/10/concept/en/normalityForAgent" class="cyc_term">normalityForAgent</a> for the means of specifying the context in which something is an instance of this collection. normal thing QA clarifying collection type The collection of all instances of <a href="http://sw.opencyc.org/2008/06/10/concept/en/ClarifyingCollectionType" class="cyc_term">ClarifyingCollectionType</a> that are used by the <a href="http://sw.opencyc.org/2008/06/10/concept/en/QueryAugmentationApplication" class="cyc_term">QueryAugmentationApplication</a> to resolve natural language ambiguities. QAClarifyingCollectionType state-level economic event EconomicEvent-StateLevel A <a href="http://sw.opencyc.org/2008/06/10/concept/en/CollectionType" class="cyc_term">CollectionType</a>. Each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/en/PragmaticallyDecontextualizedCollection" class="cyc_term">PragmaticallyDecontextualizedCollection</a> is a collection that, while not a genuine ANECT (see <a href="http://sw.opencyc.org/2008/06/10/concept/en/AtemporalNecessarilyEssentialCollectionType" class="cyc_term">AtemporalNecessarilyEssentialCollectionType</a>) is for purely pragmatic reasons handled by the Cyc system as if it were an ANECT. Instances include certain <a href="http://sw.opencyc.org/2008/06/10/concept/en/KBDependentCollection" class="cyc_term">KBDependentCollection</a>s such as <a href="http://sw.opencyc.org/2008/06/10/concept/en/ReifiableFunction" class="cyc_term">ReifiableFunction</a>, and certain non-KB-dependent collections such as <a href="http://sw.opencyc.org/2008/06/10/concept/en/SymmetricBinaryPredicate" class="cyc_term">SymmetricBinaryPredicate</a>. PragmaticallyDecontextualizedCollection pragmatically decontextualized collection A subcollection of <a href="http://sw.opencyc.org/2008/06/10/concept/en/InformationDesignation" class="cyc_term">InformationDesignation</a>. Instances of this collection are attributes of information. Specifically, they are designations of information that are recognized and used by non-corporate, non-governmental private organizations. Non-corporate, non-governmental private organizations might be clubs such as the Boy Scouts of America, or other existing social entities having members and criteria for membership. non corporate private information designation NonCorporatePrivateInformationDesignation PharmacyProductType-Level0 The collection of types of <a href="http://sw.opencyc.org/2008/06/10/concept/en/DrugProduct" class="cyc_term">DrugProduct</a>s that may be specified as to their brand or generic name (which indicates what type or types of compounds are contained in their instances), in which case they would be instances of <a href="http://sw.opencyc.org/2008/06/10/concept/en/PharmacyProductType_NameOnly" class="cyc_term">PharmacyProductType_NameOnly</a>, but are not specified as to dosage form, administration route, strength or packaging. For example, <a href="http://sw.opencyc.org/2008/06/10/concept/en/ZoloftProduct" class="cyc_term">ZoloftProduct</a> and <a href="http://sw.opencyc.org/2008/06/10/concept/en/Antidepressant" class="cyc_term">Antidepressant</a> are instances of <a href="http://sw.opencyc.org/2008/06/10/concept/en/PharmacyProductType_Level0" class="cyc_term">PharmacyProductType_Level0</a>, but 'Zoloft tablets' would not be. pharmacy product type level 0 <a href="http://sw.opencyc.org/2008/06/10/concept/en/ComputerNetworkBySecurityEnvironment" class="cyc_term">ComputerNetworkBySecurityEnvironment</a> is a collection of collections. Each instance is a collection of computer networks that have a similar security environment. These collections can be used to describe the security environment of a system. security environment attribute ComputerNetworkBySecurityEnvironment vehicle transmission state VehicleTransmissionState MedicalDiagnosisOrFindingSite MedicalDiagnosisOrFindingSite modality feature prop ModalityFeature-Prop foldedness attribute ObjectTypeByFoldednessStatus (CollectionUnionFn (TheSet TimeOfDayType TimeOfMonthType)) the union of The Set time of day type time of month type A collection of collections and a specialization of <a href="http://sw.opencyc.org/2008/06/10/concept/en/EmptySetOrCollection" class="cyc_term">EmptySetOrCollection</a> (q.v.). A collection is an instance of <a href="http://sw.opencyc.org/2008/06/10/concept/en/EmptyCollection" class="cyc_term">EmptyCollection</a> if and only if it has no instances. Some collections are by their very nature necessarily empty; e.g. <a href="http://sw.opencyc.org/2008/06/10/concept/en/Nothing" class="cyc_term">Nothing</a> (q.v.). Conversely, some collections are empty in some contexts and non-empty in others; e.g. <a href="http://sw.opencyc.org/2008/06/10/concept/en/Unicorn" class="cyc_term">Unicorn</a> might be empty in the context of the actual world but non-empty in certain mythological contexts. Similarly, a <a href="http://sw.opencyc.org/2008/06/10/concept/en/TimeDependentCollection" class="cyc_term">TimeDependentCollection</a> might be empty at certain times and non-empty at certain other times; e.g. the collection of female US presidents is currently empty but will hopefully become non-empty some time in the near future. This last example demonstrates that <a href="http://sw.opencyc.org/2008/06/10/concept/en/EmptyCollection" class="cyc_term">EmptyCollection</a> is itself a time-dependent collection. Note that each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/en/EmptyCollection" class="cyc_term">EmptyCollection</a> is <a href="http://sw.opencyc.org/2008/06/10/concept/en/disjointWith" class="cyc_term">disjointWith</a> (q.v.) every collection -- including itself. Cf. <a href="http://sw.opencyc.org/2008/06/10/concept/en/NonEmptyCollection" class="cyc_term">NonEmptyCollection</a>. empty collection EmptyCollection These are webesearch enhancement attributes. They are used for predicting with what frequency web search queries for material is a search for pornographic material. degree of porn relation DegreeOfPornRelation purposeful thing PurposefulActionFeature A collection of collections. Each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/en/PurposefulActionFeature" class="cyc_term">PurposefulActionFeature</a> is a collection of instances of <a href="http://sw.opencyc.org/2008/06/10/concept/en/PurposefulAction" class="cyc_term">PurposefulAction</a>. These collections can be used to meaningfully ascribe to purposeful actions various features; e.g. that they are successful or unsuccessful, well-planned or spontaneous, important or of no consequence, etc.. (CollectionUnionFn (TheSet Odor ObjectTypeByTaste)) the union of { odours, flavours } 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/en/SemiFormal_Action" class="cyc_term">SemiFormal_Action</a>, Casual-Action, etc.. action type by formality ActionTypeByFormality Each instance of this collection is a collection of instances of #$ScriptedEventType that share a certain temporal order property. Each such collection represents the different sort of type-level temporal order properties that #$ScriptedEventTypes can have. ScriptTypeByStructuralOrderFeature script structural attribute This is the collection of all collections that are such that actual humans can comprehend their membership criteria and can, at least in favorable circumstances, determine, for things which are in fact members of the collection, that these things are members. Such collections cannot, for example, contain infinitely complex things or even things of such great finite complexity that no actual human could comprehend them or decide whether they belonged to the collection. HumanlyDecidableCollection humanly decidable collection ReformulatorRuleProperty reformulator rule property The collection of intrinsic properties of reformulator rules, e.g. which of their arguments is more terse, whether they are truth- preserving, reversible, etc. FAC tory candidate spatial thing for comparison A placeholder concept. Instances of this are candidate spatial thing types that may be suitable for being offered up in some sentence in the web game. FACToryCandidateSpatialThingForComparison CommonForestProblem The collection of all common problems with managed forests, i.e. things that forest managers worry about. common forest problem ComputerTypeByPassiveCapability A collection and a spec of <a href="http://sw.opencyc.org/2008/06/10/concept/en/ThingTypeByCapability_Passive" class="cyc_term">ThingTypeByCapability_Passive</a>. A collection of computers, which can be used to represent the property a computer has when it can be used to perform a certain action. computer type by passive capability DiplomaticEvent-StateLevel state-level diplomatic event microtheory dimension The collection of <a href="http://sw.opencyc.org/2008/06/10/concept/en/MicrotheoryDimension" class="cyc_term">MicrotheoryDimension</a>s denotes the set of different slices of context space. MicrotheoryDimension TimeIndependentCollection A collection of collections. Each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/en/TimeIndependentCollection" class="cyc_term">TimeIndependentCollection</a> is a collection whose membership cannot change over time. Examples of time-independent collections are <a href="http://sw.opencyc.org/2008/06/10/concept/en/Number_General" class="cyc_term">Number_General</a> and <a href="http://sw.opencyc.org/2008/06/10/concept/en/MathematicalObject" class="cyc_term">MathematicalObject</a>. By contrast, <a href="http://sw.opencyc.org/2008/06/10/concept/en/Supermodel" class="cyc_term">Supermodel</a> is clearly a <a href="http://sw.opencyc.org/2008/06/10/concept/en/TimeDependentCollection" class="cyc_term">TimeDependentCollection</a> (q.v.). time independent collection CockingMechanismState state of a cocking mechanism PlanComplexity 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/en/CourseOfAction" 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. plan complexity PharmacyProductType-NameOnly The collection of types of drug products that are specified as to their brand or generic name (which indicates what type or types of compounds are contained in their instances), but are not specified as to dosage form, administration route, strength or packaging. For example, <a href="http://sw.opencyc.org/2008/06/10/concept/en/ZoloftProduct" class="cyc_term">ZoloftProduct</a> is an instance of <a href="http://sw.opencyc.org/2008/06/10/concept/en/PharmacyProductType_NameOnly" class="cyc_term">PharmacyProductType_NameOnly</a>, but 'Zoloft tablets' would not be. pharmaceutical product specified by name only report classification us ReportClassification-US A collection of security classification attributes, used in United States government security circles for specifying the security classification of a given report. This classification is the primary determiner of who is permitted to view the report in question. <a href="http://sw.opencyc.org/2008/06/10/concept/en/TopologicalSpaceTypeBySeparationProperty" class="cyc_term">TopologicalSpaceTypeBySeparationProperty</a> is a specialization of <a href="http://sw.opencyc.org/2008/06/10/concept/en/TopologicalSpaceType" class="cyc_term">TopologicalSpaceType</a> which identifies <a href="http://sw.opencyc.org/2008/06/10/concept/en/TopologicalSpace" class="cyc_term">TopologicalSpace</a>s according to their separation properties. More precisely, each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/en/TopologicalSpaceTypeBySeparationProperty" class="cyc_term">TopologicalSpaceTypeBySeparationProperty</a> is a specialization of <a href="http://sw.opencyc.org/2008/06/10/concept/en/TopologicalSpace" class="cyc_term">TopologicalSpace</a> determined by how tightly a closed subset can be contained within an open set. The measure of tightness is the extent to which this envelope can separate the subset from other subsets. Following the standard mathematical convention, the names of these collections are all prefixed by the letter 'T' followed by a numeral between 0 and 4. The incresasing sequence of numerals refers to the increasing degree of separation. TopologicalSpaceTypeBySeparationProperty topological space type by separation property A <a href="http://sw.opencyc.org/2008/06/10/concept/en/CollectionType" class="cyc_term">CollectionType</a> which facets <a href="http://sw.opencyc.org/2008/06/10/concept/en/IndexDataStructure" class="cyc_term">IndexDataStructure</a> by the physical storage and retrieval algorithm. Usually, <a href="http://sw.opencyc.org/2008/06/10/concept/en/IndexDataStructureType" 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 professional licensing attribute PersonTypeByProfessionalLicensingAttribute The collection of collections that represent liscensed individuals such as doctors and lawyers. A type of <a href="http://sw.opencyc.org/2008/06/10/concept/en/ObjectTypeByIntrinsicState" class="cyc_term">ObjectTypeByIntrinsicState</a>. The concept <a href="http://sw.opencyc.org/2008/06/10/concept/en/TelephoneState" class="cyc_term">TelephoneState</a> is a <a href="http://sw.opencyc.org/2008/06/10/concept/en/SetOrCollectionType" class="cyc_term">SetOrCollectionType</a>. telephone state TelephoneState military unit type by organizational feature MilitaryUnitTypeByOrganizationalFeature DBQueryInfoType type of database query information Instances of this <a href="http://sw.opencyc.org/2008/06/10/concept/en/Collection" class="cyc_term">Collection</a> are used to organize queries for applications and prototypes that use the predicate <a href="http://sw.opencyc.org/2008/06/10/concept/en/profileDBQueries" class="cyc_term">profileDBQueries</a> (q.v.). TemporalThingTypeByExistentialStatus A collection of collections. Each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/en/TemporalThingTypeByExistentialStatus" class="cyc_term">TemporalThingTypeByExistentialStatus</a> is a collection whose members in some way share an existential status, i.e., the extent to which they exist, fail to exist, or their existential history. existential attribute The collection of <a href="http://sw.opencyc.org/2008/06/10/concept/en/Topic" class="cyc_term">Topic</a>s that have special support for fact entry in the <a href="http://sw.opencyc.org/2008/06/10/concept/en/CycAnalyticEnvironment_TheProgram" class="cyc_term">CycAnalyticEnvironment_TheProgram</a>. CAE analysis topic CAEAnalysisTopic EONodeStatusAttribute eo node status attribute SoftwareTypeByUse software type by use non empty collection A collection of collections and a specialization of <a href="http://sw.opencyc.org/2008/06/10/concept/en/NonEmptySetOrCollection" class="cyc_term">NonEmptySetOrCollection</a>. A collection is an instance of <a href="http://sw.opencyc.org/2008/06/10/concept/en/NonEmptyCollection" class="cyc_term">NonEmptyCollection</a> if and only if it has at least one instance. Some collections, aguably, are by their very nature necessarily non-empty; e.g. <a href="http://sw.opencyc.org/2008/06/10/concept/en/Set_Mathematical" class="cyc_term">Set_Mathematical</a>. Conversely, some collections are non-empty in some contexts and empty in others; e.g. <a href="http://sw.opencyc.org/2008/06/10/concept/en/Horse" class="cyc_term">Horse</a> is non-empty in the context of the present-day actual world but empty in certain counterfactual contexts in which horses never existed. Similarly, a <a href="http://sw.opencyc.org/2008/06/10/concept/en/TimeDependentCollection" class="cyc_term">TimeDependentCollection</a> might be empty at certain times and non-empty at certain other times; e.g. the collection of female US presidents is currently empty but will hopefully become non-empty some time in the near future. This last example demonstrates that <a href="http://sw.opencyc.org/2008/06/10/concept/en/NonEmptyCollection" class="cyc_term">NonEmptyCollection</a> is itself a time-dependent collection. Note that each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/en/NonEmptyCollection" class="cyc_term">NonEmptyCollection</a> <a href="http://sw.opencyc.org/2008/06/10/concept/en/intersectsWith" class="cyc_term">intersectsWith</a> (q.v.) <a href="http://sw.opencyc.org/2008/06/10/concept/en/Thing" class="cyc_term">Thing</a>. Cf. <a href="http://sw.opencyc.org/2008/06/10/concept/en/EmptyCollection" class="cyc_term">EmptyCollection</a>. NonEmptyCollection A collection of situations; a subcollection of <a href="http://sw.opencyc.org/2008/06/10/concept/en/PhysiologicalConditionType" class="cyc_term">PhysiologicalConditionType</a>. In each <a href="http://sw.opencyc.org/2008/06/10/concept/en/BrutalizingSomeone" class="cyc_term">BrutalizingSomeone</a>, something makes someone brutal, unfeeling, or inhuman. BrutalizingSomeone brutalizing product type by licensing feature ProductTypeByLicensingFeature A collection of collections. Each instance of this collection is a collection of instance of <a href="http://sw.opencyc.org/2008/06/10/concept/en/ProductType" class="cyc_term">ProductType</a>s that have a particular sort of license. fixed-order Cyc collection A <a href="http://sw.opencyc.org/2008/06/10/concept/en/CollectionType" class="cyc_term">CollectionType</a> and the collection of all and only those <a href="http://sw.opencyc.org/2008/06/10/concept/en/Collection" class="cyc_term">Collection</a>s whose own instances are all of the same fixed "order", where order is understood as follows. Let individuals (i.e. instances of <a href="http://sw.opencyc.org/2008/06/10/concept/en/Individual" class="cyc_term">Individual</a>) be "zeroth-order" things, collections of (only) individuals "first-order" collections, ..., and collections of (only) <code>N</code>th-order things "<code>(N</code>+1)th-order" collections. More precisely, then, a <a href="http://sw.opencyc.org/2008/06/10/concept/en/Collection" class="cyc_term">Collection</a> <code>COL</code> is a <a href="http://sw.opencyc.org/2008/06/10/concept/en/FixedOrderCollection" class="cyc_term">FixedOrderCollection</a> if and only if it is an <code>N</code>th-order collection (for <code>N</code> >= 1). Instances of <a href="http://sw.opencyc.org/2008/06/10/concept/en/FixedOrderCollection" class="cyc_term">FixedOrderCollection</a> include <a href="http://sw.opencyc.org/2008/06/10/concept/en/Individual" class="cyc_term">Individual</a>, <a href="http://sw.opencyc.org/2008/06/10/concept/en/FirstOrderCollection" class="cyc_term">FirstOrderCollection</a>, <a href="http://sw.opencyc.org/2008/06/10/concept/en/SecondOrderCollection" class="cyc_term">SecondOrderCollection</a>, <a href="http://sw.opencyc.org/2008/06/10/concept/en/ThirdOrderCollection" class="cyc_term">ThirdOrderCollection</a>, <a href="http://sw.opencyc.org/2008/06/10/concept/en/FourthOrderCollection" class="cyc_term">FourthOrderCollection</a>, and all specializations of these. Specializations of <a href="http://sw.opencyc.org/2008/06/10/concept/en/FixedOrderCollection" class="cyc_term">FixedOrderCollection</a> include all of the preceding examples except <a href="http://sw.opencyc.org/2008/06/10/concept/en/Individual" class="cyc_term">Individual</a> and its specializations. Note that any #$quotedCollection (q.v.) is a fixed-order collection, since all of its instances are CycL expressions. Thus (e.g.) <a href="http://sw.opencyc.org/2008/06/10/concept/en/CycLDenotationalTerm" class="cyc_term">CycLDenotationalTerm</a> is fixed-order. It would be a mistake to infer, from the fact that the instances of <a href="http://sw.opencyc.org/2008/06/10/concept/en/CycLDenotationalTerm" class="cyc_term">CycLDenotationalTerm</a> happen to denote things of different orders, that this collection is itself not of fixed-order. An example of a collection that is not fixed-order is <a href="http://sw.opencyc.org/2008/06/10/concept/en/AbstractThing" class="cyc_term">AbstractThing</a>, which is a varied-order collection since it contains both (zeroth-order) abstract individuals and (first-and-higher-order) collections. Note that, although they are mutually disjoint, <a href="http://sw.opencyc.org/2008/06/10/concept/en/FixedOrderCollection" class="cyc_term">FixedOrderCollection</a> and <a href="http://sw.opencyc.org/2008/06/10/concept/en/VariedOrderCollection" class="cyc_term">VariedOrderCollection</a> (q.v.) do not constitute a partition of <a href="http://sw.opencyc.org/2008/06/10/concept/en/Collection" 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/en/Set_Mathematical" class="cyc_term">Set_Mathematical</a> (e.g.) and its specializations are neither fixed-order nor varied-order collections. FixedOrderCollection verdict VerdictOfTrial instances are the various results a trial can have. A collection of collections. Each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/en/OrderedListType" class="cyc_term">OrderedListType</a> is a subcollection of <a href="http://sw.opencyc.org/2008/06/10/concept/en/List_Information" class="cyc_term">List_Information</a> whose instances are ordered in the same style. An instance of <a href="http://sw.opencyc.org/2008/06/10/concept/en/OrderedListType" class="cyc_term">OrderedListType</a> will necessarily imply that there are certain relations between individual items of an instance of <a href="http://sw.opencyc.org/2008/06/10/concept/en/List_Information" class="cyc_term">List_Information</a>. See <a href="http://sw.opencyc.org/2008/06/10/concept/en/listHasOrder" class="cyc_term">listHasOrder</a>. OrderedListType type of ordered list <a href="http://sw.opencyc.org/2008/06/10/concept/en/SpecifiedCollection" class="cyc_term">SpecifiedCollection</a> is the collection of all collections that are subsets of some specified <a href="http://sw.opencyc.org/2008/06/10/concept/en/Set_Mathematical" class="cyc_term">Set_Mathematical</a>. specified Cyc collection SpecifiedCollection PossibleIdentificationCondition possible identification condition This is the collection of all collections which can be seen as representing criteria one might use to identify some instance of <a href="http://sw.opencyc.org/2008/06/10/concept/en/TemporalThing" class="cyc_term">TemporalThing</a>. One can think of the non-extensional, (implicit) definitional aspects of these collections as representing these criteria. Since <a href="http://sw.opencyc.org/2008/06/10/concept/en/Collection" class="cyc_term">Collection</a>s are non-extensional, they are the sorts of things which can aptly fill <a href="http://sw.opencyc.org/2008/06/10/concept/en/opaqueArgument" class="cyc_term">opaqueArgument</a> places. For example, an agent might be looking for something she conceptualizes as a bottle of aspirin but not as a bottle of <a href="http://sw.opencyc.org/2008/06/10/concept/en/AcetylsalicylicAcid" class="cyc_term">AcetylsalicylicAcid</a>. The collections defined by these two criteria are <a href="http://sw.opencyc.org/2008/06/10/concept/en/coExtensional" class="cyc_term">coExtensional</a> but distinct. The former but not the latter would represent the <a href="http://sw.opencyc.org/2008/06/10/concept/en/PossibleIdentificationCondition" class="cyc_term">PossibleIdentificationCondition</a> employed by the agent. A collection of collections. Each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/en/AgentTypeByInterest" class="cyc_term">AgentTypeByInterest</a> is a collection of <a href="http://sw.opencyc.org/2008/06/10/concept/en/IntelligentAgent" class="cyc_term">IntelligentAgent</a>s who share an interest in some thing. These will usually be functionally denoted. For example, an agent who likes to collect postage stamps might be a member of (<a href="http://sw.opencyc.org/2008/06/10/concept/en/HobbyInterestFn" class="cyc_term">HobbyInterestFn</a> <a href="http://sw.opencyc.org/2008/06/10/concept/en/PostageStamp" class="cyc_term">PostageStamp</a>s). Alternatively, she might be a member of (ProductInterestFn <a href="http://sw.opencyc.org/2008/06/10/concept/en/PostageStamp" class="cyc_term">PostageStamp</a>s) if she wants to use <a href="http://sw.opencyc.org/2008/06/10/concept/en/PostageStamp" class="cyc_term">PostageStamp</a>s to send mail. Use <a href="http://sw.opencyc.org/2008/06/10/concept/en/hasInterest" class="cyc_term">hasInterest</a> to relate an instance of <a href="http://sw.opencyc.org/2008/06/10/concept/en/IntelligentAgent" class="cyc_term">IntelligentAgent</a> and the instance of <a href="http://sw.opencyc.org/2008/06/10/concept/en/AgentTypeByInterest" class="cyc_term">AgentTypeByInterest</a> to which the agent belongs. AgentTypeByInterest agent type by interest ModalityFeature-MultipleOp modality feature multiple op ClimateControlDeviceState climate control device state The collection of all climate control device states. A type of <a href="http://sw.opencyc.org/2008/06/10/concept/en/ObjectTypeByIntrinsicState" class="cyc_term">ObjectTypeByIntrinsicState</a>. The collection <a href="http://sw.opencyc.org/2008/06/10/concept/en/ClimateControlDeviceState" class="cyc_term">ClimateControlDeviceState</a> is a <a href="http://sw.opencyc.org/2008/06/10/concept/en/SetOrCollectionType" class="cyc_term">SetOrCollectionType</a>. fact gathering caeusable FET template topic FactGatheringCAEUsableFETTemplateTopic A specialization of <a href="http://sw.opencyc.org/2008/06/10/concept/en/CAEUsableFETTemplateTopic" class="cyc_term">CAEUsableFETTemplateTopic</a>. Each instance is a template topic vetted for use both with theCAE and with fact-gathering. The collection of attributes held by configurations in virtue of their complexity. This might be measured in terms of the difficulty of reconstructing or deconstructing the object holding the relevant attribute or in terms of the difficulty of explaining the structure of the objects configured in the situation. Note that this is intended to hold of configurations because while we speak of complexity in other situations it is not clear that we are referring to the same thing, it is likely best to reify different complexity attributes to talk of other kinds of complexity, e.g., complexity of a math problem. configuration complexity ConfigurationTypeByComplexity KMFOWL class A collection of collections. Each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/en/KMFOWLClass" class="cyc_term">KMFOWLClass</a> is a collection that corresponds to one of the classes in the KMF OWL ontology. KMFOWLClass narrative mode attribute A collection of collections. Instances of <a href="http://sw.opencyc.org/2008/06/10/concept/en/NarrativeModeType" class="cyc_term">NarrativeModeType</a> are collections of instances of <a href="http://sw.opencyc.org/2008/06/10/concept/en/CWInstantiating" class="cyc_term">CWInstantiating</a> that are instantiated in a certain mode. These collections characterize the different modes in which a <a href="http://sw.opencyc.org/2008/06/10/concept/en/Narrative" class="cyc_term">Narrative</a> is or can be presented (i.e. instantiated), e.g. is it presented in a way intended to be comical or dramatic? NarrativeModeType X attack feature XAttackFeature A collection of collections that represent categories in which awards are given for achievement in motion pictures. See <a href="http://sw.opencyc.org/2008/06/10/concept/en/AcademyAwardCategory" class="cyc_term">AcademyAwardCategory</a> for those that pertain to the Academy Awards. MotionPictureAwardCategory motion picture award category cursive the cursive style of writing for the different writing systems CursiveStyleOfWriting The type collection of all Bayesian Network variable Outcomes intended for probability reasoning. Instances of <a href="http://sw.opencyc.org/2008/06/10/concept/en/BayesDiscreteOutcome" class="cyc_term">BayesDiscreteOutcome</a>s are collections that characterize a possible outcome state of a <a href="http://sw.opencyc.org/2008/06/10/concept/en/BayesVariable" class="cyc_term">BayesVariable</a>. BayesDiscreteOutcome bayes discrete outcome VerificatonMethod verificaton method credit status attribute PersonTypeByCreditStatus CanonicalizerDirectiveArgConstraintCollection Cyc canonicalizer directive argument constraint Instances of this collection are argument constraints which, when they or their specs are used as the <a href="http://sw.opencyc.org/2008/06/10/concept/en/argIsa" class="cyc_term">argIsa</a> for a relation, express certain directives to the <a href="http://sw.opencyc.org/2008/06/10/concept/en/CycCanonicalizer" class="cyc_term">CycCanonicalizer</a> when canonicalizing that argument of that relation. For example, if it is asserted that (<a href="http://sw.opencyc.org/2008/06/10/concept/en/arg1Isa" class="cyc_term">arg1Isa</a> PRED #$KeywordVariableTemplate), then the canonicalizer will permit keywords as variables within the first argument of PRED. A collection of collections. Every instance of <a href="http://sw.opencyc.org/2008/06/10/concept/en/CollectionClosedUnderSpecialization" class="cyc_term">CollectionClosedUnderSpecialization</a> is a collection <code>COLL-TYPE</code> with the following property: If the collection <code>COLL</code> is an instance of <code>COLL-TYPE</code>, then for any specialization <code>SPEC</code> of <code>COLL</code>, <code>SPEC</code> is also an instance of <code>COLL-TYPE</code>. Notable examples include <a href="http://sw.opencyc.org/2008/06/10/concept/en/TemporalStuffType" class="cyc_term">TemporalStuffType</a>, <a href="http://sw.opencyc.org/2008/06/10/concept/en/Collection" class="cyc_term">Collection</a>, and <a href="http://sw.opencyc.org/2008/06/10/concept/en/Thing" class="cyc_term">Thing</a>. CollectionClosedUnderSpecialization collection closed under specialization FacetInstanceCollection A <a href="http://sw.opencyc.org/2008/06/10/concept/en/CollectionType" class="cyc_term">CollectionType</a>. Each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/en/FacetInstanceCollection" class="cyc_term">FacetInstanceCollection</a> is a collection that is an instance of a <a href="http://sw.opencyc.org/2008/06/10/concept/en/FacetingCollectionType" class="cyc_term">FacetingCollectionType</a> (q.v.). For example, the facet-instance-collection (<a href="http://sw.opencyc.org/2008/06/10/concept/en/WineOfVintageFn" class="cyc_term">WineOfVintageFn</a> (<a href="http://sw.opencyc.org/2008/06/10/concept/en/YearFn" class="cyc_term">YearFn</a> 1926)) is an instance of the faceting-collection-type <a href="http://sw.opencyc.org/2008/06/10/concept/en/WineTypeByVintage" class="cyc_term">WineTypeByVintage</a>. facet collection topological space type TopologicalSpaceType <a href="http://sw.opencyc.org/2008/06/10/concept/en/TopologicalSpaceType" class="cyc_term">TopologicalSpaceType</a> is a <a href="http://sw.opencyc.org/2008/06/10/concept/en/CollectionType" class="cyc_term">CollectionType</a> whose instances are types of <a href="http://sw.opencyc.org/2008/06/10/concept/en/TopologicalSpace" class="cyc_term">TopologicalSpace</a>s. ComputerSoftwareOrHardwareTypeByFeature A collection of collections. Each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/en/ComputerSoftwareOrHardwareTypeByFeature" class="cyc_term">ComputerSoftwareOrHardwareTypeByFeature</a> is a collection of instances of computer hardware or computer software that share some property. Specializations of <a href="http://sw.opencyc.org/2008/06/10/concept/en/ComputerSoftwareOrHardwareTypeByFeature" class="cyc_term">ComputerSoftwareOrHardwareTypeByFeature</a> include <a href="http://sw.opencyc.org/2008/06/10/concept/en/ComputerSoftwareTypeByFeature" class="cyc_term">ComputerSoftwareTypeByFeature</a> and <a href="http://sw.opencyc.org/2008/06/10/concept/en/ComputerTypeByHardware" class="cyc_term">ComputerTypeByHardware</a>. computer attribute A collection of collections. Each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/en/PersonWithOccupationTypeByJobClass" class="cyc_term">PersonWithOccupationTypeByJobClass</a> is a collection of people with a job in a similar broad class. Instances of <a href="http://sw.opencyc.org/2008/06/10/concept/en/PersonWithOccupationTypeByJobClass" class="cyc_term">PersonWithOccupationTypeByJobClass</a> include #$BlueCollar, <a href="http://sw.opencyc.org/2008/06/10/concept/en/WhiteCollarWorker" class="cyc_term">WhiteCollarWorker</a>, and <a href="http://sw.opencyc.org/2008/06/10/concept/en/FlexibleWorkingHours" class="cyc_term">FlexibleWorkingHours</a>. PersonWithOccupationTypeByJobClass general job attribute graphical structure type GraphicalStructureType A collection of collections. This collection consists of various collections that represent different types of document/list structures. clock state ClockState FacilityTypeByFeature facility type by feature assertion conclusion type AssertionConclusionType Consider an axiom of the form (P -> Q). If P is true, we might want the system to go ahead and conclude Q. On the other hand, we might want it just to verify that Q is true and complain if it is not. If later Q is retracted, we might want the system to immediately complain, or to detect this at its leisure. All this is indicated by placing instances of the collection <a href="http://sw.opencyc.org/2008/06/10/concept/en/AssertionConclusionType" class="cyc_term">AssertionConclusionType</a> as the arg2 of the predicate <a href="http://sw.opencyc.org/2008/06/10/concept/en/assertionConclusionActionType" class="cyc_term">assertionConclusionActionType</a>, with the rule in question being the arg1. See the comments on the instances of the collection <a href="http://sw.opencyc.org/2008/06/10/concept/en/AssertionConclusionType" class="cyc_term">AssertionConclusionType</a> for further details. software robustness SoftwareRobustness TravelClass travel class trove Trove FAC tory object type volume buckets Each instance of this collection will be a collection of object types that, via the web game, have all been categorized as having instances that have similar volumes. FACToryObjectTypeVolumeBuckets ConversationTypeByFeature quality that only conversations can have A collection of collections. Each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/en/ConversationTypeByFeature" class="cyc_term">ConversationTypeByFeature</a> is a collection of conversations with a certain feature. sentence evaluation output SentenceEvaluationOutput A collection of collections. Each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/en/SentenceEvaluationOutput" class="cyc_term">SentenceEvaluationOutput</a> denotes a property that can be assigned to a <a href="http://sw.opencyc.org/2008/06/10/concept/en/CycLPropositionalSentence" class="cyc_term">CycLPropositionalSentence</a> by some judge/reviewer, when it is presented to the reviewer in either <a href="http://sw.opencyc.org/2008/06/10/concept/en/CycL" class="cyc_term">CycL</a> or in a translation to some <a href="http://sw.opencyc.org/2008/06/10/concept/en/HumanLanguage" class="cyc_term">HumanLanguage</a>). Examples of <a href="http://sw.opencyc.org/2008/06/10/concept/en/SentenceEvaluationOutput" class="cyc_term">SentenceEvaluationOutput</a> include #$RidiculousCycLSentence, #$PlausibleCycLSentence, and #$TrueCycLSentence. Since, these collections represent a judgment that results from some <a href="http://sw.opencyc.org/2008/06/10/concept/en/Evaluating" class="cyc_term">Evaluating</a> of a sentence , each instance of this collection is a <a href="http://sw.opencyc.org/2008/06/10/concept/en/notAssertibleCollection" class="cyc_term">notAssertibleCollection</a>. Each instance of this collection has a related <a href="http://sw.opencyc.org/2008/06/10/concept/en/UnaryPredicate" class="cyc_term">UnaryPredicate</a>. capability level ThingTypeByCapability A collection of collections. Each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/en/ThingTypeByCapability" class="cyc_term">ThingTypeByCapability</a> is a collection that represents the degree to which something is capable of performing some function. CycTestQueryConstantRunByStatus cyc test query constant run by status portal type by state PortalTypeByState A collection of collections. Each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/en/PortalTypeByState" class="cyc_term">PortalTypeByState</a> is a collection of <a href="http://sw.opencyc.org/2008/06/10/concept/en/Portal" class="cyc_term">Portal</a>s that share the same openness property - either <a href="http://sw.opencyc.org/2008/06/10/concept/en/OpenPortal" class="cyc_term">OpenPortal</a> or <a href="http://sw.opencyc.org/2008/06/10/concept/en/ClosedPortal" class="cyc_term">ClosedPortal</a>. rule evaluation output A collection of collections. Each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/en/RuleEvaluationOutput" class="cyc_term">RuleEvaluationOutput</a> is a class of rules that have been induced by Cyc and given some value via the use of a rule review tool. Examples of <a href="http://sw.opencyc.org/2008/06/10/concept/en/RuleEvaluationOutput" class="cyc_term">RuleEvaluationOutput</a> include #$NonsensicalRule, #$IntelligibleRule and #$GoodRule. RuleEvaluationOutput situation type by group user right SituationTypeByGroupUserRight rdfs: class rdfs:Class <a href="http://sw.opencyc.org/2008/06/10/concept/en/rdfs_Class" class="cyc_term">rdfs_Class</a>Class is an imported OWL/XML term equivalent to the Cyc term <a href="http://sw.opencyc.org/2008/06/10/concept/en/Collection" class="cyc_term">Collection</a> COAForHostileForce Characteristic attribute of a COA that has been devised for a force that is considered 'hostile' (<a href="http://sw.opencyc.org/2008/06/10/concept/en/Red_Side" class="cyc_term">Red_Side</a>) in the planning context. hostile formality A collection of collections. Each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/en/Formality" class="cyc_term">Formality</a> is a collection of instances of <a href="http://sw.opencyc.org/2008/06/10/concept/en/SomethingToWear" 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/en/Casual" class="cyc_term">Casual</a> is the collection of instances of <a href="http://sw.opencyc.org/2008/06/10/concept/en/SomethingToWear" class="cyc_term">SomethingToWear</a> that are considered casual such as jeans, sweaters, etc.. Formality The subcollection of <a href="http://sw.opencyc.org/2008/06/10/concept/en/PersonTypeByPersonalityTrait" class="cyc_term">PersonTypeByPersonalityTrait</a>s identified by the Myers-Briggs personality test. MyersBriggsPersonalityTrait myers briggs personality trait pulmonary vein isolation segment type PulmonaryVeinIsolationSegmentType CorporateInformationDesignation corporate information designation software speed SoftwareSpeed A collection of collections. Each specialization of this collection is a collection of collections of objects characterized by some sensible feature. For example, <a href="http://sw.opencyc.org/2008/06/10/concept/en/ObjectTypeByTaste" class="cyc_term">ObjectTypeByTaste</a> is the collection of collections of objects characterized by their taste. It includes the collection of salty things, sweet things, etc. sensory information ObjectTypeBySensibleFeature class of concepts belonging to a shared domain Each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/en/ConceptTypeByDomain" class="cyc_term">ConceptTypeByDomain</a> is a collection, all of whose elements can be considered concepts which belong to some domain of knowledge. For example, <a href="http://sw.opencyc.org/2008/06/10/concept/en/FamilyRelationsConcept" class="cyc_term">FamilyRelationsConcept</a> is the collection that includes predicates, such as <a href="http://sw.opencyc.org/2008/06/10/concept/en/siblings" class="cyc_term">siblings</a> or <a href="http://sw.opencyc.org/2008/06/10/concept/en/children" class="cyc_term">children</a>, collections, such as <a href="http://sw.opencyc.org/2008/06/10/concept/en/FamilyCohabitationUnit" class="cyc_term">FamilyCohabitationUnit</a>, and potentially other concepts that are part of the domain of family relationships. It is important to note that instances of <a href="http://sw.opencyc.org/2008/06/10/concept/en/ConceptTypeByDomain" class="cyc_term">ConceptTypeByDomain</a> are not quoted collections -- i.e., their elements are not the _terms_ used to represent the concepts, but instead are the concepts themselves. ConceptTypeByDomain ProposalTypeByStatus proposal status A collection of collections. Each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/en/ArchitecturalTypeByStyle" class="cyc_term">ArchitecturalTypeByStyle</a> is a collection of instances of <a href="http://sw.opencyc.org/2008/06/10/concept/en/ConstructionArtifact" class="cyc_term">ConstructionArtifact</a> having a particular architectual style. A building or artifact may be an instance of several architectural styles at the same time. ArchitecturalTypeByStyle architectural style InformationDesignation All information has this attribute if the information has been designated or classified according to a recognized classification scheme. information designation ims pfizer product group type IMSPfizerProductGroupType TermSuggestorTermType term suggestor term type <a href="http://sw.opencyc.org/2008/06/10/concept/en/TermSuggestorTermType" class="cyc_term">TermSuggestorTermType</a> is a collection of collections of CycL terms. Each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/en/TermSuggestorTermType" class="cyc_term">TermSuggestorTermType</a> is a collection of terms that has been represented in the Cyc KB to optimize the functioning of the <a href="http://sw.opencyc.org/2008/06/10/concept/en/TermSuggestor" class="cyc_term">TermSuggestor</a>. DiplomaticEvent-StateLevel-Negative diplomatic event, level negative MachineProtocolParticipantType The types of <a href="http://sw.opencyc.org/2008/06/10/concept/en/Artifact_Agentive" class="cyc_term">Artifact_Agentive</a>s participating in or employing a <a href="http://sw.opencyc.org/2008/06/10/concept/en/MachineProtocol" class="cyc_term">MachineProtocol</a>. machine protocol participant A collection of collections. Each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/en/AnimalTypeByBodyPosition" class="cyc_term">AnimalTypeByBodyPosition</a> is the collection of all animals that have some particular spatial relationship to some object. These will usually be functionally denoted. For example, (<a href="http://sw.opencyc.org/2008/06/10/concept/en/StraddlingFn" class="cyc_term">StraddlingFn</a> JimsSawhorse) returns the collection of animals straddling JimsSawhorse. AnimalTypeByBodyPosition body position attribute totally ordered collection TotallyOrderedCollection A collection of collections and a specialization of <a href="http://sw.opencyc.org/2008/06/10/concept/en/CollectionWithAnEventLikeOrder" class="cyc_term">CollectionWithAnEventLikeOrder</a> (q.v.). Each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/en/TotallyOrderedCollection" 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/en/greaterThanOrEqualTo" class="cyc_term">greaterThanOrEqualTo</a>, which totally orders <a href="http://sw.opencyc.org/2008/06/10/concept/en/Integer" class="cyc_term">Integer</a>. Thus <a href="http://sw.opencyc.org/2008/06/10/concept/en/Integer" class="cyc_term">Integer</a> is an instance of <a href="http://sw.opencyc.org/2008/06/10/concept/en/TotallyOrderedCollection" class="cyc_term">TotallyOrderedCollection</a>, and (since all integers are scalars) of its specialization <a href="http://sw.opencyc.org/2008/06/10/concept/en/TotallyOrderedScalarIntervalType" class="cyc_term">TotallyOrderedScalarIntervalType</a> (q.v.). VehicleDeviceState vehicle device state The collection of states that a vehicle may be in as a device. This includes states such as <a href="http://sw.opencyc.org/2008/06/10/concept/en/OverdriveState" class="cyc_term">OverdriveState</a> and <a href="http://sw.opencyc.org/2008/06/10/concept/en/VehicleTransmissionState_Parked" class="cyc_term">VehicleTransmissionState_Parked</a>. HeartChamberType HeartChamberType cyc vocabulary top level topic CycVocabularyTopLevelTopic An instance of <a href="http://sw.opencyc.org/2008/06/10/concept/en/CollectionType" class="cyc_term">CollectionType</a> and a specialization of CycVocabularyTopic. Each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/en/CycVocabularyTopLevelTopic" class="cyc_term">CycVocabularyTopLevelTopic</a> is an entry point (e.g. a topic you would see displayed first in a user interface) into the Cyc Vocabulary hierarchy of topics. Any of these top-level topics may have more general topics above them in the topic hierarchy (c.f. <a href="http://sw.opencyc.org/2008/06/10/concept/en/superTopics" class="cyc_term">superTopics</a>), but those more general topics will not serve as entry points unless they are asserted to be instances of <a href="http://sw.opencyc.org/2008/06/10/concept/en/CycVocabularyTopLevelTopic" class="cyc_term">CycVocabularyTopLevelTopic</a>.) A collection of collections of <a href="http://sw.opencyc.org/2008/06/10/concept/en/GeographicalRegion" class="cyc_term">GeographicalRegion</a>s. Each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/en/RegionTypeByCover" class="cyc_term">RegionTypeByCover</a> is a type of region characterized by certain level of concealment and/or cover from enemy fire that is afforded. Specializations of this collection include <a href="http://sw.opencyc.org/2008/06/10/concept/en/RegionTypeByCoverFromDirectFire" class="cyc_term">RegionTypeByCoverFromDirectFire</a> and <a href="http://sw.opencyc.org/2008/06/10/concept/en/RegionTypeByConcealmentFromAerialDetection" class="cyc_term">RegionTypeByConcealmentFromAerialDetection</a>. region type by cover RegionTypeByCover state-level military event MilitaryEvent-StateLevel barbarizing A collection of situations; a subcollection of <a href="http://sw.opencyc.org/2008/06/10/concept/en/PhysiologicalConditionType" class="cyc_term">PhysiologicalConditionType</a>. In each <a href="http://sw.opencyc.org/2008/06/10/concept/en/BarbarizingSomeone" class="cyc_term">BarbarizingSomeone</a>, someone is made crude or savage in behavior or speech. BarbarizingSomeone A subcollection of <a href="http://sw.opencyc.org/2008/06/10/concept/en/InformationDesignation" class="cyc_term">InformationDesignation</a>. Instances of this collection are attributes of information. Specifically, they are designations or classifications of information created by coalitions between governments. For instance, if the US formed a coalition with Israel for operations in the middle east, they might designate the information accessible by only those members of the coalition. The designations in this scheme would be instances of <a href="http://sw.opencyc.org/2008/06/10/concept/en/CoalitionInformationDesignation" class="cyc_term">CoalitionInformationDesignation</a>. The scheme might borrow from the US governments preexisting method of classifying information, but could include novel names to prevent confusion or misapplication of the scope of information accessible by the coalition members: for instance, 'US-IsraelSecret' might replace the usual 'Secret' classification used by the US government because it refers to distinct information sources, but it could still preserve the meaning of the term 'secret' as understood by the US government. coalition information designation CoalitionInformationDesignation object type by lighting condition A collection of collections. Each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/en/ObjectTypeByLightingCondition" class="cyc_term">ObjectTypeByLightingCondition</a> is a collection of objects in the same lighting condition. ObjectTypeByLightingCondition <a href="http://sw.opencyc.org/2008/06/10/concept/en/ThingTypeByVulnerability" class="cyc_term">ThingTypeByVulnerability</a> is the collection of collections of things vulnerable to threats. It is the collection of all collections which are specializations of <a href="http://sw.opencyc.org/2008/06/10/concept/en/VulnerableThing" class="cyc_term">VulnerableThing</a>. ThingTypeByVulnerability thing type by vulnerability A collection of collections. Each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/en/ComputerTypeByHardware" class="cyc_term">ComputerTypeByHardware</a> is a collection of instances of <a href="http://sw.opencyc.org/2008/06/10/concept/en/ComputerHardwareItem" class="cyc_term">ComputerHardwareItem</a> that share some property. computer type by hardware ComputerTypeByHardware NLMorphologyCollection The collection of <a href="http://sw.opencyc.org/2008/06/10/concept/en/NLCollection" class="cyc_term">NLCollection</a>s used in representing NL morphology. Cyc-NL morphology collection cyc taxonomy topic CycTaxonomyTopic talent Talent TransportationAccommodationType type of transportation accommodation A collection of collections, each instance of which represents some degree of luxury which is experienced by the passengers who are recieving such accommodations during their travels. For instance, <a href="http://sw.opencyc.org/2008/06/10/concept/en/FirstClass_TravelClass" class="cyc_term">FirstClass_TravelClass</a> is the collection of first class travel accommodations. This is not based in how they experience their journey, but rather, it is based on the classification given the accommodation by the company providing it. A concrete example of a use of one of the members of this collection is (<a href="http://sw.opencyc.org/2008/06/10/concept/en/TravelingByClassFn" class="cyc_term">TravelingByClassFn</a> (<a href="http://sw.opencyc.org/2008/06/10/concept/en/TravelingByMeansOfPathMediumFn" class="cyc_term">TravelingByMeansOfPathMediumFn</a> <a href="http://sw.opencyc.org/2008/06/10/concept/en/Railway" class="cyc_term">Railway</a>) <a href="http://sw.opencyc.org/2008/06/10/concept/en/FirstClass_TravelClass" class="cyc_term">FirstClass_TravelClass</a>), which denotes the collection of all railway traveling events that with first-class seating. friendly COAForFriendlyForce Characteristic attribute of a COA that has been devised for a force that is considered 'friendly' (<a href="http://sw.opencyc.org/2008/06/10/concept/en/Blue_Side" class="cyc_term">Blue_Side</a>) in the planning context. A type-level collection: each instance is a specialization of <a href="http://sw.opencyc.org/2008/06/10/concept/en/FreshWaterStratificationZone" class="cyc_term">FreshWaterStratificationZone</a>. type of fresh water stratification zone FreshWaterStratificationZoneType A collection of collections. Each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/en/TextStringTypeByGraphicalStructurePurpose" class="cyc_term">TextStringTypeByGraphicalStructurePurpose</a> is a collection of <a href="http://sw.opencyc.org/2008/06/10/concept/en/TextString" class="cyc_term">TextString</a>s that share some particular purpose within their <a href="http://sw.opencyc.org/2008/06/10/concept/en/GraphicalStructure" class="cyc_term">GraphicalStructure</a>. TextStringTypeByGraphicalStructurePurpose document structure purpose attribute ObjectTypeByTaste flavor A collection of collections. Each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/en/ObjectTypeByTaste" class="cyc_term">ObjectTypeByTaste</a> is a collection of instances of <a href="http://sw.opencyc.org/2008/06/10/concept/en/PartiallyTangible" class="cyc_term">PartiallyTangible</a> that share some particular qualitative taste. Some important instances are <a href="http://sw.opencyc.org/2008/06/10/concept/en/SaltyTaste" class="cyc_term">SaltyTaste</a>, <a href="http://sw.opencyc.org/2008/06/10/concept/en/BitterTaste" class="cyc_term">BitterTaste</a>, <a href="http://sw.opencyc.org/2008/06/10/concept/en/SweetTaste" class="cyc_term">SweetTaste</a>, and <a href="http://sw.opencyc.org/2008/06/10/concept/en/SourTaste" class="cyc_term">SourTaste</a>. Instances of <a href="http://sw.opencyc.org/2008/06/10/concept/en/ObjectTypeByTaste" class="cyc_term">ObjectTypeByTaste</a> can also be functionally denoted using <a href="http://sw.opencyc.org/2008/06/10/concept/en/TasteFn" class="cyc_term">TasteFn</a>, e.g., (<a href="http://sw.opencyc.org/2008/06/10/concept/en/TasteFn" class="cyc_term">TasteFn</a> <a href="http://sw.opencyc.org/2008/06/10/concept/en/Pizza" class="cyc_term">Pizza</a>) returns the collection of all instances of <a href="http://sw.opencyc.org/2008/06/10/concept/en/PartiallyTangible" class="cyc_term">PartiallyTangible</a> that have the taste of pizza. The collection of types of lists that are generally supported by HTML browsers. HTMLOrderedListType HTML ordered list type PathSystemType-Structural A collection of collections. Each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/en/PathSystemType_Structural" class="cyc_term">PathSystemType_Structural</a> is a collection of path systems that share a certain kind of structure. Examples include <a href="http://sw.opencyc.org/2008/06/10/concept/en/PointFinitePathSystem" class="cyc_term">PointFinitePathSystem</a>, <a href="http://sw.opencyc.org/2008/06/10/concept/en/NodeFinitePathSystem" class="cyc_term">NodeFinitePathSystem</a>, <a href="http://sw.opencyc.org/2008/06/10/concept/en/LinkFinitePathSystem" class="cyc_term">LinkFinitePathSystem</a>, <a href="http://sw.opencyc.org/2008/06/10/concept/en/FinitaryJunctionPathSystem" class="cyc_term">FinitaryJunctionPathSystem</a>, <a href="http://sw.opencyc.org/2008/06/10/concept/en/SimplePathSystem" class="cyc_term">SimplePathSystem</a>, <a href="http://sw.opencyc.org/2008/06/10/concept/en/Multigraph" class="cyc_term">Multigraph</a>, <a href="http://sw.opencyc.org/2008/06/10/concept/en/FiniteMultigraph" class="cyc_term">FiniteMultigraph</a>, <a href="http://sw.opencyc.org/2008/06/10/concept/en/SimpleGraph_GraphTheoretic" class="cyc_term">SimpleGraph_GraphTheoretic</a>, <a href="http://sw.opencyc.org/2008/06/10/concept/en/ConnectedPathSystem" class="cyc_term">ConnectedPathSystem</a>, <a href="http://sw.opencyc.org/2008/06/10/concept/en/Semi_DirectedPathSystem" class="cyc_term">Semi_DirectedPathSystem</a>, <a href="http://sw.opencyc.org/2008/06/10/concept/en/DirectedPathSystem" class="cyc_term">DirectedPathSystem</a>, <a href="http://sw.opencyc.org/2008/06/10/concept/en/BidirectedPathSystem" class="cyc_term">BidirectedPathSystem</a>, <a href="http://sw.opencyc.org/2008/06/10/concept/en/DirectedAcyclicPathSystem" class="cyc_term">DirectedAcyclicPathSystem</a>, <a href="http://sw.opencyc.org/2008/06/10/concept/en/BoundedDirectedPathSystem" class="cyc_term">BoundedDirectedPathSystem</a>, <a href="http://sw.opencyc.org/2008/06/10/concept/en/DirectedMultigraph" class="cyc_term">DirectedMultigraph</a>, <a href="http://sw.opencyc.org/2008/06/10/concept/en/DirectedGraph" class="cyc_term">DirectedGraph</a>, <a href="http://sw.opencyc.org/2008/06/10/concept/en/DirectedAcyclicGraph" class="cyc_term">DirectedAcyclicGraph</a>, <a href="http://sw.opencyc.org/2008/06/10/concept/en/BoundedDirectedAcyclicGraph" class="cyc_term">BoundedDirectedAcyclicGraph</a>, and <a href="http://sw.opencyc.org/2008/06/10/concept/en/NetworkFlowSystem_Bounded" class="cyc_term">NetworkFlowSystem_Bounded</a>. structural path system ModalityFeature-System system modality feature too simple thing TooSimple ConventionalClassificationType A collection of collections. Each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/en/ConventionalClassificationType" class="cyc_term">ConventionalClassificationType</a> is a collection that corresponds to a category in some agreed-upon or conventional classification system (see <a href="http://sw.opencyc.org/2008/06/10/concept/en/ClassificationSystem" class="cyc_term">ClassificationSystem</a>) used by people. In such systems, a change or reclassification is possible by a decision of an authority, or by a changed social agreement or custom, without changing the intrinsic natures of the actual objects in the category. <a href="http://sw.opencyc.org/2008/06/10/concept/en/ConventionalClassificationType" class="cyc_term">ConventionalClassificationType</a>s include categories in biological taxonomy, standard classifications in data dictionaries and thesauri, cultural taboo classes, military doctrinal classes, and named calendar intervals. conventional classification type <a href="http://sw.opencyc.org/2008/06/10/concept/en/FilePermission" class="cyc_term">FilePermission</a> is the collection of attributes that characterize the permissions of a <a href="http://sw.opencyc.org/2008/06/10/concept/en/ComputerFileCopy" class="cyc_term">ComputerFileCopy</a>. file permission FilePermission A specialization of <a href="http://sw.opencyc.org/2008/06/10/concept/en/ExistingObjectType" class="cyc_term">ExistingObjectType</a>. Each instance of this colleciton is a subset of <a href="http://sw.opencyc.org/2008/06/10/concept/en/ModernMilitaryOrganization" class="cyc_term">ModernMilitaryOrganization</a>. modern military unit type ModernMilitaryUnitType ModalityFeature-SingleOp modality feature single op too complex thing TooComplex The collection of specializations of <a href="http://sw.opencyc.org/2008/06/10/concept/en/HumanActivity" class="cyc_term">HumanActivity</a> such that persons typically are involved in (<a href="http://sw.opencyc.org/2008/06/10/concept/en/actors" class="cyc_term">actors</a>) at least one instance of the activity type in their lifetime. typical human activity type at least once TypicalHumanActivityType-AtLeastOnce arbitrary union An <a href="http://sw.opencyc.org/2008/06/10/concept/en/ArbitraryUnion" class="cyc_term">ArbitraryUnion</a> is a collection whose extent is the arbitrary agglomeration of two or more other collections. Merely being a union of two other collections is not sufficient -- the union must be an arbitrary one in which it is difficult to state any interesting property about the union other than the specification of the collections which together make up its extent. For example, a concept like CoyoteOrRoadRunner would likely be an <a href="http://sw.opencyc.org/2008/06/10/concept/en/ArbitraryUnion" class="cyc_term">ArbitraryUnion</a>, whereas <a href="http://sw.opencyc.org/2008/06/10/concept/en/Person" class="cyc_term">Person</a>, which is the union of #$MalePerson and #$FemalePerson is definitely not. ArbitraryUnion SBHL module type SBHLModuleType AutomaticTransmissionState automatic transmission state A collection of collections. Each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/en/InformationDesignationType" class="cyc_term">InformationDesignationType</a> is a collection of attributes. These attributes are those designations or classifications of information that are part of some recognized classification scheme. For instance, the collection <a href="http://sw.opencyc.org/2008/06/10/concept/en/GovernmentInformationDesignation" class="cyc_term">GovernmentInformationDesignation</a> is an instance of <a href="http://sw.opencyc.org/2008/06/10/concept/en/InformationDesignationType" class="cyc_term">InformationDesignationType</a>. Instances of <a href="http://sw.opencyc.org/2008/06/10/concept/en/GovernmentInformationDesignation" class="cyc_term">GovernmentInformationDesignation</a> are attributes of information that are part of US government's scheme of classification, eg, <a href="http://sw.opencyc.org/2008/06/10/concept/en/TopSecretInformation" class="cyc_term">TopSecretInformation</a>. Other examples include <a href="http://sw.opencyc.org/2008/06/10/concept/en/CorporateInformationDesignation" class="cyc_term">CorporateInformationDesignation</a>, <a href="http://sw.opencyc.org/2008/06/10/concept/en/GovernmentAffiliatedInformationDesignation" class="cyc_term">GovernmentAffiliatedInformationDesignation</a>, and others. InformationDesignationType information designation type state of a triggering mechanism TriggeringMechanismState A collection representing the sub-collection of <a href="http://sw.opencyc.org/2008/06/10/concept/en/EvaluatedNumericalRating" class="cyc_term">EvaluatedNumericalRating</a> whose instances represent the overall connectivity of a <a href="http://sw.opencyc.org/2008/06/10/concept/en/CycLTerm" class="cyc_term">CycLTerm</a> either to the whole of the relevant instance of <a href="http://sw.opencyc.org/2008/06/10/concept/en/CycKB" class="cyc_term">CycKB</a> or to a particular set of <a href="http://sw.opencyc.org/2008/06/10/concept/en/CycLTerm" class="cyc_term">CycLTerm</a>. cyc KB term rank CycKBTermRank variable-order Cyc collection A <a href="http://sw.opencyc.org/2008/06/10/concept/en/CollectionType" class="cyc_term">CollectionType</a> and the collection of all and only those <a href="http://sw.opencyc.org/2008/06/10/concept/en/Collection" 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/en/Individual" class="cyc_term">Individual</a>s be "zeroth-order" things, collections of (only) <a href="http://sw.opencyc.org/2008/06/10/concept/en/Individual" 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/en/VariedOrderCollection" 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/en/AbstractThing" 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/en/VariedOrderCollection" class="cyc_term">VariedOrderCollection</a> include <a href="http://sw.opencyc.org/2008/06/10/concept/en/Intangible" class="cyc_term">Intangible</a>, <a href="http://sw.opencyc.org/2008/06/10/concept/en/Collection" class="cyc_term">Collection</a>, <a href="http://sw.opencyc.org/2008/06/10/concept/en/CollectionType" class="cyc_term">CollectionType</a>, and <a href="http://sw.opencyc.org/2008/06/10/concept/en/Thing" 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/en/VariedOrderCollection" class="cyc_term">VariedOrderCollection</a> is varied-order. Note that <a href="http://sw.opencyc.org/2008/06/10/concept/en/FixedOrderCollection" class="cyc_term">FixedOrderCollection</a> (q.v.) and <a href="http://sw.opencyc.org/2008/06/10/concept/en/VariedOrderCollection" class="cyc_term">VariedOrderCollection</a> do _not_ constitute a partition of <a href="http://sw.opencyc.org/2008/06/10/concept/en/Collection" 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/en/Set_Mathematical" class="cyc_term">Set_Mathematical</a> (e.g.) and its specializations are neither fixed-order nor varied-order collections. VariedOrderCollection OWLAnonymousClass The collection of OWL anonymous classes not having a <a href="http://sw.opencyc.org/2008/06/10/concept/en/UniformResourceIdentifier" class="cyc_term">UniformResourceIdentifier</a> (URI). OWL anonymous class A collection of attributes. Elements of <a href="http://sw.opencyc.org/2008/06/10/concept/en/OutcomeType" class="cyc_term">OutcomeType</a> are #$AttributeValues used in representing constraints that affect the outcome of different situations. Possible outcomes are elements of <a href="http://sw.opencyc.org/2008/06/10/concept/en/OutcomeType" class="cyc_term">OutcomeType</a>; e.g., <a href="http://sw.opencyc.org/2008/06/10/concept/en/FailureOutcome" class="cyc_term">FailureOutcome</a>, <a href="http://sw.opencyc.org/2008/06/10/concept/en/InjuryOutcome" class="cyc_term">InjuryOutcome</a>, <a href="http://sw.opencyc.org/2008/06/10/concept/en/DamageOutcome" class="cyc_term">DamageOutcome</a>. See also <a href="http://sw.opencyc.org/2008/06/10/concept/en/sitConstraints" class="cyc_term">sitConstraints</a>. OutcomeType outcome type VisualImageFeature A collection of collections. Each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/en/VisualImageFeature" class="cyc_term">VisualImageFeature</a> is a collection of instances of <a href="http://sw.opencyc.org/2008/06/10/concept/en/VisualImage" class="cyc_term">VisualImage</a> that share some meta-characteristic. visual image feature military interest type MilitaryInterestType FACToryObjectTypeValueBuckets Each instance of this collection will be a collection of object types that, via the web game, have all been categorized as having a similar sort of value. These values can range from being found in a particular room in a house -- "things (types) found in a kitchen" -- to having instances that are similar volumes or size. FAC tory object type value buckets Each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/en/ThingTypeByCapability_Passive" class="cyc_term">ThingTypeByCapability_Passive</a> is a collection of things with a certain passive capacity. Instances of this collection represent a capability something has that enables it to play the role <a href="http://sw.opencyc.org/2008/06/10/concept/en/objectActedOn" class="cyc_term">objectActedOn</a> in certain events. passive capability attribute ThingTypeByCapability-Passive A collection of collections. Each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/en/CollectionWithAnEventLikeOrder" 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/en/CollectionWithAnEventLikeOrder" 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/en/MathematicalOrdering" class="cyc_term">MathematicalOrdering</a> whose <a href="http://sw.opencyc.org/2008/06/10/concept/en/baseSet" class="cyc_term">baseSet</a> is <code>COL</code>, and whose <a href="http://sw.opencyc.org/2008/06/10/concept/en/orderingRelation" class="cyc_term">orderingRelation</a> is <code>RELN</code>, is an instance of <a href="http://sw.opencyc.org/2008/06/10/concept/en/EventLikeOrdering" class="cyc_term">EventLikeOrdering</a> (q.v.). For example, the instances of <a href="http://sw.opencyc.org/2008/06/10/concept/en/Distance" 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/en/Distance" class="cyc_term">Distance</a> is a collection with an event-like order. CollectionWithAnEventLikeOrder collection with an event-like order CAEFolderRelevanceTag CAE folder relevance tag The collection of object types that have instances that are all, roughly, microscopic. microscopic sized object type MicroscopicSized-ObjectType modality feature ModalityFeature complementary base pairing quality ComplementaryBasePairingAttribute FAC tory topic FACToryTopic The degree to which information is held secret. Instances can be placed into a partial order. SecurityClearanceLevel security clearance level A collection of collections. Each instance <code>COL</code> of <a href="http://sw.opencyc.org/2008/06/10/concept/en/AtemporalNecessarilyEssentialCollectionType" class="cyc_term">AtemporalNecessarilyEssentialCollectionType</a> (ANECT) is a collection satisfying three conditions: (1) <code>COL</code> is disjoint with (see <a href="http://sw.opencyc.org/2008/06/10/concept/en/disjointWith" class="cyc_term">disjointWith</a>) <a href="http://sw.opencyc.org/2008/06/10/concept/en/TemporalThing" class="cyc_term">TemporalThing</a>, (2) every instance <code>INST</code> of <code>COL</code> is an instance of <code>COL</code> essentially (i.e. <code>INST</code> is an instance of <code>COL</code>, and could not exist without being an instance of <code>COL</code>), and (3) condition (2) is a necessary truth about <code>COL</code>. Positive examples of ANECTs include <a href="http://sw.opencyc.org/2008/06/10/concept/en/Collection" class="cyc_term">Collection</a>, <a href="http://sw.opencyc.org/2008/06/10/concept/en/Integer" class="cyc_term">Integer</a>, and <a href="http://sw.opencyc.org/2008/06/10/concept/en/Relation" class="cyc_term">Relation</a> (each of which is a collection of atemporals and is such that, necessarily, all of its instances are in it essentially). Negative examples include <a href="http://sw.opencyc.org/2008/06/10/concept/en/SpatialThing" class="cyc_term">SpatialThing</a> (though arguably it is necessary that all of its instances are essentially instances of it, it is not disjoint with <a href="http://sw.opencyc.org/2008/06/10/concept/en/TemporalThing" class="cyc_term">TemporalThing</a>) and <a href="http://sw.opencyc.org/2008/06/10/concept/en/UniqueAnatomicalPartType" class="cyc_term">UniqueAnatomicalPartType</a> (which, though disjoint with <a href="http://sw.opencyc.org/2008/06/10/concept/en/TemporalThing" class="cyc_term">TemporalThing</a>, has instances, such as <a href="http://sw.opencyc.org/2008/06/10/concept/en/Heart" class="cyc_term">Heart</a>, that could exist even if they weren't instances of it; e.g. it might have been the case that every creature with a heart had at least two hearts). There are no known examples of Cyc-reified collections satisfying conditions (1) and (2) but not (3), but one can be contrived. Suppose that all of today's winning lottery numbers were primes. Now consider the collection: (<a href="http://sw.opencyc.org/2008/06/10/concept/en/CollectionUnionFn" class="cyc_term">CollectionUnionFn</a> (<a href="http://sw.opencyc.org/2008/06/10/concept/en/TheSet" class="cyc_term">TheSet</a> <a href="http://sw.opencyc.org/2008/06/10/concept/en/PrimeNumber" class="cyc_term">PrimeNumber</a> TodaysWinningLotteryNumbers)) This collection is clearly disjoint with <a href="http://sw.opencyc.org/2008/06/10/concept/en/TemporalThing" class="cyc_term">TemporalThing</a> and, by hypothesis, all of its instances are in it essentially (as each prime number is essentially a prime number). But this last fact is not necessarily true of this collection: the collection might have had instances that belonged to it only contingently (i.e. not essentially), as it might have been the case that one of today's winning lottery numbers was non-prime, and no number is such that it is essentially one of today's winning lottery numbers. When asserting that something is an instance or specialization of a given instance of ANECT, it is appropriate to do so in the <a href="http://sw.opencyc.org/2008/06/10/concept/en/UniversalVocabularyMt" class="cyc_term">UniversalVocabularyMt</a> (q.v.). Indeed, ANECT was specially defined to facilitate the movement of appropriate assertions to that microtheory. Cf. <a href="http://sw.opencyc.org/2008/06/10/concept/en/PragmaticallyDecontextualizedCollection" class="cyc_term">PragmaticallyDecontextualizedCollection</a>. AtemporalNecessarilyEssentialCollectionType type of atemporal collection in which membership is necessarily essential In OWL-Full this is the collection of all OWL classes -- i.e. collection. OWL class OWLClass EconomicEvent-StateLevel-Negative negative state-level economic event WorkloadStatus workload status 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. military threat MilitaryThreat type of property of a typicality reference set TypicalityReferenceSetPropertyType ocean stratification zone type A type-level collection: each instance is an <a href="http://sw.opencyc.org/2008/06/10/concept/en/OceanStratificationZone" class="cyc_term">OceanStratificationZone</a>. OceanStratificationZoneType ViolentEvent-StateLevel violent event, level (CollectionIntersection2Fn Licensed-ProductType (SpecsFn (VaccineForAgainstFn HomoSapiens AnthraxInfection))) licensed thing that is also a type of human anthrax vaccine collection order CollectionOrder The collection of all <a href="http://sw.opencyc.org/2008/06/10/concept/en/FixedOrderCollection" class="cyc_term">FixedOrderCollection</a>s which include every collection of that same fixed order. These include <a href="http://sw.opencyc.org/2008/06/10/concept/en/Individual" class="cyc_term">Individual</a> (zero-order), <a href="http://sw.opencyc.org/2008/06/10/concept/en/FirstOrderCollection" class="cyc_term">FirstOrderCollection</a>, <a href="http://sw.opencyc.org/2008/06/10/concept/en/SecondOrderCollection" class="cyc_term">SecondOrderCollection</a>, <a href="http://sw.opencyc.org/2008/06/10/concept/en/ThirdOrderCollection" class="cyc_term">ThirdOrderCollection</a>, and <a href="http://sw.opencyc.org/2008/06/10/concept/en/FourthOrderCollection" class="cyc_term">FourthOrderCollection</a>. If higher order collections are defined, they will also be members of this collection. The collection of all instances of <a href="http://sw.opencyc.org/2008/06/10/concept/en/IndividualTypeBySecurityStatus" class="cyc_term">IndividualTypeBySecurityStatus</a> that have bearing on whether and to what degree an <a href="http://sw.opencyc.org/2008/06/10/concept/en/AbstractInformationStructure" class="cyc_term">AbstractInformationStructure</a> is encrypted. Notable instances of this collection are <a href="http://sw.opencyc.org/2008/06/10/concept/en/Plaintext" class="cyc_term">Plaintext</a> and <a href="http://sw.opencyc.org/2008/06/10/concept/en/Encrypted" class="cyc_term">Encrypted</a>. AISTypeByEncryptionStatus encryption attribute tool usage level ToolUsageLevel A collection of collections. Each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/en/ToolUsageLevel" 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/en/ExpertUsageFn" class="cyc_term">ExpertUsageFn</a> <a href="http://sw.opencyc.org/2008/06/10/concept/en/SolderingIron" class="cyc_term">SolderingIron</a>) denotes the subcollection of <a href="http://sw.opencyc.org/2008/06/10/concept/en/Person" 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/en/MSWindows" class="cyc_term">MSWindows</a>) denotes the subcollection of <a href="http://sw.opencyc.org/2008/06/10/concept/en/Person" 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/en/MSWindows" class="cyc_term">MSWindows</a>. Writing in which characters are printed according to some sort of standard. Unlike the <a href="http://sw.opencyc.org/2008/06/10/concept/en/CursiveStyleOfWriting" class="cyc_term">CursiveStyleOfWriting</a>, in printed writing, characters tend to be separated from one another by whitespace, since the writing implement is lifted off the page frequently. printing PrintedStyleOfWriting This awkwardly-named collection contains attributes describing whether a <a href="http://sw.opencyc.org/2008/06/10/concept/en/LocalOrganization" class="cyc_term">LocalOrganization</a> is open for business or closed for business. local organization type by openness status LocalOrganizationTypeByOpennessStatus OWLIndeterminateIndividual OWL indeterminate individual The collection of OWL individuals having the default non unique names assumption. Unlike Cyc which has the Unique Names Assumption (different named terms are default <a href="http://sw.opencyc.org/2008/06/10/concept/en/different" class="cyc_term">different</a>) OWL provides <a href="http://sw.opencyc.org/2008/06/10/concept/en/owlSameAs" class="cyc_term">owlSameAs</a> and <a href="http://sw.opencyc.org/2008/06/10/concept/en/owlDifferentFrom" class="cyc_term">owlDifferentFrom</a> to explicitly assert identity relationships between individuals. licensing attribute A collection of collections. Each instance of this collection is a collection of objects that are licensed by some, perhaps implicit, authority. ObjectTypeByLicensingAttribute OWL deprecated class The collection of OWL classes that are deprecated. OWLDeprecatedClass A type of <a href="http://sw.opencyc.org/2008/06/10/concept/en/ObjectTypeByIntrinsicState" class="cyc_term">ObjectTypeByIntrinsicState</a>. The collection <a href="http://sw.opencyc.org/2008/06/10/concept/en/RadioReceiverState" class="cyc_term">RadioReceiverState</a> is a <a href="http://sw.opencyc.org/2008/06/10/concept/en/SetOrCollectionType" class="cyc_term">SetOrCollectionType</a>. radio receiver state RadioReceiverState TextStringTypeByReferenceType A collection of collections. Each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/en/TextStringTypeByReferenceType" class="cyc_term">TextStringTypeByReferenceType</a> is a collection of instances of <a href="http://sw.opencyc.org/2008/06/10/concept/en/TextString" class="cyc_term">TextString</a> that share a certain type of reference feature. These collections can be used to characterize, by function or purpose, a particular <a href="http://sw.opencyc.org/2008/06/10/concept/en/TextString" class="cyc_term">TextString</a> that is a reference (see <a href="http://sw.opencyc.org/2008/06/10/concept/en/referenceInWorkTo" class="cyc_term">referenceInWorkTo</a>) and that is contained within (see <a href="http://sw.opencyc.org/2008/06/10/concept/en/containsStructure_CW" class="cyc_term">containsStructure_CW</a>) a particular <a href="http://sw.opencyc.org/2008/06/10/concept/en/StructurallySpecificWork" class="cyc_term">StructurallySpecificWork</a>. For example, a citation within an structurally specific instance of <a href="http://sw.opencyc.org/2008/06/10/concept/en/Bibliography" class="cyc_term">Bibliography</a> can be characterized by <a href="http://sw.opencyc.org/2008/06/10/concept/en/BibliographicReference" class="cyc_term">BibliographicReference</a>. See <a href="http://sw.opencyc.org/2008/06/10/concept/en/textStringIsReferenceTypeInWork" class="cyc_term">textStringIsReferenceTypeInWork</a>. reference attribute connector state ConnectorState teaching method TeachingMethod A sub-collection of <a href="http://sw.opencyc.org/2008/06/10/concept/en/TechniqueType" class="cyc_term">TechniqueType</a>. Each instance is a type of action in which principles and methods of instruction are used. EvaluatedNumericalRating <a href="http://sw.opencyc.org/2008/06/10/concept/en/EvaluatedNumericalRating" class="cyc_term">EvaluatedNumericalRating</a>, a sub-collection of <a href="http://sw.opencyc.org/2008/06/10/concept/en/EvaluativeQuantity" class="cyc_term">EvaluativeQuantity</a>, is a collection of collections. The instances of <a href="http://sw.opencyc.org/2008/06/10/concept/en/EvaluatedNumericalRating" class="cyc_term">EvaluatedNumericalRating</a> are instances of <a href="http://sw.opencyc.org/2008/06/10/concept/en/FirstOrderCollection" class="cyc_term">FirstOrderCollection</a> whose instances all share a common evaluation relative to some instance of <a href="http://sw.opencyc.org/2008/06/10/concept/en/EvaluativeCriterion_Numerical" class="cyc_term">EvaluativeCriterion_Numerical</a>. What distinguishes this collection from <a href="http://sw.opencyc.org/2008/06/10/concept/en/EvaluativeQuantity" class="cyc_term">EvaluativeQuantity</a> is that the evaluations include assigning a number to the collection such that individuals can be compared based on the number assigned to the collection of which they are a member. For example, a sub-collection of <a href="http://sw.opencyc.org/2008/06/10/concept/en/EvaluatedNumericalRating" class="cyc_term">EvaluatedNumericalRating</a> could be the set of weekly rankings for instances of <a href="http://sw.opencyc.org/2008/06/10/concept/en/Song_CW" class="cyc_term">Song_CW</a> by the organization responsible for <a href="http://sw.opencyc.org/2008/06/10/concept/en/RollingStone_TheMagazine" class="cyc_term">RollingStone_TheMagazine</a>. 'This is Rolling Stone's number one song this week.' assigns that individual song to a collection that is an instance of <a href="http://sw.opencyc.org/2008/06/10/concept/en/EvaluatedNumericalRating" class="cyc_term">EvaluatedNumericalRating</a>. The collection 'Rolling Stone's Number One Song' is such that at any given time there is exactly one instance of it. However, this is not a necessary feature of the instances of <a href="http://sw.opencyc.org/2008/06/10/concept/en/EvaluatedNumericalRating" class="cyc_term">EvaluatedNumericalRating</a>. evaluated numerical rating A specialization of <a href="http://sw.opencyc.org/2008/06/10/concept/en/TimeDependentCollection" class="cyc_term">TimeDependentCollection</a> (q.v.). This is the collection of all and only those collections <code>COL</code> such that any thing's being an instance of <code>COL</code> depends on the current state of the <a href="http://sw.opencyc.org/2008/06/10/concept/en/CycKB" class="cyc_term">CycKB</a>. Such a <code>COL</code> corresponds to a property defined (at least partly) in terms of the contents, features, or implementation of the Cyc Knowledge Base itself, as opposed to a property that "exists out there" in the KB-independent world. For example, <a href="http://sw.opencyc.org/2008/06/10/concept/en/CycLAssertion" class="cyc_term">CycLAssertion</a> is a KB-dependent collection, membership in which requires of a given CycL sentence that it has in fact been asserted to the KB. <a href="http://sw.opencyc.org/2008/06/10/concept/en/CycLSentence" class="cyc_term">CycLSentence</a> is also KB-dependent, as being a CycL sentence requires being composed (ultimately) out of <a href="http://sw.opencyc.org/2008/06/10/concept/en/CycLReifiedDenotationalTerm" class="cyc_term">CycLReifiedDenotationalTerm</a>s (and perhaps variables) -- i.e. terms that are currently reified in the KB. Conversely, <a href="http://sw.opencyc.org/2008/06/10/concept/en/Sentence" class="cyc_term">Sentence</a> is not a KB-dependent collection. See also <a href="http://sw.opencyc.org/2008/06/10/concept/en/KBDependentRelation" class="cyc_term">KBDependentRelation</a>. KB dependent collection KBDependentCollection computer video resolution ComputerVideoResolution A collection of collections. Each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/en/ComputerVideoResolution" class="cyc_term">ComputerVideoResolution</a> is a collection of instances of ComputerProgram-CW that support some video resolution and color mode. PathArtifactTypeByStructuralFeature A collection of collections. Each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/en/PathArtifactTypeByStructuralFeature" class="cyc_term">PathArtifactTypeByStructuralFeature</a> is a collection of paths with a certain structural feature. These collections can be used to describe the properties of the structure of some instance of <a href="http://sw.opencyc.org/2008/06/10/concept/en/PathArtifact" class="cyc_term">PathArtifact</a>. See, e.g. the subcollection <a href="http://sw.opencyc.org/2008/06/10/concept/en/PathTypeBySurfaceFeature" class="cyc_term">PathTypeBySurfaceFeature</a>. constructed route attribute InformationRecordingDeviceState information recording device state A type of <a href="http://sw.opencyc.org/2008/06/10/concept/en/ObjectTypeByIntrinsicState" class="cyc_term">ObjectTypeByIntrinsicState</a>. The concept <a href="http://sw.opencyc.org/2008/06/10/concept/en/InformationRecordingDeviceState" class="cyc_term">InformationRecordingDeviceState</a> is a <a href="http://sw.opencyc.org/2008/06/10/concept/en/SetOrCollectionType" class="cyc_term">SetOrCollectionType</a>. object type by intrinsic state ObjectTypeByIntrinsicState A subcollection of #$CollectionValue. Each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/en/ObjectTypeByIntrinsicState" class="cyc_term">ObjectTypeByIntrinsicState</a> is a collection of things in a similar intrinsic state. Each instance represents a state in which some object can be. Instances of <a href="http://sw.opencyc.org/2008/06/10/concept/en/ObjectTypeByIntrinsicState" class="cyc_term">ObjectTypeByIntrinsicState</a> include <a href="http://sw.opencyc.org/2008/06/10/concept/en/Device_On" class="cyc_term">Device_On</a>, <a href="http://sw.opencyc.org/2008/06/10/concept/en/OffHook" class="cyc_term">OffHook</a> as well as states that living objects can be in like <a href="http://sw.opencyc.org/2008/06/10/concept/en/EndosporeState" class="cyc_term">EndosporeState</a>. SBHL module tag SBHLModuleTag thing type by evaluative feature ThingTypeByEvaluativeFeature candidate KB completeness node CandidateKBCompletenessNode BBN entity type A specialization of #$BBNTagTranslationConstant. Instances are constants which are used to translate the mark-up tags which are used by BBN's SERIF tool to represent different entity types. BBNEntityType The collection of collections of instances of situations that pertain to marital and cohabitation status. Instances include <a href="http://sw.opencyc.org/2008/06/10/concept/en/Cohabitating_Married" class="cyc_term">Cohabitating_Married</a>, <a href="http://sw.opencyc.org/2008/06/10/concept/en/NonCohabitating_Married" class="cyc_term">NonCohabitating_Married</a>, <a href="http://sw.opencyc.org/2008/06/10/concept/en/Cohabitating_Unmarried" class="cyc_term">Cohabitating_Unmarried</a>. These collections characterize the states of affairs of being in a certain sort of domestic situation. For example, instances of <a href="http://sw.opencyc.org/2008/06/10/concept/en/Cohabitating_Married" class="cyc_term">Cohabitating_Married</a> are all situations that endure (for some length) through time during which a couple are married and live together. DomesticSituationByMaritalStatus domestic situation by marital status USCoastGuardRank U.S. Coast Guard rank The scale of ranks employed by the United States Coast Guard. This is a collection of attributes that are used with the predicate <a href="http://sw.opencyc.org/2008/06/10/concept/en/rank_Military" class="cyc_term">rank_Military</a>. WordNetWorkflowStatus The collection of WordNet workflow status collections. word net workflow status caeusable FET template topic The collection of template topics that have been vetted for use with the CAE. CAEUsableFETTemplateTopic SoundStructure sound structure The collection of instances of <a href="http://sw.opencyc.org/2008/06/10/concept/en/ObjectTypeBySensibleFeature" class="cyc_term">ObjectTypeBySensibleFeature</a> that are audible qualities of sounds. For example, the feature a sound has when it the sequence of played notes D, A, and G occur in this order is a <a href="http://sw.opencyc.org/2008/06/10/concept/en/SoundStructure" class="cyc_term">SoundStructure</a>. There is no limit to how complex <a href="http://sw.opencyc.org/2008/06/10/concept/en/SoundStructure" class="cyc_term">SoundStructure</a>s may be. For example, there is a single <a href="http://sw.opencyc.org/2008/06/10/concept/en/SoundStructure" class="cyc_term">SoundStructure</a>, SOUND, corresponding to the entirety of a given performance of a symphony, PERFORMANCE1. Any other performance which instantiates SOUND would sound exactly like PERFORMANCE1. Instances of this collection are collections of <a href="http://sw.opencyc.org/2008/06/10/concept/en/CycBehaviorLanguage" class="cyc_term">CycBehaviorLanguage</a> <a href="http://sw.opencyc.org/2008/06/10/concept/en/CBLLog" class="cyc_term">CBLLog</a> commands having certain logging levels. CBLLoggingLevelType CBL logging level type MilitaryRankType military rank type The collection of all military rank systems, each being an ordered collection (system) of rank attributes for a particular country and military organization. This is a 'type', or collection of collections. For example, (<a href="http://sw.opencyc.org/2008/06/10/concept/en/rank_Military" class="cyc_term">rank_Military</a> JohnSmith <a href="http://sw.opencyc.org/2008/06/10/concept/en/Corporal_Rank" class="cyc_term">Corporal_Rank</a>), (<a href="http://sw.opencyc.org/2008/06/10/concept/en/isa" class="cyc_term">isa</a> <a href="http://sw.opencyc.org/2008/06/10/concept/en/Corporal_Rank" class="cyc_term">Corporal_Rank</a> <a href="http://sw.opencyc.org/2008/06/10/concept/en/USArmyRank" class="cyc_term">USArmyRank</a>) and (<a href="http://sw.opencyc.org/2008/06/10/concept/en/isa" class="cyc_term">isa</a> <a href="http://sw.opencyc.org/2008/06/10/concept/en/USArmyRank" class="cyc_term">USArmyRank</a> <a href="http://sw.opencyc.org/2008/06/10/concept/en/MilitaryRankType" class="cyc_term">MilitaryRankType</a>). BPVItemType bpv item type StockTypeByBusinessAndClass A collection of specializations of <a href="http://sw.opencyc.org/2008/06/10/concept/en/Stock" class="cyc_term">Stock</a>. Each element of <a href="http://sw.opencyc.org/2008/06/10/concept/en/StockTypeByBusinessAndClass" class="cyc_term">StockTypeByBusinessAndClass</a> is a collection of instances of <a href="http://sw.opencyc.org/2008/06/10/concept/en/Stock" class="cyc_term">Stock</a> that are offered by a particular <a href="http://sw.opencyc.org/2008/06/10/concept/en/LegalCorporation" class="cyc_term">LegalCorporation</a> and all of whose instances are of the same stock type (e.g. all are <a href="http://sw.opencyc.org/2008/06/10/concept/en/PreferredStock" class="cyc_term">PreferredStock</a>). class of stock flow control device state FlowControlDeviceState Opaque features that software can have. These are 'opaque' because it is too difficult to express what they do exactly. computer software type by feature ComputerSoftwareTypeByFeature active device state ActiveDeviceState A type of <a href="http://sw.opencyc.org/2008/06/10/concept/en/ObjectTypeByIntrinsicState" class="cyc_term">ObjectTypeByIntrinsicState</a>. The concept <a href="http://sw.opencyc.org/2008/06/10/concept/en/ActiveDeviceState" class="cyc_term">ActiveDeviceState</a> is a <a href="http://sw.opencyc.org/2008/06/10/concept/en/SetOrCollectionType" class="cyc_term">SetOrCollectionType</a>. The collection of types of drug products that may be specified as to dosage form and type of preparation (the drug product(s) contained), but are not specified as to administration route, strength or packaging. pharmacy product type level 1 PharmacyProductType-Level1 U.S. Navy Force rank USNavyRank FieldCombiningMethod field combining method Instances of <a href="http://sw.opencyc.org/2008/06/10/concept/en/FieldCombiningMethod" class="cyc_term">FieldCombiningMethod</a> are methods for combining component <a href="http://sw.opencyc.org/2008/06/10/concept/en/LogicalField" class="cyc_term">LogicalField</a> instances into their composite fields. EthnicGroupOfBodo An ethnic group based in the nortwestern region of <a href="http://sw.opencyc.org/2008/06/10/concept/en/Assam_StateIndia" class="cyc_term">Assam_StateIndia</a>. Not to be confused with <a href="http://sw.opencyc.org/2008/06/10/concept/en/EthnicGroupOfBobo" class="cyc_term">EthnicGroupOfBobo</a>. Bodo UnderspecifiedCollectionType A collection of collections. Each element of <a href="http://sw.opencyc.org/2008/06/10/concept/en/UnderspecifiedCollectionType" class="cyc_term">UnderspecifiedCollectionType</a> is a collection of of objects or stuffs that may bridge any of the domains of literality and metaphoricity, space and time, or physical and intangible. Each type of underspecified thing 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). Inference rules should be used to bridge between underspecified predicates and fully-specified predicates. For instance,(<a href="http://sw.opencyc.org/2008/06/10/concept/en/contains_Underspecified" class="cyc_term">contains_Underspecified</a> <a href="http://sw.opencyc.org/2008/06/10/concept/en/Love" class="cyc_term">Love</a> <a href="http://sw.opencyc.org/2008/06/10/concept/en/SiddharthaGautama" class="cyc_term">SiddharthaGautama</a>) is an underspecified (and conventionally-metaphoric) means of stating 'Siddhartha is in love'. Inference rules which encode the common-sense relationship between abstract-states and containment are responsible for producing the fully-specified assertion (<a href="http://sw.opencyc.org/2008/06/10/concept/en/feelingTypeExperienced" class="cyc_term">feelingTypeExperienced</a> <a href="http://sw.opencyc.org/2008/06/10/concept/en/SiddharthaGautama" class="cyc_term">SiddharthaGautama</a> <a href="http://sw.opencyc.org/2008/06/10/concept/en/Love" class="cyc_term">Love</a>) from this underspecified form. So why use the underspecified form at all? Firstly, it conforms to human thought processes as visible through language use (many, many empirical studies support this). Secondly, it greatly simplies the processes of lexical semantics and NL parsing. type of underspecified collection cyc vocabulary topic An instance of <a href="http://sw.opencyc.org/2008/06/10/concept/en/FacetingCollectionType" class="cyc_term">FacetingCollectionType</a> and a specialization of <a href="http://sw.opencyc.org/2008/06/10/concept/en/Topic" class="cyc_term">Topic</a>. Each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/en/CycVocabularyTopic" class="cyc_term">CycVocabularyTopic</a> is a collection of <a href="http://sw.opencyc.org/2008/06/10/concept/en/Thing" class="cyc_term">Thing</a>s falling under a topic for which some Cyc Vocabulary exists. <a href="http://sw.opencyc.org/2008/06/10/concept/en/Topic" class="cyc_term">Topic</a> is neither a strict [<a href="http://sw.opencyc.org/2008/06/10/concept/en/facets_Strict" class="cyc_term">facets_Strict</a>] nor a covering [<a href="http://sw.opencyc.org/2008/06/10/concept/en/facets_Covering" class="cyc_term">facets_Covering</a>] faceting of <a href="http://sw.opencyc.org/2008/06/10/concept/en/Thing" class="cyc_term">Thing</a>: many <a href="http://sw.opencyc.org/2008/06/10/concept/en/Thing" class="cyc_term">Thing</a>s may be instances of no <a href="http://sw.opencyc.org/2008/06/10/concept/en/Topic" class="cyc_term">Topic</a>, or of multiple <a href="http://sw.opencyc.org/2008/06/10/concept/en/Topic" class="cyc_term">Topic</a>s. CycVocabularyTopic coronary revascularization procedure CoronaryRevascularizationProcedureType BuyingTypeBySalesStatus buying type by sales status pfizer sample product type PfizerSampleProductType CollectionType A collection of collections of collections. <a href="http://sw.opencyc.org/2008/06/10/concept/en/CollectionType" class="cyc_term">CollectionType</a> is the collection of all (and only) types of <a href="http://sw.opencyc.org/2008/06/10/concept/en/Collection" 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/en/CollectionType" 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/en/PersonTypeByCulture" 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/en/CollectionType" class="cyc_term">CollectionType</a>. Important specializations of <a href="http://sw.opencyc.org/2008/06/10/concept/en/CollectionType" class="cyc_term">CollectionType</a> include <a href="http://sw.opencyc.org/2008/06/10/concept/en/DisjointCollectionType" class="cyc_term">DisjointCollectionType</a>, <a href="http://sw.opencyc.org/2008/06/10/concept/en/SiblingDisjointCollectionType" class="cyc_term">SiblingDisjointCollectionType</a>, and <a href="http://sw.opencyc.org/2008/06/10/concept/en/CollectionTypeType" class="cyc_term">CollectionTypeType</a>. type of collection CollectionType A collection of collections of collections. <a href="http://sw.opencyc.org/2008/06/10/concept/en/CollectionType" class="cyc_term">CollectionType</a> is the collection of all (and only) types of <a href="http://sw.opencyc.org/2008/06/10/concept/en/Collection" 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/en/CollectionType" 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/en/PersonTypeByCulture" 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/en/CollectionType" class="cyc_term">CollectionType</a>. Important specializations of <a href="http://sw.opencyc.org/2008/06/10/concept/en/CollectionType" class="cyc_term">CollectionType</a> include <a href="http://sw.opencyc.org/2008/06/10/concept/en/DisjointCollectionType" class="cyc_term">DisjointCollectionType</a>, <a href="http://sw.opencyc.org/2008/06/10/concept/en/SiblingDisjointCollectionType" class="cyc_term">SiblingDisjointCollectionType</a>, and <a href="http://sw.opencyc.org/2008/06/10/concept/en/CollectionTypeType" class="cyc_term">CollectionTypeType</a>. type of collection CollectionType A collection of collections of collections. <a href="http://sw.opencyc.org/2008/06/10/concept/en/CollectionType" class="cyc_term">CollectionType</a> is the collection of all (and only) types of <a href="http://sw.opencyc.org/2008/06/10/concept/en/Collection" 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/en/CollectionType" 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/en/PersonTypeByCulture" 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/en/CollectionType" class="cyc_term">CollectionType</a>. Important specializations of <a href="http://sw.opencyc.org/2008/06/10/concept/en/CollectionType" class="cyc_term">CollectionType</a> include <a href="http://sw.opencyc.org/2008/06/10/concept/en/DisjointCollectionType" class="cyc_term">DisjointCollectionType</a>, <a href="http://sw.opencyc.org/2008/06/10/concept/en/SiblingDisjointCollectionType" class="cyc_term">SiblingDisjointCollectionType</a>, and <a href="http://sw.opencyc.org/2008/06/10/concept/en/CollectionTypeType" class="cyc_term">CollectionTypeType</a>. type of collection SetOrCollectionType type of Cyc set or collection The <a href="http://sw.opencyc.org/2008/06/10/concept/en/Collection" class="cyc_term">Collection</a> of all <a href="http://sw.opencyc.org/2008/06/10/concept/en/SetOrCollection" class="cyc_term">SetOrCollection</a>s of <a href="http://sw.opencyc.org/2008/06/10/concept/en/SetOrCollection" class="cyc_term">SetOrCollection</a>s. CollectionType A collection of collections of collections. <a href="http://sw.opencyc.org/2008/06/10/concept/en/CollectionType" class="cyc_term">CollectionType</a> is the collection of all (and only) types of <a href="http://sw.opencyc.org/2008/06/10/concept/en/Collection" 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/en/CollectionType" 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/en/PersonTypeByCulture" 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/en/CollectionType" class="cyc_term">CollectionType</a>. Important specializations of <a href="http://sw.opencyc.org/2008/06/10/concept/en/CollectionType" class="cyc_term">CollectionType</a> include <a href="http://sw.opencyc.org/2008/06/10/concept/en/DisjointCollectionType" class="cyc_term">DisjointCollectionType</a>, <a href="http://sw.opencyc.org/2008/06/10/concept/en/SiblingDisjointCollectionType" class="cyc_term">SiblingDisjointCollectionType</a>, and <a href="http://sw.opencyc.org/2008/06/10/concept/en/CollectionTypeType" class="cyc_term">CollectionTypeType</a>. type of collection A collection of instances of <a href="http://sw.opencyc.org/2008/06/10/concept/en/CollectionTypeType" class="cyc_term">CollectionTypeType</a>. <a href="http://sw.opencyc.org/2008/06/10/concept/en/CollectionTypeTypeByDisjointness" class="cyc_term">CollectionTypeTypeByDisjointness</a> is a collection of the three major types of <a href="http://sw.opencyc.org/2008/06/10/concept/en/CollectionType" class="cyc_term">CollectionType</a>s: <a href="http://sw.opencyc.org/2008/06/10/concept/en/CollectionType" class="cyc_term">CollectionType</a> is the most general type of <a href="http://sw.opencyc.org/2008/06/10/concept/en/CollectionType" class="cyc_term">CollectionType</a> and tells nothing about how the collections in the type are related (no disjointness restrictions). <a href="http://sw.opencyc.org/2008/06/10/concept/en/SiblingDisjointCollectionType" class="cyc_term">SiblingDisjointCollectionType</a> (a spec of <a href="http://sw.opencyc.org/2008/06/10/concept/en/CollectionType" class="cyc_term">CollectionType</a>) gives some disjointness constraints, but with some exceptions. <a href="http://sw.opencyc.org/2008/06/10/concept/en/DisjointCollectionType" class="cyc_term">DisjointCollectionType</a> gives the most disjointness constraints--all instances of any instance of <a href="http://sw.opencyc.org/2008/06/10/concept/en/DisjointCollectionType" class="cyc_term">DisjointCollectionType</a> must by disjoint collections. <a href="http://sw.opencyc.org/2008/06/10/concept/en/CollectionTypeTypeByDisjointness" class="cyc_term">CollectionTypeTypeByDisjointness</a> is in the KB to explicitly show how <a href="http://sw.opencyc.org/2008/06/10/concept/en/CollectionType" class="cyc_term">CollectionType</a>, <a href="http://sw.opencyc.org/2008/06/10/concept/en/SiblingDisjointCollectionType" class="cyc_term">SiblingDisjointCollectionType</a>, and <a href="http://sw.opencyc.org/2008/06/10/concept/en/DisjointCollectionType" class="cyc_term">DisjointCollectionType</a> are related to anyone dealing with <a href="http://sw.opencyc.org/2008/06/10/concept/en/CollectionType" class="cyc_term">CollectionType</a>s. The facet assertion (<a href="http://sw.opencyc.org/2008/06/10/concept/en/facets_Covering" class="cyc_term">facets_Covering</a> <a href="http://sw.opencyc.org/2008/06/10/concept/en/CollectionType" class="cyc_term">CollectionType</a> <a href="http://sw.opencyc.org/2008/06/10/concept/en/CollectionTypeTypeByDisjointness" class="cyc_term">CollectionTypeTypeByDisjointness</a>) states that any instance of <a href="http://sw.opencyc.org/2008/06/10/concept/en/CollectionType" class="cyc_term">CollectionType</a> should be checked for possible membership in <a href="http://sw.opencyc.org/2008/06/10/concept/en/SiblingDisjointCollectionType" class="cyc_term">SiblingDisjointCollectionType</a> or <a href="http://sw.opencyc.org/2008/06/10/concept/en/DisjointCollectionType" class="cyc_term">DisjointCollectionType</a>. type of collection type classified by disjointness CollectionTypeTypeByDisjointness prettyString (<a href="http://sw.opencyc.org/2008/06/10/concept/en/prettyString" 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/en/prettyString" 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. Pretty String