]> 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. UndergraduateLevel undergraduate level The collection of all persons who have acheived an undergraduate level of education. A type of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4r_0fzup0fQdiYa_OT4YKKXw" class="cyc_term">LiterateAgent</a> and <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rIcwFloGUQdeMlsOWYLFB2w" class="cyc_term">HomoSapiens</a>. The collection <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rsr9zwnS6EdaAAACgyZzFrg" class="cyc_term">UndergraduateLevel</a> is a <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rGC-qsHSxEdaAAACgyZzFrg" class="cyc_term">PersonTypeByEducationLevel</a>. undergraduate levels http://en.wikipedia.org/wiki/Undergraduate_education college sophomore level CollegeSophomoreLevel college sophomore level college senior level college senior level CollegeSeniorLevel CollegeFreshmanLevel college freshman level college freshman level CollegeJuniorLevel college junior level college junior level 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 &quot;legal persons&quot;, who are, however, included in the collection <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVinsZwpEbGdrcN5Y29ycA" class="cyc_term">LegalAgent</a>. Person UndergraduateLevel undergraduate level The collection of all persons who have acheived an undergraduate level of education. A type of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4r_0fzup0fQdiYa_OT4YKKXw" class="cyc_term">LiterateAgent</a> and <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rIcwFloGUQdeMlsOWYLFB2w" class="cyc_term">HomoSapiens</a>. The collection <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rsr9zwnS6EdaAAACgyZzFrg" class="cyc_term">UndergraduateLevel</a> is a <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rGC-qsHSxEdaAAACgyZzFrg" class="cyc_term">PersonTypeByEducationLevel</a>. PersonTypeByEducationLevel type of person classified by education level 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 NonInitialCollection A specialization of both <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwIE23ZwpEbGdrcN5Y29ycA" class="cyc_term">TimeDependentCollection</a> and <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rHIBS0h_TEdaAAABQ2rksLw" class="cyc_term">FirstOrderCollection</a> (qq.v.). Each instance NIC of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4r_6HdOlV3QdeI9PHEy04DkQ" class="cyc_term">NonInitialCollection</a> is a collection such that nothing can be an instance of NIC at the start of the thing's existence. Thus nothing can be an instance of NIC for its entire existence. Instanceship in NIC is typically &quot;acquired&quot; at some point in time T after the would-be instance INST comes into existence, where T might occur either during or after INST's existence (i.e. &quot;posthumously&quot;). <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4r_6HdOlV3QdeI9PHEy04DkQ" class="cyc_term">NonInitialCollection</a> is agnostic regarding whether INST is an instance of NIC during any period when INST does not exist (cf. <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rhs-b2JX9QdeBCoQPSBEw0w" class="cyc_term">ExistenceDependentCollection</a>), and regarding whether INST an instance of NIC &quot;intermittently&quot; (see <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4ra0kFdJX-QdebR5OIAEc_Cg" class="cyc_term">IntermittentCollection</a>). Examples of non-initial collections are <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwQBnMZwpEbGdrcN5Y29ycA" class="cyc_term">AdultAnimal</a>, <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVi4PpwpEbGdrcN5Y29ycA" class="cyc_term">Veterinarian</a>, and <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rv4_7sJwpEbGdrcN5Y29ycA" class="cyc_term">MinedArea</a>. non initial collection A collection of collections. Each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvWXYgJwpEbGdrcN5Y29ycA" class="cyc_term">ExistingObjectType</a> is a specialization of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVj27ZwpEbGdrcN5Y29ycA" class="cyc_term">PartiallyTangible</a> (q.v.). Moreover, each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvWXYgJwpEbGdrcN5Y29ycA" class="cyc_term">ExistingObjectType</a> is a collection that is temporally stuff-like (see <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVitN5wpEbGdrcN5Y29ycA" class="cyc_term">TemporalStuffType</a>) but physically-spatially object-like (see <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVirnZwpEbGdrcN5Y29ycA" class="cyc_term">ObjectType</a>) -- i.e. object-like with respect to some physical-spatial part-whole predicate (e.g. some specialization of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4r8a2smPXcQdiEoJhcx65EiQ" class="cyc_term">properPhysicalDecompositions</a>). <p/> Consider the collection <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwJaXepwpEbGdrcN5Y29ycA" class="cyc_term">BookCopy</a>. <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwJaXepwpEbGdrcN5Y29ycA" class="cyc_term">BookCopy</a> is a specialization of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVj27ZwpEbGdrcN5Y29ycA" class="cyc_term">PartiallyTangible</a>. Further, <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwJaXepwpEbGdrcN5Y29ycA" class="cyc_term">BookCopy</a> is temporally stuff-like: any one of the <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvWn4OZwpEbGdrcN5Y29ycA" class="cyc_term">timeSlices</a> of a given copy <code><b>COPY</b></code> of (say) &quot;Moby Dick&quot; is still a copy of &quot;Moby Dick&quot;. (Most collections of tangible objects are temporally stuff-like in this way.) But <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwJaXepwpEbGdrcN5Y29ycA" class="cyc_term">BookCopy</a> is spatially <i>object-like</i>: if we take a scalpel and slice <code><b>COPY</b></code> into ten pieces, each piece is not a copy of &quot;Moby Dick&quot;. So <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwJaXepwpEbGdrcN5Y29ycA" class="cyc_term">BookCopy</a> is an instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvWXYgJwpEbGdrcN5Y29ycA" class="cyc_term">ExistingObjectType</a>. <p/> See also <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVir35wpEbGdrcN5Y29ycA" class="cyc_term">StuffType</a> and <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVny6pwpEbGdrcN5Y29ycA" class="cyc_term">ExistingStuffType</a>. ExistingObjectType type of object literate thing A <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rHIBS0h_TEdaAAABQ2rksLw" class="cyc_term">FirstOrderCollection</a>. Each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4r_0fzup0fQdiYa_OT4YKKXw" class="cyc_term">LiterateAgent</a> is an <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVinb5wpEbGdrcN5Y29ycA" class="cyc_term">IntelligentAgent</a> who is capable of both <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjVMpwpEbGdrcN5Y29ycA" class="cyc_term">Reading</a> and <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjLvpwpEbGdrcN5Y29ycA" class="cyc_term">Writing</a> in some <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVj0iZwpEbGdrcN5Y29ycA" class="cyc_term">Language</a>. LiterateAgent UndergraduateLevel undergraduate level The collection of all persons who have acheived an undergraduate level of education. A type of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4r_0fzup0fQdiYa_OT4YKKXw" class="cyc_term">LiterateAgent</a> and <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rIcwFloGUQdeMlsOWYLFB2w" class="cyc_term">HomoSapiens</a>. The collection <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rsr9zwnS6EdaAAACgyZzFrg" class="cyc_term">UndergraduateLevel</a> is a <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rGC-qsHSxEdaAAACgyZzFrg" class="cyc_term">PersonTypeByEducationLevel</a>. A collection of collections. Each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rkBjx4Dg4EdaAAACgye4oEQ" class="cyc_term">CollectionWithAnEventLikeOrder</a> is a collection whose instances are conventionally regarded as being ordered by some relation <code><b>RELN</b></code>, where <code><b>RELN</b></code> orders the members of <code><b>COL</b></code> in the manner in which events are ordered in linear time. <p/> More precisely, a collection is an instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rkBjx4Dg4EdaAAACgye4oEQ" class="cyc_term">CollectionWithAnEventLikeOrder</a> just in case its instances are conventially regarded as being ordered by a relation <code><b>RELN</b></code> such that the <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvztTgpwpEbGdrcN5Y29ycA" class="cyc_term">MathematicalOrdering</a> whose <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvlGiF5wpEbGdrcN5Y29ycA" class="cyc_term">baseSet</a> is <code><b>COL</b></code>, and whose <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwEFqoJwpEbGdrcN5Y29ycA" class="cyc_term">orderingRelation</a> is <code><b>RELN</b></code>, is an instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rHgPKvG6XQdeNVbS28NXHtw" class="cyc_term">EventLikeOrdering</a> (q.v.). <p/> For example, the instances of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViAmpwpEbGdrcN5Y29ycA" class="cyc_term">Distance</a> are conventionally regarded as being ordered by the relation <i><b>greater than</b></i>, and this ordering is event-like. So <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViAmpwpEbGdrcN5Y29ycA" class="cyc_term">Distance</a> is a collection with an event-like order. collection with an event-like order CollectionWithAnEventLikeOrder UndergraduateLevel undergraduate level The collection of all persons who have acheived an undergraduate level of education. A type of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4r_0fzup0fQdiYa_OT4YKKXw" class="cyc_term">LiterateAgent</a> and <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rIcwFloGUQdeMlsOWYLFB2w" class="cyc_term">HomoSapiens</a>. The collection <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rsr9zwnS6EdaAAACgyZzFrg" class="cyc_term">UndergraduateLevel</a> is a <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rGC-qsHSxEdaAAACgyZzFrg" class="cyc_term">PersonTypeByEducationLevel</a>. UndergraduateLevel undergraduate level The collection of all persons who have acheived an undergraduate level of education. A type of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4r_0fzup0fQdiYa_OT4YKKXw" class="cyc_term">LiterateAgent</a> and <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rIcwFloGUQdeMlsOWYLFB2w" class="cyc_term">HomoSapiens</a>. The collection <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rsr9zwnS6EdaAAACgyZzFrg" class="cyc_term">UndergraduateLevel</a> is a <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rGC-qsHSxEdaAAACgyZzFrg" class="cyc_term">PersonTypeByEducationLevel</a>.