]> 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. PersonTypeByReligion A collection of collections. This collection exists to make it easier to refer to that dimension or facet of a person's behavior, attitudes, and beliefs (culture) which derives from, or is influenced by, the person's overarching `religious' beliefs, practices, and affiliations. Note that `religion' and `religious' are understood here in a rather broad sense. Many practicing Catholics do not believe in the Catholic Church's official teachings regarding Christian history or the significance of Jesus; many people who call themselves Jews do not observe any of Judaism's rituals. But it is still useful to distinguish a `religious' mode of belief, activity, and group belonging, and to categorize people using these criteria. (Jewishness is a notable special case, where the term may designate both an ethnic, kinship-based, primordial sense of identity and belonging, AND a set of religious beliefs and practices). type of person classified by religion types of person classified by religion 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 The collection of all persons who believe in (at least some of) the tenets of a Hindu cult, or who practice Hindu religious rituals, or both. HinduPerson Hindu JewishPerson The collection of all persons who consider themselves to be Jewish. This may simply entail some sort of loose ethnic tie or allegiance, and does not necessarily imply belief in any of the tenets of Judaism or practice of Jewish rituals. Jew The collection of people who adhere to a faith in the <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjpzZwpEbGdrcN5Y29ycA" class="cyc_term">AnglicanReligion</a>. AnglicanPerson Anglican Atheist The collection of instances of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViAkpwpEbGdrcN5Y29ycA" class="cyc_term">Person</a> who are athiests. atheist AlawitePerson alawite person The collection of all persons who consider themselves to be Alawite (see <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvkE-7JwpEbGdrcN5Y29ycA" class="cyc_term">AlawiteIslam</a>). 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 agnostic The collection of instances of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViAkpwpEbGdrcN5Y29ycA" class="cyc_term">Person</a> who are uncertain as to whether or not there are <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjrCJwpEbGdrcN5Y29ycA" class="cyc_term">God</a>s. ReligiousAgnostic The collection of people who adhere to a faith in <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjkH5wpEbGdrcN5Y29ycA" class="cyc_term">ProtestantReligion</a>. The basic tenet of Protestantism is the non-mandatory role of the <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVrx15wpEbGdrcN5Y29ycA" class="cyc_term">Priest</a> as an intercessionary between a believer and <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjqxpwpEbGdrcN5Y29ycA" class="cyc_term">GodOfAbrahamIsaacAndJacob</a>, or between a believer and the proper interpretation of the holy texts (such as the <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwOG0IJwpEbGdrcN5Y29ycA" class="cyc_term">Bible</a>). As a divergence from <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjnvpwpEbGdrcN5Y29ycA" class="cyc_term">Catholicism</a>, Protestants generally believe in a school of Christianity that differs in some key respects. Among the chief differences are: <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwFAJYpwpEbGdrcN5Y29ycA" class="cyc_term">CatholicPerson</a> shows more devotion to <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwQBk5pwpEbGdrcN5Y29ycA" class="cyc_term">Mary_MotherOfJesus</a>, and has a belief in <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwHpgIpwpEbGdrcN5Y29ycA" class="cyc_term">Transubstantiation</a> -- the process whereby bread is turned into the body of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rv3n0p5wpEbGdrcN5Y29ycA" class="cyc_term">JesusChrist</a>). Some subclasses of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rv2dkzJwpEbGdrcN5Y29ycA" class="cyc_term">ProtestantPerson</a> view the latter as being of symbolic import only (e.g., <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjpzZwpEbGdrcN5Y29ycA" class="cyc_term">AnglicanReligion</a>), while followers of the <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjNmpwpEbGdrcN5Y29ycA" class="cyc_term">LutheranReligion</a> school believe in <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwHpgIpwpEbGdrcN5Y29ycA" class="cyc_term">Transubstantiation</a> as a transformation, but deny the necessary role of the <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVrx15wpEbGdrcN5Y29ycA" class="cyc_term">Priest</a> as an agent of this transformation. ProtestantPerson Protestant The collection of all persons who believe in (at least some of) the basic fundamental tenets of Christianity, or who practice Christian religious rituals, or both. ChristianPerson Christian MormonPerson mormon person An instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvbSq6pwpEbGdrcN5Y29ycA" class="cyc_term">PersonTypeByReligion</a> and a specialization of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwQB295wpEbGdrcN5Y29ycA" class="cyc_term">ChristianPerson</a>. Each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rBl1ddo1mQdiJ_Lhsq15Ezw" class="cyc_term">MormonPerson</a> is someone who adheres to <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVi45ZwpEbGdrcN5Y29ycA" class="cyc_term">Mormonism</a> (q.v.). Baptist BaptistPerson SunniMuslimPerson Sunni Shiite ShiiteMuslimPerson (InstanceNamedFn-Ternary "Shia" PersonTypeByReligion "498ec054-17b7-41d9-8ac9-d0535cf33c31") Shia GreekOrthodoxPerson greek orthodox person The collection of people who consider themselves to be adherents of the <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVi33pwpEbGdrcN5Y29ycA" class="cyc_term">GreekOrthodoxReligion</a>, regardless of whether they really live by (or understand) most Greek Orthodox principles. As such, this collection is designed to capture the 'common sense' notion of 'being a Greek Orthodox,' and not the prescriptive sense that a devout Greek Orthodox person or a Greek Orthodox church leader might attach to the phrase. The collection of people who consider themselves to be adherents of the <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVkBMJwpEbGdrcN5Y29ycA" class="cyc_term">MethodistReligion</a>, regardless of whether they really live by (or understand) most Methodist principles. As such, this collection is designed to capture the 'common sense' notion of 'being a Methodist,' and not the prescriptive sense that a devout Methodist or a Methodist church leader might attach to the phrase. MethodistPerson Methodist Puritan The collection of members of a 16th and 17th century Protestant group in England and New England opposing as unscriptural the ceremonial worship and the prelacy of the Church of England. Puritan CatholicPerson The collection of people who adhere to a faith in <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjnvpwpEbGdrcN5Y29ycA" class="cyc_term">Catholicism</a>. Note that an instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwFAJYpwpEbGdrcN5Y29ycA" class="cyc_term">CatholicPerson</a> may not necessarily believe in (or adhere to) catholic edicts as laid down by the <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwQBxYpwpEbGdrcN5Y29ycA" class="cyc_term">Pope</a> and still consider themselves Catholics (e.g., they may use <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwP1ZTZwpEbGdrcN5Y29ycA" class="cyc_term">BirthControlPill</a> or <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwP1mBpwpEbGdrcN5Y29ycA" class="cyc_term">Condom</a> and thus be technically outside <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjnvpwpEbGdrcN5Y29ycA" class="cyc_term">Catholicism</a> but still be a <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwFAJYpwpEbGdrcN5Y29ycA" class="cyc_term">CatholicPerson</a>). Catholic 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 Buddhist BuddhistPerson The collection of all persons who believe in (at least some of) the tenets of some type of Buddhism, or who practice Buddhist religious rituals, or both. SikhPerson The collection of all persons who believe in the basic fundamental tenets of Sikhism or who practice Sikh religious rituals. Sikh 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 PersonTypeByReligion A collection of collections. This collection exists to make it easier to refer to that dimension or facet of a person's behavior, attitudes, and beliefs (culture) which derives from, or is influenced by, the person's overarching `religious' beliefs, practices, and affiliations. Note that `religion' and `religious' are understood here in a rather broad sense. Many practicing Catholics do not believe in the Catholic Church's official teachings regarding Christian history or the significance of Jesus; many people who call themselves Jews do not observe any of Judaism's rituals. But it is still useful to distinguish a `religious' mode of belief, activity, and group belonging, and to categorize people using these criteria. (Jewishness is a notable special case, where the term may designate both an ethnic, kinship-based, primordial sense of identity and belonging, AND a set of religious beliefs and practices). type of person classified by religion PersonTypeByReligion A collection of collections. This collection exists to make it easier to refer to that dimension or facet of a person's behavior, attitudes, and beliefs (culture) which derives from, or is influenced by, the person's overarching `religious' beliefs, practices, and affiliations. Note that `religion' and `religious' are understood here in a rather broad sense. Many practicing Catholics do not believe in the Catholic Church's official teachings regarding Christian history or the significance of Jesus; many people who call themselves Jews do not observe any of Judaism's rituals. But it is still useful to distinguish a `religious' mode of belief, activity, and group belonging, and to categorize people using these criteria. (Jewishness is a notable special case, where the term may designate both an ethnic, kinship-based, primordial sense of identity and belonging, AND a set of religious beliefs and practices). type of person classified by religion A <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rtGXkHpNaEdqAAAACs0uFOQ" class="cyc_term">KBDependentCollection</a> of collections of collections (and thus an instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rviPYH5wpEbGdrcN5Y29ycA" class="cyc_term">CollectionTypeType</a> and a specialization of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvtppU5wpEbGdrcN5Y29ycA" 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/Mx4rvViBDpwpEbGdrcN5Y29ycA" 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/Mx4rwQtVmpwpEbGdrcN5Y29ycA" 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/Mx4rvViA4pwpEbGdrcN5Y29ycA" 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/Mx4rvViBDpwpEbGdrcN5Y29ycA" class="cyc_term">genls</a> COL1 COL2) (b) (<a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViBDpwpEbGdrcN5Y29ycA" class="cyc_term">genls</a> COL2 COL1) (c) (<a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwQtVmpwpEbGdrcN5Y29ycA" class="cyc_term">siblingDisjointExceptions</a> COL1 COL2) (d) (<a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViA45wpEbGdrcN5Y29ycA" 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/Mx4rvViA1ZwpEbGdrcN5Y29ycA" class="cyc_term">Microtheory</a>) in which (i) both <code>(<a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViBBJwpEbGdrcN5Y29ycA" class="cyc_term">isa</a> COL1 SIB)</code> and <code>(<a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViBBJwpEbGdrcN5Y29ycA" class="cyc_term">isa</a> COL2 SIB)</code> hold and (ii) neither <code>(<a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViBDpwpEbGdrcN5Y29ycA" class="cyc_term">genls</a> COL1 COL2)</code> nor <code>(<a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViBDpwpEbGdrcN5Y29ycA" class="cyc_term">genls</a> COL2 COL1)</code> nor <code>(<a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwQtVmpwpEbGdrcN5Y29ycA" class="cyc_term">siblingDisjointExceptions</a> COL1 COL2)</code> is known to hold (see <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwP-JvpwpEbGdrcN5Y29ycA" class="cyc_term">knownSentence</a>), then <code>(<a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViA45wpEbGdrcN5Y29ycA" 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/Mx4rvVjakJwpEbGdrcN5Y29ycA" class="cyc_term">BiologyMt</a> both <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViAkpwpEbGdrcN5Y29ycA" class="cyc_term">Person</a> and <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjaoJwpEbGdrcN5Y29ycA" class="cyc_term">Dog</a> are instances of the sibling-disjoint collection type <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjK65wpEbGdrcN5Y29ycA" class="cyc_term">BiologicalSpecies</a>, while neither (<a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViBDpwpEbGdrcN5Y29ycA" class="cyc_term">genls</a> <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViAkpwpEbGdrcN5Y29ycA" class="cyc_term">Person</a> <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjaoJwpEbGdrcN5Y29ycA" class="cyc_term">Dog</a>) nor (<a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViBDpwpEbGdrcN5Y29ycA" class="cyc_term">genls</a> <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjaoJwpEbGdrcN5Y29ycA" class="cyc_term">Dog</a> <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViAkpwpEbGdrcN5Y29ycA" class="cyc_term">Person</a>) nor (<a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwQtVmpwpEbGdrcN5Y29ycA" class="cyc_term">siblingDisjointExceptions</a> <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViAkpwpEbGdrcN5Y29ycA" class="cyc_term">Person</a> <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjaoJwpEbGdrcN5Y29ycA" class="cyc_term">Dog</a>) is known to hold in that context; consequently, (<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/Mx4rvViAkpwpEbGdrcN5Y29ycA" class="cyc_term">Person</a> <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjaoJwpEbGdrcN5Y29ycA" class="cyc_term">Dog</a>) holds by default in <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjakJwpEbGdrcN5Y29ycA" class="cyc_term">BiologyMt</a>. Instances of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViA4pwpEbGdrcN5Y29ycA" class="cyc_term">SiblingDisjointCollectionType</a> include <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVji6JwpEbGdrcN5Y29ycA" class="cyc_term">BiologicalTaxon</a> (and its specializations), <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwKTnSJwpEbGdrcN5Y29ycA" class="cyc_term">OrganismPartType</a>, and <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwE01SZwpEbGdrcN5Y29ycA" class="cyc_term">RelationshipTypeByArity</a>. See the generalization <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rk8dxOFcGEdaLwgACs0uFOQ" class="cyc_term">SiblingDisjointSetOrCollectionType</a>. Also cf. the stronger notion of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvWPoRpwpEbGdrcN5Y29ycA" class="cyc_term">DisjointCollectionType</a>. sibling disjoint collection type SiblingDisjointCollectionType Pretty String (<a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwLSVCpwpEbGdrcN5Y29ycA" class="cyc_term">prettyString</a> TERM STRING) means that STRING is the English word or expression (sequence of words) commonly used to refer to TERM. The predicate <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwLSVCpwpEbGdrcN5Y29ycA" class="cyc_term">prettyString</a> is used by the code which generates CycL to English paraphrases, but its applicability is not restricted to this use. prettyString type of 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 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