]> 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. 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 http://en.wikipedia.org/wiki/Muslim Muslim believers in Islam Muslim people Muslims Muslim persons believer in Islam 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. Shiite ShiiteMuslimPerson SunniMuslimPerson Sunni MuslimSeparatist muslim separatist The collection of all muslim separatists. A type of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rEwMugqOJQdiF9agTCXQo9w" class="cyc_term">Separatist</a>. Mullah derives from the old Arabian word MAWLA, which denotes either the slave or the master (cf. http://www.usc.edu/dept/MSA/reference/glossary/term.MAWLA.html). In the extended sense, it means a Muslim teacher of religion, who has interpretive authority over the Qur'an, Hadith and the other bodies of Islam's religious knowledge. Notice that due to the intertwined relationship of religion, politics and social policy in Islam, the religious rulings of a Mullah can have massive socio-political consequences. Muslim cleric Mullah Taliban defector TalibanDefector 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>. IslamicNationalist The collection of all persons whose belief system is Islamic Nationalism. A type of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwQB3sJwpEbGdrcN5Y29ycA" class="cyc_term">MuslimPerson</a>. <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rdqsR2MuOEdmAAAACs2IKaQ" class="cyc_term">IslamicNationalist</a> is a <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rpWduENpwQdeUs-K0ZLO2XQ" class="cyc_term">PersonTypeByBeliefSystem</a>. Islamic nationalist Muhammad ibnu Abdillah was born in Mecca in the year 569 CE. He earned his living as a trader and was known by his people as al-amin (the trustworthy one). When Muhammad reached the age of 40, the angel Gabriel came to him with revelations that established his prophethood. Muhammad was first ordered to instruct his immediate family on Islam, including his beloved wife Khadija, but eventually it was revealed to him that he should begin delivering the message to all of mankind. In the next 20 years of his life, he communicated the message of Allah to his people, and set an example for how each human being should lead her or his life. This is especially valuable since Muhammad is the last Prophet of Allah. In the year 632, the year of his death, the Prophet delivered his famous last sermon. MuhammadTheProphet Muhammad person A specialization of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViknpwpEbGdrcN5Y29ycA" class="cyc_term">SocialBeing</a> and <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVilYpwpEbGdrcN5Y29ycA" class="cyc_term">IndividualAgent</a>: the collection of all persons. Personhood is a vague, emotionally loaded yet extremely salient concept with respect to common-sense reasoning. Something is an instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViAkpwpEbGdrcN5Y29ycA" class="cyc_term">Person</a> if it is an individual <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVinb5wpEbGdrcN5Y29ycA" class="cyc_term">IntelligentAgent</a> with perceptual sensibility, capable of complex social relationships, and possessing a certain moral sophistication and an intrinsic moral value, or -- if it lacks certain of these characteristics -- is a member of a distinct type of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViknpwpEbGdrcN5Y29ycA" class="cyc_term">SocialBeing</a> (usually a species) which generally possesses such characteristics and is therefore acknowledged by other members of that type as a person within their social systems. Most currently known instances of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViAkpwpEbGdrcN5Y29ycA" class="cyc_term">Person</a> are instances of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rIcwFloGUQdeMlsOWYLFB2w" class="cyc_term">HomoSapiens</a> but there is no reason why all need be (consider <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvdRsSZwpEbGdrcN5Y29ycA" class="cyc_term">Hobbit</a>s in the fictional world of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVi8lZwpEbGdrcN5Y29ycA" class="cyc_term">LordOfTheRings_Trilogy</a>). They need not even be instances of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVim7ZwpEbGdrcN5Y29ycA" class="cyc_term">BiologicalLivingObject</a> (consider the possibility of a person-like AI). Also note that <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViAkpwpEbGdrcN5Y29ycA" class="cyc_term">Person</a> excludes non-human "legal persons", who are, however, included in the collection <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVinsZwpEbGdrcN5Y29ycA" class="cyc_term">LegalAgent</a>. Person 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 <code>(<a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rZOAVeiYGEdqAAAACs2IMmw" class="cyc_term">broaderTerm</a> TERM1 TERM2)</code> means that <code>TERM2</code> is broader than <code>TERM1</code>, in an extremely general sense of "broader". For example, <code>TERM2</code> is, in the relevant sense, broader than <code>TERM1</code> if any of the following hold: <code>TERM2</code> is a collection that subsumes <code>TERM1</code>; <code>TERM2</code> is a collection that has <code>TERM1</code> as an instance; <code>TERM2</code> is a collection, instances of which have instances of the collection <code>TERM1</code> as parts; <code>TERM2</code> has <code>TERM1</code> as a part; This list of reasons for why <code>(<a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rZOAVeiYGEdqAAAACs2IMmw" class="cyc_term">broaderTerm</a> TERM1 TERM2)</code> could hold is not exhaustive, but it should give a good indication of how general the <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rZOAVeiYGEdqAAAACs2IMmw" class="cyc_term">broaderTerm</a> relation actually is. BT broaderTerm 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 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 Each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rsMsiok4dQdmWE400a3R3aA" class="cyc_term">Theist</a> is a <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViAkpwpEbGdrcN5Y29ycA" class="cyc_term">Person</a> that beliefs in the existence of at least one <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjrCJwpEbGdrcN5Y29ycA" class="cyc_term">God</a>. See also <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvbK69JwpEbGdrcN5Y29ycA" class="cyc_term">Atheist</a>. theist Theist 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 Any person who is a member of some Religion. A believer by default. ReligiousPerson religious person 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 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 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