]> 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. IntelligentAgentTypeByBeliefSystem A collection of collections and a specialization of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvubaMZwpEbGdrcN5Y29ycA" class="cyc_term">ConventionalClassificationType</a>. Each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rxap-lo8RQdiM7v6fcDLKBw" class="cyc_term">IntelligentAgentTypeByBeliefSystem</a> is a collection of agents, the instances of each of which share a common belief system (see <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVi9R5wpEbGdrcN5Y29ycA" class="cyc_term">BeliefSystem</a>). More formally, for each instance AGENT-TYPE of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rxap-lo8RQdiM7v6fcDLKBw" class="cyc_term">IntelligentAgentTypeByBeliefSystem</a>, there is an instance BELIEFS of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVi9R5wpEbGdrcN5Y29ycA" class="cyc_term">BeliefSystem</a> such that (<a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvmWdYpwpEbGdrcN5Y29ycA" class="cyc_term">relationAllInstance</a> <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVisWpwpEbGdrcN5Y29ycA" class="cyc_term">hasBeliefSystems</a> AGENT-TYPE BELIEFS) holds true. type of person by belief system types of person by belief system

Nazi (BelieverFn GermanNaziIdeology)

conservative The collection of instances of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViAkpwpEbGdrcN5Y29ycA" class="cyc_term">Person</a> that adhere to <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvXQ3xJwpEbGdrcN5Y29ycA" class="cyc_term">Conservatism</a>. PoliticallyConservativePerson

The collection of all instances of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViAkpwpEbGdrcN5Y29ycA" class="cyc_term">Person</a> who subscribe to the doctrines of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvhipO5wpEbGdrcN5Y29ycA" class="cyc_term">Marxism</a>. Marxist Marxist

Homophobe homophobe

The collection of all conservatives. A type of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rIcwFloGUQdeMlsOWYLFB2w" class="cyc_term">HomoSapiens</a>. conservative (BelieverFn Conservatism)

(BelieverFn Xenophobia) The collection of all xenophobes. A type of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rIcwFloGUQdeMlsOWYLFB2w" class="cyc_term">HomoSapiens</a>. xenophobe

liberal Liberal-SocialDemocrat An instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rpWduENpwQdeUs-K0ZLO2XQ" class="cyc_term">PersonTypeByBeliefSystem</a>. Each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvckkjJwpEbGdrcN5Y29ycA" class="cyc_term">Liberal_SocialDemocrat</a> is an agent who believes in <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvohK1ZwpEbGdrcN5Y29ycA" class="cyc_term">Liberalism_SocialDemocratic</a> (q.v.).

homophobe The collection of all homophobes. A type of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rIcwFloGUQdeMlsOWYLFB2w" class="cyc_term">HomoSapiens</a>. (BelieverFn Homophobia)

(BelieverFn SunniIslam) Sunni

The collection of instances of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViAkpwpEbGdrcN5Y29ycA" class="cyc_term">Person</a> who worship <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwIaSyZwpEbGdrcN5Y29ycA" class="cyc_term">Satan</a>. Satanist Satanist

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

(BelieverFn Wahhabism) The collection of all Whabbists. An <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rxap-lo8RQdiM7v6fcDLKBw" class="cyc_term">IntelligentAgentTypeByBeliefSystem</a>. Whabbist

The collection of all naturists. A type of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rIcwFloGUQdeMlsOWYLFB2w" class="cyc_term">HomoSapiens</a>. (BelieverFn Naturism) naturist

The collection of all anti-Semites. A type of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rIcwFloGUQdeMlsOWYLFB2w" class="cyc_term">HomoSapiens</a>. (BelieverFn AntiSemitism) anti-Semite

A sub-collection of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rkpnEysksEdmAAAACs6hRjg" class="cyc_term">Advocate</a>. Each instance is an advocate of national independence of or a strong national government. nationalist (BelieverFn NationalistIdeology)

anarchist Anarchist The collection of instances of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViAkpwpEbGdrcN5Y29ycA" class="cyc_term">Person</a> who believe in <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwDrSsJwpEbGdrcN5Y29ycA" class="cyc_term">Anarchism</a>.

(BelieverFn Wicca) Wiccan

Agents with this ideology advocate reform or overthrow of established order, usually in the name of the good of the common man. leftist Leftist

The collection of all anti-Semites. A type of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwU2wSJwpEbGdrcN5Y29ycA" class="cyc_term">Racist</a>. The collection <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwEfCAZwpEbGdrcN5Y29ycA" class="cyc_term">AntiSemite</a> is a <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvbgJoZwpEbGdrcN5Y29ycA" class="cyc_term">PersonTypeByPrejudice</a> and an <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rxap-lo8RQdiM7v6fcDLKBw" class="cyc_term">IntelligentAgentTypeByBeliefSystem</a>. AntiSemite anti-Semite

(BelieverFn IslamicSocietyIdeology) believer in Islamic Society ideology

(BelieverFn Satanism) Satanist

(BelieverFn Trotskyism) Trotskyist

(BelieverFn Communism) communist

(BelieverFn Socialism) socialist

(BelieverFn LeftistIdeology) leftist

rightist (BelieverFn RightistIdeology)

vegan (BelieverFn Veganism)

Rightist The collection of instances of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViAkpwpEbGdrcN5Y29ycA" class="cyc_term">Person</a> who accept <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwQr3HZwpEbGdrcN5Y29ycA" class="cyc_term">RightistIdeology</a>. rightist

Marxist (BelieverFn Marxism)

The collection of all instances of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViAkpwpEbGdrcN5Y29ycA" class="cyc_term">Person</a> who subscribe to the doctrines of fascism. Fascist fascist

anarchist (BelieverFn Anarchism)

(BelieverFn Fascism) fascist

feminist The collection of all feminists. A type of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rIcwFloGUQdeMlsOWYLFB2w" class="cyc_term">HomoSapiens</a>. (BelieverFn Feminism)

A sub-collection of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rTamqeBNMEdqAAAACs4vPlg" class="cyc_term">Agent_NonGeographical</a>. Each instance is an advocate of democratic principles. (BelieverFn DemocraticRepublicanIdeology) believer in democracy

The collection of all Shiites. A type of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rIcwFloGUQdeMlsOWYLFB2w" class="cyc_term">HomoSapiens</a>. Shiite (BelieverFn ShiiteIslam)

Sexist sexist

pacifist (BelieverFn Pacifism) The collection of all pacifists. A type of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rIcwFloGUQdeMlsOWYLFB2w" class="cyc_term">HomoSapiens</a>. "Pacifist" is an <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rxap-lo8RQdiM7v6fcDLKBw" class="cyc_term">IntelligentAgentTypeByBeliefSystem</a>.

The collection of all racists. A type of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwH07yJwpEbGdrcN5Y29ycA" class="cyc_term">UnfairlyPrejudicedPerson</a>. The collection <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwU2wSJwpEbGdrcN5Y29ycA" class="cyc_term">Racist</a> is a <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvbgJoZwpEbGdrcN5Y29ycA" class="cyc_term">PersonTypeByPrejudice</a> and an <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rxap-lo8RQdiM7v6fcDLKBw" class="cyc_term">IntelligentAgentTypeByBeliefSystem</a>. racist Racist

The collection of all persons who believe in the basic fundamental tenets of Islam, or who practice Islamic religious rituals, or are recognized by other Muslims to be Muslims, or all of these. MuslimPerson Muslim person

The collection of all minimalists. An <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rxap-lo8RQdiM7v6fcDLKBw" class="cyc_term">IntelligentAgentTypeByBeliefSystem</a>. minimalist (BelieverFn Minimalism)

(BelieverFn AmishReligion) believer in Amish

The collection of all believers in <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVicUZwpEbGdrcN5Y29ycA" class="cyc_term">Vegetarianism</a>. Vegetarian vegetarian

(BelieverFn Progressivism) progressive The collection of all progressives. A type of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rIcwFloGUQdeMlsOWYLFB2w" class="cyc_term">HomoSapiens</a>.

SunniMuslimPerson Sunni

Shiite ShiiteMuslimPerson

(BelieverFn Vegetarianism) vegetarian

(BelieverFn Islam) Muslim person

Druze Muslim (BelieverFn DruzeReligion) The collection of all Druze Muslims. A type of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwQB3sJwpEbGdrcN5Y29ycA" class="cyc_term">MuslimPerson</a>.

(BelieverFn Environmentalism) environmentalist The collection of all environmentalists. A type of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rIcwFloGUQdeMlsOWYLFB2w" class="cyc_term">HomoSapiens</a>.

Whabbist WhabbistMuslimPerson An instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvbSq6pwpEbGdrcN5Y29ycA" class="cyc_term">PersonTypeByReligion</a>. Each instance of this collection is a member of the Whabbist sect of Islam.

Wiccan The collection of all Wiccans. A type of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVj4GZwpEbGdrcN5Y29ycA" class="cyc_term">ReligiousPerson</a>. The collection <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvkMtGZwpEbGdrcN5Y29ycA" class="cyc_term">Wiccan</a> is a <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvbSq6pwpEbGdrcN5Y29ycA" class="cyc_term">PersonTypeByReligion</a> and an <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rxap-lo8RQdiM7v6fcDLKBw" class="cyc_term">IntelligentAgentTypeByBeliefSystem</a>. Wiccan

racist (BelieverFn Racism)

centrist (BelieverFn CentristPoliticalIdeology) The collection of all centrists. A type of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rIcwFloGUQdeMlsOWYLFB2w" class="cyc_term">HomoSapiens</a>.

(BelieverFn Liberalism-SocialDemocratic) The collection of all liberals. A type of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rIcwFloGUQdeMlsOWYLFB2w" class="cyc_term">HomoSapiens</a>. liberal

Nazi Nazi The collection of all believers in the <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwP2Gc5wpEbGdrcN5Y29ycA" class="cyc_term">GermanNaziIdeology</a>.

(BelieverFn AnticommunistIdeology) anticommunist The collection of all anticommunists. A type of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rIcwFloGUQdeMlsOWYLFB2w" class="cyc_term">HomoSapiens</a>.

The collection of all abolitionists, who are people that believe in <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rv0ZsHpwpEbGdrcN5Y29ycA" class="cyc_term">Abolitionism</a>, and therefore advocate the abolition of slavery. A type of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rIcwFloGUQdeMlsOWYLFB2w" class="cyc_term">HomoSapiens</a>. abolitionist (BelieverFn Abolitionism)

(BelieverFn Atheism) believer in atheism

Maoist The collection of persons who believe in <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rv_d4PpwpEbGdrcN5Y29ycA" class="cyc_term">Maoism</a>. maoist

communist Communist The collection of persons who believe in the <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVi0EZwpEbGdrcN5Y29ycA" class="cyc_term">Communism</a>.

Xenophobe xenophobe

The collection of all hedonists. A type of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rIcwFloGUQdeMlsOWYLFB2w" class="cyc_term">HomoSapiens</a>. "Hedonist" is an <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rxap-lo8RQdiM7v6fcDLKBw" class="cyc_term">IntelligentAgentTypeByBeliefSystem</a>. hedonist (BelieverFn Hedonism)

(BelieverFn Capitalism) The collection of all capitalists. A type of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rIcwFloGUQdeMlsOWYLFB2w" class="cyc_term">HomoSapiens</a>. capitalist

sexist (BelieverFn Sexism) The collection of all sexists. A type of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rIcwFloGUQdeMlsOWYLFB2w" class="cyc_term">HomoSapiens</a>. "Sexist" is an <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rxap-lo8RQdiM7v6fcDLKBw" class="cyc_term">IntelligentAgentTypeByBeliefSystem</a>.

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 first-order collection An instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvtppU5wpEbGdrcN5Y29ycA" class="cyc_term">CollectionType</a>, and a specialization of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rNooX_CChEdaAAABQ2rksLw" class="cyc_term">FixedOrderCollection</a>. <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rHIBS0h_TEdaAAABQ2rksLw" class="cyc_term">FirstOrderCollection</a> is the collection of all specializations of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjaApwpEbGdrcN5Y29ycA" class="cyc_term">Individual</a> (q.v.) Notable specializations of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rHIBS0h_TEdaAAABQ2rksLw" class="cyc_term">FirstOrderCollection</a> include <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViq35wpEbGdrcN5Y29ycA" class="cyc_term">TemporalObjectType</a>, <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVny6pwpEbGdrcN5Y29ycA" class="cyc_term">ExistingStuffType</a>, and <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvWXYgJwpEbGdrcN5Y29ycA" class="cyc_term">ExistingObjectType</a>. FirstOrderCollection 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 IntelligentAgentTypeByBeliefSystem A collection of collections and a specialization of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvubaMZwpEbGdrcN5Y29ycA" class="cyc_term">ConventionalClassificationType</a>. Each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rxap-lo8RQdiM7v6fcDLKBw" class="cyc_term">IntelligentAgentTypeByBeliefSystem</a> is a collection of agents, the instances of each of which share a common belief system (see <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVi9R5wpEbGdrcN5Y29ycA" class="cyc_term">BeliefSystem</a>). More formally, for each instance AGENT-TYPE of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rxap-lo8RQdiM7v6fcDLKBw" class="cyc_term">IntelligentAgentTypeByBeliefSystem</a>, there is an instance BELIEFS of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVi9R5wpEbGdrcN5Y29ycA" class="cyc_term">BeliefSystem</a> such that (<a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvmWdYpwpEbGdrcN5Y29ycA" class="cyc_term">relationAllInstance</a> <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVisWpwpEbGdrcN5Y29ycA" class="cyc_term">hasBeliefSystems</a> AGENT-TYPE BELIEFS) holds true. type of person by belief system 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 IntelligentAgentTypeByBeliefSystem A collection of collections and a specialization of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvubaMZwpEbGdrcN5Y29ycA" class="cyc_term">ConventionalClassificationType</a>. Each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rxap-lo8RQdiM7v6fcDLKBw" class="cyc_term">IntelligentAgentTypeByBeliefSystem</a> is a collection of agents, the instances of each of which share a common belief system (see <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVi9R5wpEbGdrcN5Y29ycA" class="cyc_term">BeliefSystem</a>). More formally, for each instance AGENT-TYPE of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rxap-lo8RQdiM7v6fcDLKBw" class="cyc_term">IntelligentAgentTypeByBeliefSystem</a>, there is an instance BELIEFS of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVi9R5wpEbGdrcN5Y29ycA" class="cyc_term">BeliefSystem</a> such that (<a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvmWdYpwpEbGdrcN5Y29ycA" class="cyc_term">relationAllInstance</a> <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVisWpwpEbGdrcN5Y29ycA" class="cyc_term">hasBeliefSystems</a> AGENT-TYPE BELIEFS) holds true. type of person by belief system 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 "facets" -- 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>.