]> 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. 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.). This is the collection of all collections of which something can be an instance during (and only during) several non-overlapping periods. <p/> For example, <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjma5wpEbGdrcN5Y29ycA" class="cyc_term">FamousHuman</a> is an intermittant collection, as a person might be famous as a child, fade into obscurity as a young adult, and then become famous again as an older adult. IntermittentCollection intermittent collection existence dependent intermittent collection ExistenceDependentIntermittentCollection A specialization of both <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4ra0kFdJX-QdebR5OIAEc_Cg" class="cyc_term">IntermittentCollection</a> and <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rhs-b2JX9QdeBCoQPSBEw0w" class="cyc_term">ExistenceDependentCollection</a> (qq.v.). Each instance EDIC of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4r5XR_DpX-QdecYYD_ncIdVg" class="cyc_term">ExistenceDependentIntermittentCollection</a> is a collection such that: (i) a thing can be an instance of EDIC only while the thing exists and (ii) a thing can be an instance of EDIC during several non-overlapping periods of the thing's existence. For example, <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4r4fzU4G6OEdaAAACgyZzFrg" class="cyc_term">Awake</a> is such a collection. See also the specialization <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4r67LzlpX-QdeR7s1ljF2vaQ" class="cyc_term">ExistenceDependentNonInitialIntermittentCollection</a>. kosher food The collection of all food that may be eaten according to the <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rTZyv8FZ9QdeTj7W3oL-VDw" class="cyc_term">KosherCodeOfConduct</a>. KosherFood UnderEvaluation under evaluation The collection of all objects that are undergoing some evaluation process. After the evaluation is complete, the object is no longer <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4r7J73pFM9QdeMqulIe5JlSw" class="cyc_term">UnderEvaluation</a>, but is <font color="#ff0000">#$Evaluated</font>. An object may have undergone a previous evaluation and so may be both <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4r7J73pFM9QdeMqulIe5JlSw" class="cyc_term">UnderEvaluation</a> and <font color="#ff0000">#$Evaluated</font> at the same time. A specialization of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rN9lf4CTeQdee4PjuZp8BLw" class="cyc_term">HistoricalSite</a>. A <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rZ_nLHiTfQdeTltEELDWj9Q" class="cyc_term">MilitarySite_Historical</a> is a facility or region formerly used for various aspects of or relating to military activity, and which is currently considered to be of historical interest. Examples include historical battlefields, decomissioned military bases, and shipyards. MilitarySite-Historical historical military site A specialization of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rIcwFloGUQdeMlsOWYLFB2w" class="cyc_term">HomoSapiens</a>. Each instance of this collection is a human who has historical significance, such as <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvgIISJwpEbGdrcN5Y29ycA" class="cyc_term">Hammurabi</a>, <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rv6uPRZwpEbGdrcN5Y29ycA" class="cyc_term">Pericles</a> and <font color="#ff0000">#$CheGuevara</font>. (There is thus considerable overlap between this collection and <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjma5wpEbGdrcN5Y29ycA" class="cyc_term">FamousHuman</a>, but they differ in that all instances of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwKQB3pwpEbGdrcN5Y29ycA" class="cyc_term">HistoricHuman</a> exerted some real influence on the course of world events). historical figure HistoricHuman historic thing HistoricTemporalThing The collection of all events, people, objects, periods, etc. which are considered to have historical significance. The membership in this collection depends upon time, place, and culture. A specialization of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rIcwFloGUQdeMlsOWYLFB2w" class="cyc_term">HomoSapiens</a>. This is the collection of all human beings that are <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwPzZOJwpEbGdrcN5Y29ycA" class="cyc_term">Famous</a> (i.e. identifiable by a large number of other human beings). See also <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwKQB3pwpEbGdrcN5Y29ycA" class="cyc_term">HistoricHuman</a>. famous person FamousHuman ProprietaryComputerImageFile This is the spec of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvgYvyZwpEbGdrcN5Y29ycA" class="cyc_term">ComputerImageFile</a> consisting of files of pictures which are owned and were created for the purpose of making money. The pictures in question are copyrighted but often end up being used by persons who do not hold the copyright. Indeed, the owner of the computer image file in question often got the file by scanning copyrighted hardcopy pictures or by copying a computer image file owned by someone else. Many <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvyP2SZwpEbGdrcN5Y29ycA" class="cyc_term">ProprietaryComputerImageFile</a>s are of a pornographic nature. computer image file Attendee attendee The collection of all attendees. An <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4ra0kFdJX-QdebR5OIAEc_Cg" class="cyc_term">IntermittentCollection</a>. PersonWithoutAVisa The collection of all persons who are in a country or that country's territorial waters, are not citizens of that country, and do not have a travel visa. person without a visa A specialization of both <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwLjlAJwpEbGdrcN5Y29ycA" class="cyc_term">GeographicalThing</a> and <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvgLGxpwpEbGdrcN5Y29ycA" class="cyc_term">HistoricTemporalThing</a>. An <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rN9lf4CTeQdee4PjuZp8BLw" class="cyc_term">HistoricalSite</a> is a location of notable historical interest. HistoricalSite historical site IntermittentCollection 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.). This is the collection of all collections of which something can be an instance during (and only during) several non-overlapping periods. <p/> For example, <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjma5wpEbGdrcN5Y29ycA" class="cyc_term">FamousHuman</a> is an intermittant collection, as a person might be famous as a child, fade into obscurity as a young adult, and then become famous again as an older adult. intermittent collection The collection of all specializations of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rHIBS0h_TEdaAAABQ2rksLw" class="cyc_term">FirstOrderCollection</a>, that is, of all collections of (first-order) collections, and an instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rHUFI8h_TEdaAAABQ2rksLw" class="cyc_term">ThirdOrderCollection</a>. Instances of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rHQdVmB_TEdaAAABQ2rksLw" class="cyc_term">SecondOrderCollection</a> are collections of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rHIBS0h_TEdaAAABQ2rksLw" class="cyc_term">FirstOrderCollection</a>s. Any instance of any instance of any instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rHQdVmB_TEdaAAABQ2rksLw" class="cyc_term">SecondOrderCollection</a> is an <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjaApwpEbGdrcN5Y29ycA" class="cyc_term">Individual</a>. SecondOrderCollection second-order Cyc collection IntermittentCollection 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.). This is the collection of all collections of which something can be an instance during (and only during) several non-overlapping periods. <p/> For example, <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjma5wpEbGdrcN5Y29ycA" class="cyc_term">FamousHuman</a> is an intermittant collection, as a person might be famous as a child, fade into obscurity as a young adult, and then become famous again as an older adult. intermittent collection TimeIndependentCollection time independent collection A collection of collections. Each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvzndCZwpEbGdrcN5Y29ycA" class="cyc_term">TimeIndependentCollection</a> is a collection whose membership cannot change over time. Examples of time-independent collections are <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvxwC-ZwpEbGdrcN5Y29ycA" class="cyc_term">Number_General</a> and <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rv0YfN5wpEbGdrcN5Y29ycA" class="cyc_term">MathematicalObject</a>. By contrast, <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwFronJwpEbGdrcN5Y29ycA" class="cyc_term">Supermodel</a> is clearly a <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwIE23ZwpEbGdrcN5Y29ycA" class="cyc_term">TimeDependentCollection</a> (q.v.). A collection of collections. Each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwIE23ZwpEbGdrcN5Y29ycA" class="cyc_term">TimeDependentCollection</a> is a collection whose membership changes over time. For example, (<a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwPzX35wpEbGdrcN5Y29ycA" class="cyc_term">LiquidFn</a> <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjAHZwpEbGdrcN5Y29ycA" class="cyc_term">Water</a>) is a time dependent collection. A given portion of water might be an instance of (<a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwPzX35wpEbGdrcN5Y29ycA" class="cyc_term">LiquidFn</a> <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjAHZwpEbGdrcN5Y29ycA" class="cyc_term">Water</a>) in the summer, and an instance of the disjoint collection (<a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwPzX0JwpEbGdrcN5Y29ycA" class="cyc_term">SolidFn</a> <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjAHZwpEbGdrcN5Y29ycA" class="cyc_term">Water</a>) in the winter. In contrast, <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVieEpwpEbGdrcN5Y29ycA" class="cyc_term">Integer</a> is a <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvzndCZwpEbGdrcN5Y29ycA" class="cyc_term">TimeIndependentCollection</a> (q.v.) because the collection of integers does not change its membership over time. time dependent collection TimeDependentCollection 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