]> 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. Philosopher A specialization of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViAkpwpEbGdrcN5Y29ycA" class="cyc_term">Person</a>; in the context of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVj-c5wpEbGdrcN5Y29ycA" class="cyc_term">HumanActivitiesMt</a> this collection is an instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvWgxLZwpEbGdrcN5Y29ycA" class="cyc_term">PersonTypeByActivity</a>, in the context of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViLlpwpEbGdrcN5Y29ycA" class="cyc_term">JobMt</a> it is an instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVii2ZwpEbGdrcN5Y29ycA" class="cyc_term">PersonTypeByOccupation</a>. Each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjuapwpEbGdrcN5Y29ycA" class="cyc_term">Philosopher</a> is a person who habitually thinks about philosophical matters such as what is or might be, what we can know, how we can know anything, etc. In the contemporary era most philosophers are academics or professionals, but a significant number (now and historically) don't fit this profile. philosopher thinker philosophers thinkers http://en.wikipedia.org/wiki/Philosophy PoliticalPhilosopher The collection of all political philosophers. A type of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjuapwpEbGdrcN5Y29ycA" class="cyc_term">Philosopher</a>. <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvkBZgZwpEbGdrcN5Y29ycA" class="cyc_term">PoliticalPhilosopher</a> is a <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVii2ZwpEbGdrcN5Y29ycA" class="cyc_term">PersonTypeByOccupation</a>. political philosopher Ethicist The collection of all ethicists. A type of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjuapwpEbGdrcN5Y29ycA" class="cyc_term">Philosopher</a>. <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rugZ-TitAQdiMZ-wb7y15rA" class="cyc_term">Ethicist</a> is a <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvWgxLZwpEbGdrcN5Y29ycA" class="cyc_term">PersonTypeByActivity</a>. ethicist The collection of all theologians. A type of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjuapwpEbGdrcN5Y29ycA" class="cyc_term">Philosopher</a>. theologian Theologian LudwigWittgenstein Ludwig Wittgenstein Karl Marx KarlMarx Jean-PaulSartre Jean-Paul Sartre David Hume DavidHume BernanrdArthurOwenWilliams-Philosopher An instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjuapwpEbGdrcN5Y29ycA" class="cyc_term">Philosopher</a>. English philosopher credited with reviving the field of moral philosophy (1929-2003). Bernanrd Williams WilfredSellars <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwUWKLZwpEbGdrcN5Y29ycA" class="cyc_term">WilfredSellars</a> was a systematic philosopher who understood the aim of philosophy as 'to understand how things in the broadest possible sense of the term hang together in the broadest possible sense of the term'. Wilfred Sellars J. L. Austin was an "ordinary language" philosopher at Oxford in the early part of the 20th century. He made major contributions to the study of speech acts. JohnLAustin J. L. Austin Martin Heidegger An instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjuapwpEbGdrcN5Y29ycA" class="cyc_term">Philosopher</a>. German philosopher whose views on human existence in a world of objects and on Angst influenced the existential philosophers (1889-1976). MartinHeidegger-Philosopher ImmanuelKant Immanuel Kant was a German philosopher who lived from 1724-1804. He is most famous for what he called his "Copernican Revolution" in philosophy, according to which the mind is neither the sole active originator of experience nor a mere passive recipient of experience; rather, the form of experience is contributed by the mind while the intuited content of experience is both necessary for empirical knowledge and a product of factors other than the mind. Immanuel Kant Anaximenes Anaximenes Anaximenes was a Pre-Socratic Greek philosopher. FranzBrentano Franz Brentano RobinGeorgeCollingwood Robin Collingwood An instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjWoZwpEbGdrcN5Y29ycA" class="cyc_term">MaleHuman</a>. German philosopher whose three stage process of dialectical reasoning was adopted by Karl Marx (1770-1831). Hegel Georg Hegel Rene Descartes ReneDescartes Pythagoras Pythagoras <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwPJozpwpEbGdrcN5Y29ycA" class="cyc_term">Pythagoras</a> was a Pre-Socratic Greek philosopher. Democritus A Greek phiosopher, born in Abdera, near Thrace. Democritus, along with Leucippus, was the first to develop an atomistic metaphysics: only atoms and empty space exist. Democritus WilliamJames William James Cicero Cicero John Locke JohnLocke JeanJacquesRousseau Jean-Jacques Rousseau Thales <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViKKJwpEbGdrcN5Y29ycA" class="cyc_term">Thales</a> was a Pre-Socratic Greek philosopher. Thales <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rv8-AEZwpEbGdrcN5Y29ycA" class="cyc_term">Parmenides</a> was a Pre-Socratic Greek philosopher. Parmenides Parmenides Baruch Spinoza BaruchSpinoza <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rv6FRs5wpEbGdrcN5Y29ycA" class="cyc_term">Epicurus</a> was a Greek philosopher who lived at the start of the Hellenistic age. He was a materialist and a hedonist, thinking that the goal of life is to attain tranquillity. Epicureanism survived as a philosophical 'school' for many centuries. Epicurus Epicurus StephenCKleene Stephen Kleene A student of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rr9CCkSGgEdaaVQBQ2sS97Q" class="cyc_term">AlonzoChurch</a> and one of the greatest logicians of the 20th century. <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rr9CpoSGgEdaaVQBQ2sS97Q" class="cyc_term">StephenCKleene</a>'s greatest influence was on theory of computability, both in its mathematical and philosophical aspects. Among its greatest contributions: the development of the theory of degrees of computability, computable ordinals and the arithmetic hierarchy; recursive realizability, an intepretation of intuitionistic mathematics in computability theory. EdmundHusserl Edmund Husserl The most important logician of the twentieth century. He demonstrated the completeness of the first-order predicate calculus and the incompleteness of any formal system strong enough to demonstrate the truths of Peano arithmetic. He also made important contributions to <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rv36W7ZwpEbGdrcN5Y29ycA" class="cyc_term">SetTheory</a> and to <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViOapwpEbGdrcN5Y29ycA" class="cyc_term">Physics</a>. KurtGodel Kurt Godel Thomas Aquinas Also known as the angelic doctor. born: 1225. died: 1274. A monk noted both for his physical bulk and his affect on the development of Christian Theology. Aquinas moved the church's scholarly emphasis away from Plato, and toward Aristotle. This opened the door for theologians to argue on the basis of human reason, and not merely faith alone. Aquinas thus had an enormous effect on the development of Western Science, since questioning how the world worked was now considered a laudable subject of religious inquiry. ThomasAquinas David Lewis DavidLewis David Lewis was a philosopher who made major contributions to metaphysics, the philosophy of language and the philosophy of logic. He is perhaps best known for his work on the nature of possible worlds. BertrandRussell Bertrand Russell <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViLgpwpEbGdrcN5Y29ycA" class="cyc_term">BertrandRussell</a> was a philosopher whose most influential contributions include his defense of logicism and his theories of definite descriptions and logical atomism. Russell is generally recognized as one of the founders of analytic philosophy. Along with <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvarT5ZwpEbGdrcN5Y29ycA" class="cyc_term">KurtGodel</a>, he is also often credited with being one of the two most important logicians of the twentieth century. Imprisoned in 1918 for pacifism, he was increasingly engaged in political activities. In 1950 he won the <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvzn-O5wpEbGdrcN5Y29ycA" class="cyc_term">NobelPrizeForLiterature_1950</a>. Arthur Schopenhauer ArthurSchopenhauer The German rhetorical stylist, philosopher of ethics and essayist who is famous for his development of the notion of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvzoMs5wpEbGdrcN5Y29ycA" class="cyc_term">Nietzschean_Superman</a>, or UberMensch, a person who sets his/her own moral standards and is not dependent on the approval or approbation of his social group. Despite his remarkable misanthropy and misogyny, Nietzsche never directed his bile against any single ethnic grouping in fact, it was a distaste for racism in general that caused him to end his friendship with the German composer <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwDzbIZwpEbGdrcN5Y29ycA" class="cyc_term">RichardWagner</a>. Nonetheless, his moral standpoint was open to misinterpretation, and his philosophies on the superman mentality were later adopted and perverted by the <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwQBgoZwpEbGdrcN5Y29ycA" class="cyc_term">GermanNaziParty</a>. Friedrich Nietzsche FriedrichNietzsche Alfred Whitehead <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViLypwpEbGdrcN5Y29ycA" class="cyc_term">AlfredNorthWhitehead</a> is a philosopher who is best known for his collaboration in mathematics and logic with his pupil <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViLgpwpEbGdrcN5Y29ycA" class="cyc_term">BertrandRussell</a>. Also, he developed a general and systematic process metaphysics. AlfredNorthWhitehead John Searle is a philosopher who has made major contributions to the study of speech acts, artificial intelligence, intentionality, and consciousness. John Searle JohnSearle DavidHartley-Philosopher An instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjuapwpEbGdrcN5Y29ycA" class="cyc_term">Philosopher</a>. English philosopher who introduced the theory of the association of ideas (1705-1757). David Hartley WillardVanOrmanQuine W. V. O. Quine Willard Van Orman Quine was a 20th century metaphysician, epistemologist, and philosopher of logic and language. His main contribution to philosophy was a well-worked out skepticism towards meaning, analyticity, and modality. Anaximander was a Pre-Socratic Greek philosopher. Anaximander Anaximander Church was professor of mathematics at Princeton University and later professor of mathematics and philosophy at UCLA. His work has been greatly influential in the fields of mathematical logic, recursion theory, and theoretical computer science. At the time of his death, Church was widely regarded as the greatest living logician in the world. Among his greatest contributions: the lambda calculus, Church's Thesis (every effectively computable function can be computed by a recursive function). Alonzo Church AlonzoChurch Socrates is an ancient Greek philosopher. Socrates Socrates CharlesDeMontesquieu Charles de Montesquieu CharlesPeirce <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvwMvxJwpEbGdrcN5Y29ycA" class="cyc_term">CharlesPeirce</a> was the first significant American <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rv-Pbe5wpEbGdrcN5Y29ycA" class="cyc_term">Logician</a>. Charles Peirce <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rv4kaJ5wpEbGdrcN5Y29ycA" class="cyc_term">GottlobFrege</a> was one of the founders of modern symbolic logic. GottlobFrege Gottlob Frege GeorgeBerkeley-Philosopher George Berkeley DonaldDavidson Together with <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwIaTXZwpEbGdrcN5Y29ycA" class="cyc_term">WillardVanOrmanQuine</a>, whose student he was at Harvard, <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rVvCbpFGeEdaToQABAxv6tg" class="cyc_term">DonaldDavidson</a> is one of the most important figures in 20th-century Anglo-American philosophy. He developed Quine's ideas about meaning and reference in novel and -- by some accounts -- deeper ways, especially in the philosophies of mind, psychology, language and action. Davidson is renowned for a string of stunningly short papers that are now recognized as seminal works in their respective areas: meaning and Tarskian truth theories, events and causation, the logical form of action sentences, radical interpretation, the existence of alternative conceptual schemes. Davidson's interpretation of action sentences as existence claims about event particulars forms the conceptual basis for Cyc's event and actor-slot vocabulary. Donald Davidson AlbertCamus Albert Camus Aristotle is an ancient Greek philosopher. Aristotle Aristotle Philosopher philosopher A specialization of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViAkpwpEbGdrcN5Y29ycA" class="cyc_term">Person</a>; in the context of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVj-c5wpEbGdrcN5Y29ycA" class="cyc_term">HumanActivitiesMt</a> this collection is an instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvWgxLZwpEbGdrcN5Y29ycA" class="cyc_term">PersonTypeByActivity</a>, in the context of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViLlpwpEbGdrcN5Y29ycA" class="cyc_term">JobMt</a> it is an instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVii2ZwpEbGdrcN5Y29ycA" class="cyc_term">PersonTypeByOccupation</a>. Each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjuapwpEbGdrcN5Y29ycA" class="cyc_term">Philosopher</a> is a person who habitually thinks about philosophical matters such as what is or might be, what we can know, how we can know anything, etc. In the contemporary era most philosophers are academics or professionals, but a significant number (now and historically) don't fit this profile. adult worker Professional-Adult A specialization of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjnN5wpEbGdrcN5Y29ycA" class="cyc_term">PersonWithOccupation</a>. A person is an instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvooD95wpEbGdrcN5Y29ycA" class="cyc_term">Professional_Adult</a> just in case he or she is an adult and a professional. Philosopher philosopher A specialization of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViAkpwpEbGdrcN5Y29ycA" class="cyc_term">Person</a>; in the context of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVj-c5wpEbGdrcN5Y29ycA" class="cyc_term">HumanActivitiesMt</a> this collection is an instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvWgxLZwpEbGdrcN5Y29ycA" class="cyc_term">PersonTypeByActivity</a>, in the context of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViLlpwpEbGdrcN5Y29ycA" class="cyc_term">JobMt</a> it is an instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVii2ZwpEbGdrcN5Y29ycA" class="cyc_term">PersonTypeByOccupation</a>. Each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjuapwpEbGdrcN5Y29ycA" class="cyc_term">Philosopher</a> is a person who habitually thinks about philosophical matters such as what is or might be, what we can know, how we can know anything, etc. In the contemporary era most philosophers are academics or professionals, but a significant number (now and historically) don't fit this profile. Philosopher philosopher A specialization of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViAkpwpEbGdrcN5Y29ycA" class="cyc_term">Person</a>; in the context of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVj-c5wpEbGdrcN5Y29ycA" class="cyc_term">HumanActivitiesMt</a> this collection is an instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvWgxLZwpEbGdrcN5Y29ycA" class="cyc_term">PersonTypeByActivity</a>, in the context of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViLlpwpEbGdrcN5Y29ycA" class="cyc_term">JobMt</a> it is an instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVii2ZwpEbGdrcN5Y29ycA" class="cyc_term">PersonTypeByOccupation</a>. Each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjuapwpEbGdrcN5Y29ycA" class="cyc_term">Philosopher</a> is a person who habitually thinks about philosophical matters such as what is or might be, what we can know, how we can know anything, etc. In the contemporary era most philosophers are academics or professionals, but a significant number (now and historically) don't fit this profile. Philosopher philosopher A specialization of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViAkpwpEbGdrcN5Y29ycA" class="cyc_term">Person</a>; in the context of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVj-c5wpEbGdrcN5Y29ycA" class="cyc_term">HumanActivitiesMt</a> this collection is an instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvWgxLZwpEbGdrcN5Y29ycA" class="cyc_term">PersonTypeByActivity</a>, in the context of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViLlpwpEbGdrcN5Y29ycA" class="cyc_term">JobMt</a> it is an instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVii2ZwpEbGdrcN5Y29ycA" class="cyc_term">PersonTypeByOccupation</a>. Each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjuapwpEbGdrcN5Y29ycA" class="cyc_term">Philosopher</a> is a person who habitually thinks about philosophical matters such as what is or might be, what we can know, how we can know anything, etc. In the contemporary era most philosophers are academics or professionals, but a significant number (now and historically) don't fit this profile. Scholar A sub-collection of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVkFrJwpEbGdrcN5Y29ycA" class="cyc_term">Teacher</a>. Each instance is a learned person (especially in the humanities); someone who by long study has gained mastery in one or more disciplines. scholarly person A collection of collections and a specialization of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvWgxLZwpEbGdrcN5Y29ycA" class="cyc_term">PersonTypeByActivity</a> (q.v.). Each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVii2ZwpEbGdrcN5Y29ycA" class="cyc_term">PersonTypeByOccupation</a> is a collection of workers (see <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjnN5wpEbGdrcN5Y29ycA" class="cyc_term">PersonWithOccupation</a>) and is defined in terms of the kind of work done. The various instances of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVii2ZwpEbGdrcN5Y29ycA" class="cyc_term">PersonTypeByOccupation</a> correspond to jobs of all kinds, and not just to those colloquially called &quot;professions&quot;. Examples include <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjONJwpEbGdrcN5Y29ycA" class="cyc_term">ComputerProgrammerProfessional</a>, <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjkWZwpEbGdrcN5Y29ycA" class="cyc_term">FoodServiceEmployee</a>, <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwQwxbpwpEbGdrcN5Y29ycA" class="cyc_term">MedicalCareProfessional</a>, <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwQwl6JwpEbGdrcN5Y29ycA" class="cyc_term">SalesRepresentative</a>, <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjilJwpEbGdrcN5Y29ycA" class="cyc_term">Brewer</a>, and many others. See also <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwQr5OpwpEbGdrcN5Y29ycA" class="cyc_term">PersonTypeByPositionInOrg</a>. type of profession PersonTypeByOccupation Philosopher philosopher A specialization of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViAkpwpEbGdrcN5Y29ycA" class="cyc_term">Person</a>; in the context of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVj-c5wpEbGdrcN5Y29ycA" class="cyc_term">HumanActivitiesMt</a> this collection is an instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvWgxLZwpEbGdrcN5Y29ycA" class="cyc_term">PersonTypeByActivity</a>, in the context of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViLlpwpEbGdrcN5Y29ycA" class="cyc_term">JobMt</a> it is an instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVii2ZwpEbGdrcN5Y29ycA" class="cyc_term">PersonTypeByOccupation</a>. Each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjuapwpEbGdrcN5Y29ycA" class="cyc_term">Philosopher</a> is a person who habitually thinks about philosophical matters such as what is or might be, what we can know, how we can know anything, etc. In the contemporary era most philosophers are academics or professionals, but a significant number (now and historically) don't fit this profile. 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 Philosopher philosopher A specialization of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViAkpwpEbGdrcN5Y29ycA" class="cyc_term">Person</a>; in the context of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVj-c5wpEbGdrcN5Y29ycA" class="cyc_term">HumanActivitiesMt</a> this collection is an instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvWgxLZwpEbGdrcN5Y29ycA" class="cyc_term">PersonTypeByActivity</a>, in the context of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViLlpwpEbGdrcN5Y29ycA" class="cyc_term">JobMt</a> it is an instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVii2ZwpEbGdrcN5Y29ycA" class="cyc_term">PersonTypeByOccupation</a>. Each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjuapwpEbGdrcN5Y29ycA" class="cyc_term">Philosopher</a> is a person who habitually thinks about philosophical matters such as what is or might be, what we can know, how we can know anything, etc. In the contemporary era most philosophers are academics or professionals, but a significant number (now and historically) don't fit this profile.