]> 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. mayor city leader. Mayor mayors http://en.wikipedia.org/wiki/Mayor A specialization of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwQrzr5wpEbGdrcN5Y29ycA" class="cyc_term">Mayor</a> each instance of which is the leader of a <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rv33BppwpEbGdrcN5Y29ycA" class="cyc_term">Village</a>. In the muslim world, a village leader is known as a "mukhtar". village head VillageLeader <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 mayor city leader. Mayor mayor city leader. Mayor mayor city leader. Mayor elected official ElectedOfficial The collection of all public officals [<a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwQryspwpEbGdrcN5Y29ycA" class="cyc_term">PublicOfficial</a>] in positions normally filled by election. Occasionaly such offices can be filled by appointment or succession (e.g., when the previous office holder retires or dies) or by ``stealing the election''. Such office holders are still consdered instances of this collection. [This condition allows collections such as <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rv4R5XpwpEbGdrcN5Y29ycA" class="cyc_term">USSenator</a> or <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwQBS0ZwpEbGdrcN5Y29ycA" class="cyc_term">UnitedStatesPresident</a> to be specs of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4r1PJrHNViQdaf4KqKrwDfPQ" class="cyc_term">ElectedOfficial</a>.] mayor city leader. Mayor mayor city leader. Mayor CityOfficial The collection of all <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwQryspwpEbGdrcN5Y29ycA" class="cyc_term">PublicOfficial</a>s who work for a <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjnZ5wpEbGdrcN5Y29ycA" class="cyc_term">City</a> as opposed to a state or country city official 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 position A collection of collections. A <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwQr5OpwpEbGdrcN5Y29ycA" class="cyc_term">PersonTypeByPositionInOrg</a> is a collection representing a type of position in an organization. More precisely, each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwQr5OpwpEbGdrcN5Y29ycA" class="cyc_term">PersonTypeByPositionInOrg</a> is the collection of instances of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViAkpwpEbGdrcN5Y29ycA" class="cyc_term">Person</a> who typically hold that position within some <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjVT5wpEbGdrcN5Y29ycA" class="cyc_term">Organization</a> or other. For example, <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4ryPJOODDbQdic45ams7ynvA" class="cyc_term">Scout</a> is the collection of all persons who are scouts -- e.g. people who lead people through wilderness areas or jungles. <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4ryPJOODDbQdic45ams7ynvA" class="cyc_term">Scout</a> is an instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwQr5OpwpEbGdrcN5Y29ycA" class="cyc_term">PersonTypeByPositionInOrg</a> because typically a scout performs those duties within the context of their employment with some organization or other. Some other instances of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwQr5OpwpEbGdrcN5Y29ycA" class="cyc_term">PersonTypeByPositionInOrg</a> are <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwQrzr5wpEbGdrcN5Y29ycA" class="cyc_term">Mayor</a>, <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvWO8wpwpEbGdrcN5Y29ycA" class="cyc_term">CampaignManager</a>, <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjqs5wpEbGdrcN5Y29ycA" class="cyc_term">Director_Movie</a>, <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rv-ikj5wpEbGdrcN5Y29ycA" class="cyc_term">BaseballShortstop</a>, and <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjKbJwpEbGdrcN5Y29ycA" class="cyc_term">Secretary</a>. Obviously, which position-types are filled in a given organization partly depends on the type of organization it is; thus cities have mayors while business firms do not. Note that <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwQr5OpwpEbGdrcN5Y29ycA" class="cyc_term">PersonTypeByPositionInOrg</a> is _not_ a specialization of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVii2ZwpEbGdrcN5Y29ycA" class="cyc_term">PersonTypeByOccupation</a> (q.v.); the latter categorizes workers according to the kinds of activities they perform at work rather than the positions organization members hold in their respective organizations. The typical activities of a vice president of a toy manufacturer (e.g.) are likely to be very unlike those of the vice president of a stamp club. An instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwQr5OpwpEbGdrcN5Y29ycA" class="cyc_term">PersonTypeByPositionInOrg</a> need not be a spec of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjnN5wpEbGdrcN5Y29ycA" class="cyc_term">PersonWithOccupation</a>. Since every action is taken to be performed as part of one's job in <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViLlpwpEbGdrcN5Y29ycA" class="cyc_term">JobMt</a>, <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwQr5OpwpEbGdrcN5Y29ycA" class="cyc_term">PersonTypeByPositionInOrg</a> is a specialization of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVii2ZwpEbGdrcN5Y29ycA" class="cyc_term">PersonTypeByOccupation</a> there. PersonTypeByPositionInOrg Executive-PublicOfficial A sub-collection of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwQryspwpEbGdrcN5Y29ycA" class="cyc_term">PublicOfficial</a>. Each instance is a persons who administers the law. executive A subcollection of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjn95wpEbGdrcN5Y29ycA" class="cyc_term">PublicSectorEmployee</a> and an instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwQr5OpwpEbGdrcN5Y29ycA" class="cyc_term">PersonTypeByPositionInOrg</a>. Each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwQryspwpEbGdrcN5Y29ycA" class="cyc_term">PublicOfficial</a> is a person who holds a position that is directly involved with some aspect of governing a country (or subregion of a country). Many public offices in democratically governed countries are filled by election; some are filled by appointment. In other countries, public offices are sometimes filled by succession or by military decree. Note that public offices are represented in Cyc in terms of the collections of officials who hold those offices (e.g. <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwQrzr5wpEbGdrcN5Y29ycA" class="cyc_term">Mayor</a> and <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwQBS0ZwpEbGdrcN5Y29ycA" class="cyc_term">UnitedStatesPresident</a>) together with axioms describing the responsibilities those offices entail. public official PublicOfficial