]> 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. PersonTypeByCulture A collection of collections. Each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwPzQbJwpEbGdrcN5Y29ycA" class="cyc_term">PersonTypeByCulture</a> is the collection of all and only those persons who participate (see <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rv-JRhpwpEbGdrcN5Y29ycA" class="cyc_term">cultureParticipants</a>) in some particular human culture. Examples include <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwQw1P5wpEbGdrcN5Y29ycA" class="cyc_term">FrenchPerson</a> and <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVkFyZwpEbGdrcN5Y29ycA" class="cyc_term">EthnicGroupOfAustralianAborigines</a>. type of person classified by culture type of person by culture types of person by culture types of person classified by culture A collection of collections and a specialization of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwPzQbJwpEbGdrcN5Y29ycA" class="cyc_term">PersonTypeByCulture</a> (since political beliefs and activities are assumed to influence a person's general beliefs, attitudes, and (at least to some extent) behavior). Each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rv4V2WZwpEbGdrcN5Y29ycA" class="cyc_term">PersonTypeByPoliticalCulture</a> is a collection of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViAkpwpEbGdrcN5Y29ycA" class="cyc_term">Person</a>s who share a political culture. PersonTypeByPoliticalCulture type of person classified by political culture (CollectionUnionFn (TheSet PersonTypeByEthnicity PersonTypeByGeoPoliticalAffiliation)) the union of { ethnic groups, types of person classified by political affiliation } The collection of all categories of US resident [(<a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rv2TAHpwpEbGdrcN5Y29ycA" class="cyc_term">ResidentFn</a> (<a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvYkdfpwpEbGdrcN5Y29ycA" class="cyc_term">TerritoryFn</a> <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVikKpwpEbGdrcN5Y29ycA" class="cyc_term">UnitedStatesOfAmerica</a>))] distinguished by &quot;race&quot; or origin as listed on the US census form. US residents who fill out the census for self-select which category they are an instance of. This collection is context-dependent because in different decades, different lists of categories appear. Prior to 1790 there were no instances of this collection (in a non-fictional context). U. S. Census race and origin type USCensusRaceAndOriginType type of person by belief system A collection of collections and a specialization of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwPzQbJwpEbGdrcN5Y29ycA" class="cyc_term">PersonTypeByCulture</a>. Each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rpWduENpwQdeUs-K0ZLO2XQ" class="cyc_term">PersonTypeByBeliefSystem</a> is a collection of people, each of which shares a common belief system (see <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVi9R5wpEbGdrcN5Y29ycA" class="cyc_term">BeliefSystem</a>). More formally, for each instance PERSON-TYPE of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rpWduENpwQdeUs-K0ZLO2XQ" class="cyc_term">PersonTypeByBeliefSystem</a>, there is an instance BELIEFS of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVi9R5wpEbGdrcN5Y29ycA" class="cyc_term">BeliefSystem</a> such that (<a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvmWdYpwpEbGdrcN5Y29ycA" class="cyc_term">relationAllInstance</a> <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVisWpwpEbGdrcN5Y29ycA" class="cyc_term">hasBeliefSystems</a> PERSON-TYPE BELIEFS) holds true. PersonTypeByBeliefSystem type of person classified by regional affiliation A collection of collections, and a specialization of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwPzQbJwpEbGdrcN5Y29ycA" class="cyc_term">PersonTypeByCulture</a>. Each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4r1QgvYN5dQdeMrOiqN8_42Q" class="cyc_term">PersonTypeByRegionalAffiliation</a> is a subcollection of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViAkpwpEbGdrcN5Y29ycA" class="cyc_term">Person</a> whose members share a mutual affiliation with some region, where, intentionally, 'region' is defined loosely to include both instances of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjl2pwpEbGdrcN5Y29ycA" class="cyc_term">GeopoliticalEntity</a> as well as <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViACZwpEbGdrcN5Y29ycA" class="cyc_term">GeographicalRegion</a>s. Instances include <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVi-L5wpEbGdrcN5Y29ycA" class="cyc_term">Texan</a> and <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjRdJwpEbGdrcN5Y29ycA" class="cyc_term">KoreanPerson</a>. Notable specializations include <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvqjUrpwpEbGdrcN5Y29ycA" class="cyc_term">PersonTypeByGeoPoliticalAffiliation</a> and <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rv_ZQbZwpEbGdrcN5Y29ycA" class="cyc_term">PersonTypeByGeographicResidence</a>. PersonTypeByRegionalAffiliation A <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rHQdVmB_TEdaAAABQ2rksLw" class="cyc_term">SecondOrderCollection</a> and specialization of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwPzQbJwpEbGdrcN5Y29ycA" class="cyc_term">PersonTypeByCulture</a> (qq.v.). Each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rv-0a8pwpEbGdrcN5Y29ycA" class="cyc_term">PersonTypeByGender</a> is the collection of all <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViAkpwpEbGdrcN5Y29ycA" class="cyc_term">Person</a>s of a particular gender, understood as a set of attitudes, beliefs, and behaviors (and not strictly a matter of one's biological sex). Instances include <font color="#ff0000">#$FemalePerson</font> and <font color="#ff0000">#$MalePerson</font>. gender PersonTypeByGender hippy This collection includes the members of the Western cultural group which represented a anti-establishment sub-culture advocating e.g. peace. This group was at their hey-day during the late 1960s and early 1970s. Hippie EthnicGroupOfBlacks Black person The group of people that share cultural features common to Blacks. religious figure ReligiousFigure The collection of human beings (some probably fictional, some probably not) whose lives (or the perception thereof) have played a central role in the development and tenets of some religion. Positive examples include <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwQBk5pwpEbGdrcN5Y29ycA" class="cyc_term">Mary_MotherOfJesus</a>, <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwLfpZJwpEbGdrcN5Y29ycA" class="cyc_term">MartinLuther_ReligiousFigure</a>, Buddah, and Mohammed. Negative examples include specific Popes (generally, St. Peterbeing an exception), cult leaders (e.g. Jim Jones, David Koresh), and most religious leaders. The collection of all believers in <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVicUZwpEbGdrcN5Y29ycA" class="cyc_term">Vegetarianism</a>. Vegetarian vegetarian The collection of persons of color in the UK, who share some similarities by virtue of being different from the `dominant' (white) British population. U.K. Black EthnicGroupOfBlacksOfTheUK middle-class American adult AdultMiddleClassAmerican The collection of all middle-class American adults. A type of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVj1zpwpEbGdrcN5Y29ycA" class="cyc_term">UnitedStatesPerson</a> and <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViw25wpEbGdrcN5Y29ycA" class="cyc_term">MiddleClass</a>. <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViNFpwpEbGdrcN5Y29ycA" class="cyc_term">AdultMiddleClassAmerican</a> is a <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwPzQbJwpEbGdrcN5Y29ycA" class="cyc_term">PersonTypeByCulture</a>. These are the prototypical default values for allInstances of EthnicGroupOfMixedRace EthnicGroupOfMixedRace person of mixed race IndianOceanPerson Indian Ocean inhabitant collective term applied to inhabitants of a few islands scattered thruout the Indian Ocean hellenistic age greek person The collection of Greeks who lived during the Hellenistic Age, which is dated from the Macedonian conquest of Greece to sometime around the end of the Roman Republic. HellenisticAgeGreekPerson Folks who have come from <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVkAiZwpEbGdrcN5Y29ycA" class="cyc_term">Mexico</a> to the USA to work Mexican immigrant MexicanImmigrantToUSA Masai person MasaiPerson Vegan The collection of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViAkpwpEbGdrcN5Y29ycA" class="cyc_term">Person</a> that subscribe to <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwP6bcZwpEbGdrcN5Y29ycA" class="cyc_term">Veganism</a>. vegan Any member of a tribe. By default, a person belongs only to one tribe (at a time). TribeMember tribesperson The collection of all aristocrats, or persons who hold hereditary titles of nobility granted or recognized by some government or monarch. This excludes British 'life-peers,' whose titles are not hereditary, and hereditary knights, who are not nobility. It includes all hereditary aristocratic ranks from Baronet and Laird up to hereditary monarch. It does not include moneyed or distinguished people who are only informally called 'aristocrats'. Aristocrat aristocrat non-religious person NonReligiousPerson The collection of instances of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViAkpwpEbGdrcN5Y29ycA" class="cyc_term">Person</a> who are not religious in any way. (PersonTypeByCultureFn UnitedStatesCulture) American Polynesian PolynesianPerson A person who is a citizen of Polynesia-AtPresent. english canadian person These are the prototypical default values for allInstances of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVieJZwpEbGdrcN5Y29ycA" class="cyc_term">EnglishCanadianPerson</a> EnglishCanadianPerson OceanianPerson The set of people who live on Islands in the Pacific Ocean; excludes ethnically Asiatic populations such as Japanese, Taiwanesei, but includes Melanesia Oceanian christmas island person australian ChristmasIslandPerson-Australian A person who is an ChristmasIsland citizen. The collection of all <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwDv-9JwpEbGdrcN5Y29ycA" class="cyc_term">MiddleEasternPerson</a>s. This collection is a very broad interpretation of what it means to be from the Middle East and includes such collections as <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwP1nLZwpEbGdrcN5Y29ycA" class="cyc_term">EthnicGroupOfMiddleEasterners</a> and (<a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rv2TAHpwpEbGdrcN5Y29ycA" class="cyc_term">ResidentFn</a> <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjpk5wpEbGdrcN5Y29ycA" class="cyc_term">MiddleEast_Region</a>). This enables cyclists to make very broad assertions about the people of the Middle East. Middle Eastern person MiddleEasternPerson A Greek who lived between the times of the Persian War and the Macedonian conquest. ClassicalAgeGreekPerson classical age Greek person U.S. Hispanic EthnicGroupOfHispanicsOfTheUS The collection of all U.S. Hispanics. A type of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVirn5wpEbGdrcN5Y29ycA" class="cyc_term">EthnicGroupOfNewWorldHispanics</a> and <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVj1zpwpEbGdrcN5Y29ycA" class="cyc_term">UnitedStatesPerson</a>. <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVir4JwpEbGdrcN5Y29ycA" class="cyc_term">EthnicGroupOfHispanicsOfTheUS</a> is a <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwPzQbJwpEbGdrcN5Y29ycA" class="cyc_term">PersonTypeByCulture</a>. person of Vietnamese culture (PersonTypeByCultureFn VietnameseCulture) ancient Greek person A person who lived in, Ionia, <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViCXpwpEbGdrcN5Y29ycA" class="cyc_term">Attica</a>, or one of the many other territories or city-states of `Greece' in the Archaic Age, c.750 to c.500 BCE ArchaicAgeGreekPerson BosnianCroat Bosnian Croat EthnicGroupOfNewWorldHispanics New World Hispanic The collection of all New World Hispanics. A type of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVirYJwpEbGdrcN5Y29ycA" class="cyc_term">EthnicGroupOfHispanics</a>. <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVirn5wpEbGdrcN5Y29ycA" class="cyc_term">EthnicGroupOfNewWorldHispanics</a> is a <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwPzQbJwpEbGdrcN5Y29ycA" class="cyc_term">PersonTypeByCulture</a>. UnfairlyPrejudicedPerson The collection of instances of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViAkpwpEbGdrcN5Y29ycA" class="cyc_term">Person</a> who have one or more <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvb_h55wpEbGdrcN5Y29ycA" class="cyc_term">Prejudice</a>s. prejudiced person The collection of all specializations of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rHIBS0h_TEdaAAABQ2rksLw" 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/Mx4rHUFI8h_TEdaAAABQ2rksLw" class="cyc_term">ThirdOrderCollection</a>. Instances of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rHQdVmB_TEdaAAABQ2rksLw" class="cyc_term">SecondOrderCollection</a> are collections of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rHIBS0h_TEdaAAABQ2rksLw" 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/Mx4rHQdVmB_TEdaAAABQ2rksLw" class="cyc_term">SecondOrderCollection</a> is an <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjaApwpEbGdrcN5Y29ycA" class="cyc_term">Individual</a>. SecondOrderCollection second-order Cyc collection A collection of collections. Each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvWXYgJwpEbGdrcN5Y29ycA" class="cyc_term">ExistingObjectType</a> is a specialization of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVj27ZwpEbGdrcN5Y29ycA" class="cyc_term">PartiallyTangible</a> (q.v.). Moreover, each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvWXYgJwpEbGdrcN5Y29ycA" class="cyc_term">ExistingObjectType</a> is a collection that is temporally stuff-like (see <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVitN5wpEbGdrcN5Y29ycA" class="cyc_term">TemporalStuffType</a>) but physically-spatially object-like (see <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVirnZwpEbGdrcN5Y29ycA" class="cyc_term">ObjectType</a>) -- i.e. object-like with respect to some physical-spatial part-whole predicate (e.g. some specialization of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4r8a2smPXcQdiEoJhcx65EiQ" class="cyc_term">properPhysicalDecompositions</a>). <p/> Consider the collection <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwJaXepwpEbGdrcN5Y29ycA" class="cyc_term">BookCopy</a>. <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwJaXepwpEbGdrcN5Y29ycA" class="cyc_term">BookCopy</a> is a specialization of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVj27ZwpEbGdrcN5Y29ycA" class="cyc_term">PartiallyTangible</a>. Further, <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwJaXepwpEbGdrcN5Y29ycA" class="cyc_term">BookCopy</a> is temporally stuff-like: any one of the <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvWn4OZwpEbGdrcN5Y29ycA" class="cyc_term">timeSlices</a> of a given copy <code><b>COPY</b></code> of (say) &quot;Moby Dick&quot; is still a copy of &quot;Moby Dick&quot;. (Most collections of tangible objects are temporally stuff-like in this way.) But <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwJaXepwpEbGdrcN5Y29ycA" class="cyc_term">BookCopy</a> is spatially <i>object-like</i>: if we take a scalpel and slice <code><b>COPY</b></code> into ten pieces, each piece is not a copy of &quot;Moby Dick&quot;. So <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwJaXepwpEbGdrcN5Y29ycA" class="cyc_term">BookCopy</a> is an instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvWXYgJwpEbGdrcN5Y29ycA" class="cyc_term">ExistingObjectType</a>. <p/> See also <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVir35wpEbGdrcN5Y29ycA" class="cyc_term">StuffType</a> and <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVny6pwpEbGdrcN5Y29ycA" class="cyc_term">ExistingStuffType</a>. ExistingObjectType type of object PersonTypeByCulture A collection of collections. Each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwPzQbJwpEbGdrcN5Y29ycA" class="cyc_term">PersonTypeByCulture</a> is the collection of all and only those persons who participate (see <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rv-JRhpwpEbGdrcN5Y29ycA" class="cyc_term">cultureParticipants</a>) in some particular human culture. Examples include <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwQw1P5wpEbGdrcN5Y29ycA" class="cyc_term">FrenchPerson</a> and <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVkFyZwpEbGdrcN5Y29ycA" class="cyc_term">EthnicGroupOfAustralianAborigines</a>. type of person classified by culture PersonTypeByCulture A collection of collections. Each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwPzQbJwpEbGdrcN5Y29ycA" class="cyc_term">PersonTypeByCulture</a> is the collection of all and only those persons who participate (see <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rv-JRhpwpEbGdrcN5Y29ycA" class="cyc_term">cultureParticipants</a>) in some particular human culture. Examples include <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwQw1P5wpEbGdrcN5Y29ycA" class="cyc_term">FrenchPerson</a> and <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVkFyZwpEbGdrcN5Y29ycA" class="cyc_term">EthnicGroupOfAustralianAborigines</a>. type of person classified by culture A <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rAmoSCGJbQdiSXZJvYiNhkQ" class="cyc_term">CycVocabularyTopic</a> and a <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rtGXkHpNaEdqAAAACs0uFOQ" class="cyc_term">KBDependentCollection</a>. PopulationClassificationTerms-Social-Topic population classification terms social topic AtemporalNecessarilyEssentialCollectionType A collection of collections. Each instance <code><b>COL</b></code> of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rqEYnNVMqEdaSKAACs0x8nw" class="cyc_term">AtemporalNecessarilyEssentialCollectionType</a> (<i>ANECT</i>) is a collection satisfying three conditions: (1) <code><b>COL</b></code> is disjoint with (see <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViA45wpEbGdrcN5Y29ycA" class="cyc_term">disjointWith</a>) <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViAxJwpEbGdrcN5Y29ycA" class="cyc_term">TemporalThing</a>, (2) every instance <code><b>INST</b></code> of <code><b>COL</b></code> is an instance of <code><b>COL</b></code> essentially (i.e. <code><b>INST</b></code> is an instance of <code><b>COL</b></code>, and could not exist without being an instance of <code><b>COL</b></code>), and (3) condition (2) is a necessary truth about <code><b>COL</b></code>. <p/> Positive examples of ANECTs include <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViAzJwpEbGdrcN5Y29ycA" class="cyc_term">Collection</a>, <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVieEpwpEbGdrcN5Y29ycA" class="cyc_term">Integer</a>, and <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViAzZwpEbGdrcN5Y29ycA" 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/Mx4rvVjpUZwpEbGdrcN5Y29ycA" 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/Mx4rvViAxJwpEbGdrcN5Y29ycA" class="cyc_term">TemporalThing</a>) and <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwP4FM5wpEbGdrcN5Y29ycA" class="cyc_term">UniqueAnatomicalPartType</a> (which, though disjoint with <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViAxJwpEbGdrcN5Y29ycA" class="cyc_term">TemporalThing</a>, has instances, such as <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjvDpwpEbGdrcN5Y29ycA" 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: <p/> (<a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvrhK-JwpEbGdrcN5Y29ycA" class="cyc_term">CollectionUnionFn</a> (<a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjkdpwpEbGdrcN5Y29ycA" class="cyc_term">TheSet</a> <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjrdZwpEbGdrcN5Y29ycA" class="cyc_term">PrimeNumber</a> <i>TodaysWinningLotteryNumbers</i>)) <p/> This collection is clearly disjoint with <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViAxJwpEbGdrcN5Y29ycA" 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 <i>necessarily</i> 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. <p/> 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/Mx4r3_SgQU2iEdaCwAACs0x8nw" class="cyc_term">UniversalVocabularyMt</a> (q.v.). Indeed, ANECT was specially defined to facilitate the movement of appropriate assertions to that microtheory. <p/> Cf. <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rGeylLJTfEdqAAAACs0uFOQ" class="cyc_term">PragmaticallyDecontextualizedCollection</a>. type of atemporal collection in which membership is necessarily essential Pretty String (<a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwLSVCpwpEbGdrcN5Y29ycA" class="cyc_term">prettyString</a> TERM STRING) means that STRING is the English word or expression (sequence of words) commonly used to refer to TERM. The predicate <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwLSVCpwpEbGdrcN5Y29ycA" class="cyc_term">prettyString</a> is used by the code which generates CycL to English paraphrases, but its applicability is not restricted to this use. prettyString A collection of collections. Each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvubaMZwpEbGdrcN5Y29ycA" class="cyc_term">ConventionalClassificationType</a> is a collection that corresponds to a category in some agreed-upon or conventional classification system (see <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwNgIyZwpEbGdrcN5Y29ycA" class="cyc_term">ClassificationSystem</a>) used by people. In such systems, a change or reclassification is possible by a decision of an authority, or by a changed social agreement or custom, without changing the intrinsic natures of the actual objects in the category. <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvubaMZwpEbGdrcN5Y29ycA" class="cyc_term">ConventionalClassificationType</a>s include categories in biological taxonomy, standard classifications in data dictionaries and thesauri, cultural taboo classes, military doctrinal classes, and named calendar intervals. ConventionalClassificationType conventional classification type A collection of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvtppU5wpEbGdrcN5Y29ycA" class="cyc_term">CollectionType</a>s. Each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvprlOZwpEbGdrcN5Y29ycA" class="cyc_term">FacetingCollectionType</a> is a collection-type that &quot;facets&quot; -- i.e. stands in the <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvjldVJwpEbGdrcN5Y29ycA" class="cyc_term">facets_Generic</a> (q.v.) relation to -- another collection. Examples include <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVibOJwpEbGdrcN5Y29ycA" class="cyc_term">AutomobileTypeByBrand</a> and <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rANFO8Ec-EdaEKABQ2sS97g" class="cyc_term">MusicTypeByGenre</a>, which facet <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViVwZwpEbGdrcN5Y29ycA" class="cyc_term">Automobile</a> and <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjOJpwpEbGdrcN5Y29ycA" class="cyc_term">Music</a>, respectively. faceting collection type FacetingCollectionType FacetInstanceCollection facet collection A <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvtppU5wpEbGdrcN5Y29ycA" class="cyc_term">CollectionType</a>. Each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rv1fLiZwpEbGdrcN5Y29ycA" class="cyc_term">FacetInstanceCollection</a> is a collection that is an instance of a <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvprlOZwpEbGdrcN5Y29ycA" class="cyc_term">FacetingCollectionType</a> (q.v.). For example, the facet-instance-collection (<a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rBVDJsPLMQdiZD5jLVkyKUw" class="cyc_term">WineOfVintageFn</a> (<a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjympwpEbGdrcN5Y29ycA" class="cyc_term">YearFn</a> 1926)) is an instance of the faceting-collection-type <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rWdpZhPLLQdiKEtsuZMndzQ" class="cyc_term">WineTypeByVintage</a>.