]> 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. (SampleInstanceOfTypeForProgramFn BeliefSystem CycAnalyticEnvironment-TheProgram) Sample Instance Of Type For Program Fn belief system the Cyc Analytic Environment A branch of Islam. Shiite Islam ShiiteIslam One of the oldest religions practiced in the world today, the origins of Judaism can be traced back as far as the Bronze Age. Judaism is characterized by its assertion of the unity of God (monotheism), the justice and morality of God, and the claim that a special covenant exists between God and the Jewish nation. It is also characterized by a rigorous legal and moral code which together with sources like the code of Hammurabi and Greek and Roman law has been a fundamental influence on the Western legal tradition. Judaism Jewish religion AntiIsraelIdeology anti-Israeli ideology <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4ra_p5qsFrQdiKibELRUAyLQ" class="cyc_term">AntiIsraelIdeology</a> is a <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjUHpwpEbGdrcN5Y29ycA" class="cyc_term">PoliticalBeliefSystem</a>s associated with agents -- groups, regimes, or individuals -- who have a negative vested interest (see <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVj_gpwpEbGdrcN5Y29ycA" class="cyc_term">negativeVestedInterest</a>) in the state of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViP55wpEbGdrcN5Y29ycA" class="cyc_term">Israel</a>. Communism communism The ideology held by those persons who are members of the <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViyzZwpEbGdrcN5Y29ycA" class="cyc_term">CommunistParty</a>. Christianity Christianity Major world religion based on the teachings and philosophy of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViyXZwpEbGdrcN5Y29ycA" class="cyc_term">JesusOfNazareth</a>. There are many Christian denominations, having a wide variety of beliefs and practices. Central to Christianity are beliefs in the divinity of Jesus and the salvation of believers. Christianity is the largest world religion. Islam An instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVkCXpwpEbGdrcN5Y29ycA" class="cyc_term">MonotheisticReligion</a>. Islam teaches that is there is only one God and Muhammad is his prophet. It also teaches that <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViyXZwpEbGdrcN5Y29ycA" class="cyc_term">JesusOfNazareth</a> was a prophet, not the Son of God. Adherents of it are instances of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwQB3sJwpEbGdrcN5Y29ycA" class="cyc_term">MuslimPerson</a>. Islam AntiAmericanIdeology <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4r3tUBQvdCQdadkN_n8Jod9w" class="cyc_term">AntiAmericanIdeology</a> is a <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjUHpwpEbGdrcN5Y29ycA" class="cyc_term">PoliticalBeliefSystem</a> associated with agents -- groups, regimes, or individuals -- who have a negative vested interest (see <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVj_gpwpEbGdrcN5Y29ycA" class="cyc_term">negativeVestedInterest</a>) in the <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVikKpwpEbGdrcN5Y29ycA" class="cyc_term">UnitedStatesOfAmerica</a>. anti-American ideology SunniIslam A branch of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjLJZwpEbGdrcN5Y29ycA" class="cyc_term">Islam</a>. Sunni Islam (SampleInstanceOfTypeForProgramFn BeliefSystem CycAnalyticEnvironment-TheProgram) Sample Instance Of Type For Program Fn belief system the Cyc Analytic Environment 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 belief system A specialization of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvf9sZJwpEbGdrcN5Y29ycA" class="cyc_term">AspatialInformationStore</a>. Each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVi9R5wpEbGdrcN5Y29ycA" class="cyc_term">BeliefSystem</a> is an ideology (systems of belief) in terms of which an agent characterizes (i.e., makes sense of) the world. Instances of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVi9R5wpEbGdrcN5Y29ycA" class="cyc_term">BeliefSystem</a> include: <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVicUZwpEbGdrcN5Y29ycA" class="cyc_term">Vegetarianism</a>, <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwP2Gc5wpEbGdrcN5Y29ycA" class="cyc_term">GermanNaziIdeology</a>, <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjOhpwpEbGdrcN5Y29ycA" class="cyc_term">RepublicanPartyIdeology</a>, <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVi0EZwpEbGdrcN5Y29ycA" class="cyc_term">Communism</a>, <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwQr8hZwpEbGdrcN5Y29ycA" class="cyc_term">Pacifism</a>, <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVkAT5wpEbGdrcN5Y29ycA" class="cyc_term">Atheism</a>, etc. See also <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwNgIyZwpEbGdrcN5Y29ycA" class="cyc_term">ClassificationSystem</a>. BeliefSystem (SampleInstanceOfTypeForProgramFn BeliefSystem CycAnalyticEnvironment-TheProgram) Sample Instance Of Type For Program Fn belief system the Cyc Analytic Environment