]> 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 <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjaApwpEbGdrcN5Y29ycA" class="cyc_term">Individual</a>, and an instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rZ4U-5JX-QdeNoJn93NBKEQ" class="cyc_term">HistoricalCollection</a> and <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4roBs6aphbQdeBmpdRzdrxxA" class="cyc_term">PostExistenceCollection</a> (qq.v.). Each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4ra50_OGkMEdaAAACQJ5T1Bg" class="cyc_term">AgentNowTerminated</a> is an instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvsaaeJwpEbGdrcN5Y29ycA" class="cyc_term">Agent_Generic</a> that has terminated. "(<a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViBBJwpEbGdrcN5Y29ycA" class="cyc_term">isa</a> AGT <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4ra50_OGkMEdaAAACQJ5T1Bg" class="cyc_term">AgentNowTerminated</a>)" is true only after the ending point of AGT, when "(<a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViBBJwpEbGdrcN5Y29ycA" class="cyc_term">isa</a> AGT <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvsaaeJwpEbGdrcN5Y29ycA" class="cyc_term">Agent_Generic</a>)" is no longer true. Instances include defunct organizations and dead animals. AgentNowTerminated former agent former agents <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwJ45PHS7EdaAAACgyZzFrg" class="cyc_term">Deceased</a> is a specialization of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4ra50_OGkMEdaAAACQJ5T1Bg" class="cyc_term">AgentNowTerminated</a>. Each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwJ45PHS7EdaAAACgyZzFrg" class="cyc_term">Deceased</a> is a dead, formerly living organism. If the sentence, "(<a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViBBJwpEbGdrcN5Y29ycA" class="cyc_term">isa</a> ORG <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwJ45PHS7EdaAAACgyZzFrg" class="cyc_term">Deceased</a>)" is true, it means that ORG was once an organism (see <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjE1pwpEbGdrcN5Y29ycA" class="cyc_term">Organism_Whole</a>) which was alive and that ORG underwent death (see <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVkJU5wpEbGdrcN5Y29ycA" class="cyc_term">Dying</a>) at some time prior to the time at which "(<a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViBBJwpEbGdrcN5Y29ycA" class="cyc_term">isa</a> ORG <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwJ45PHS7EdaAAACgyZzFrg" class="cyc_term">Deceased</a>)" is true. dead organism Deceased AlbertRBroccoli Albert R. Broccoli A collection of collections. Each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rxyRysnSxEdaAAACgyZzFrg" class="cyc_term">TemporalThingTypeByExistentialStatus</a> is a collection whose members in some way share an existential status, i.e., the extent to which they exist, fail to exist, or their existential history. TemporalThingTypeByExistentialStatus existential attribute 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 <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 The collection of all instances of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4r_4bScKNtQdiVw7XtX-HN0Q" class="cyc_term">ClarifyingCollectionType</a> that are used by the #$KRAKEN application to resolve natural language ambiguities. KE clarifying collection type KEClarifyingCollectionType A specialization of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4r_6HdOlV3QdeI9PHEy04DkQ" class="cyc_term">NonInitialCollection</a> (q.v). Each instance HC of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rZ4U-5JX-QdeNoJn93NBKEQ" class="cyc_term">HistoricalCollection</a> is a collection such that (i) nothing can start its existence as an instance of HC and (ii) once a thing becomes an instance of HC it necessarily remains so for the rest of time. An example of a historical collection is <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwJ45PHS7EdaAAACgyZzFrg" class="cyc_term">Deceased</a>. HistoricalCollection historical collection A specialization of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjaApwpEbGdrcN5Y29ycA" class="cyc_term">Individual</a>. This is the collection of all things that have temporal extent or location -- things about which one might sensibly ask "When?". <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViAxJwpEbGdrcN5Y29ycA" class="cyc_term">TemporalThing</a> thus contains many kinds of things, including events, physical objects, agreements, and pure intervals of time. Major specializations of this collection are <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVi255wpEbGdrcN5Y29ycA" class="cyc_term">SomethingExisting</a>, <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvYjIS5wpEbGdrcN5Y29ycA" class="cyc_term">Situation</a>, and <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViAw5wpEbGdrcN5Y29ycA" class="cyc_term">TimeInterval</a> (qq.v.). Things that are timeless -- such as mathematical sets, <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViAzJwpEbGdrcN5Y29ycA" class="cyc_term">Collection</a>s, and numbers -- are of course not instances of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViAxJwpEbGdrcN5Y29ycA" class="cyc_term">TemporalThing</a> (cf. <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rGfrGRkkIQdeI2O3iJCGV3Q" class="cyc_term">AtemporalThing</a>). thing that exists in time TemporalThing post existence collection A specialization of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4r_6HdOlV3QdeI9PHEy04DkQ" class="cyc_term">NonInitialCollection</a> (q.v.). Each instance PEC of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4roBs6aphbQdeBmpdRzdrxxA" class="cyc_term">PostExistenceCollection</a> is such that something can be an instance of PEC only after the thing's entire existence (i.e., "posthumously"). Any instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4roBs6aphbQdeBmpdRzdrxxA" class="cyc_term">PostExistenceCollection</a> may either be an instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4roBs6aphbQdeBmpdRzdrxxA" class="cyc_term">PostExistenceCollection</a> permanently (see <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rZ4U-5JX-QdeNoJn93NBKEQ" class="cyc_term">HistoricalCollection</a>) or only "intermittently" (see <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4ra0kFdJX-QdebR5OIAEc_Cg" class="cyc_term">IntermittentCollection</a>). An example of a post-existence collection is <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwJ45PHS7EdaAAACgyZzFrg" class="cyc_term">Deceased</a>. PostExistenceCollection A specialization of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjaApwpEbGdrcN5Y29ycA" class="cyc_term">Individual</a>, and an instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rZ4U-5JX-QdeNoJn93NBKEQ" class="cyc_term">HistoricalCollection</a> and <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4roBs6aphbQdeBmpdRzdrxxA" class="cyc_term">PostExistenceCollection</a> (qq.v.). Each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4ra50_OGkMEdaAAACQJ5T1Bg" class="cyc_term">AgentNowTerminated</a> is an instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvsaaeJwpEbGdrcN5Y29ycA" class="cyc_term">Agent_Generic</a> that has terminated. "(<a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViBBJwpEbGdrcN5Y29ycA" class="cyc_term">isa</a> AGT <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4ra50_OGkMEdaAAACQJ5T1Bg" class="cyc_term">AgentNowTerminated</a>)" is true only after the ending point of AGT, when "(<a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViBBJwpEbGdrcN5Y29ycA" class="cyc_term">isa</a> AGT <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvsaaeJwpEbGdrcN5Y29ycA" class="cyc_term">Agent_Generic</a>)" is no longer true. Instances include defunct organizations and dead animals. AgentNowTerminated former agent A specialization of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjaApwpEbGdrcN5Y29ycA" class="cyc_term">Individual</a>, and an instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rZ4U-5JX-QdeNoJn93NBKEQ" class="cyc_term">HistoricalCollection</a> and <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4roBs6aphbQdeBmpdRzdrxxA" class="cyc_term">PostExistenceCollection</a> (qq.v.). Each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4ra50_OGkMEdaAAACQJ5T1Bg" class="cyc_term">AgentNowTerminated</a> is an instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvsaaeJwpEbGdrcN5Y29ycA" class="cyc_term">Agent_Generic</a> that has terminated. "(<a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViBBJwpEbGdrcN5Y29ycA" class="cyc_term">isa</a> AGT <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4ra50_OGkMEdaAAACQJ5T1Bg" class="cyc_term">AgentNowTerminated</a>)" is true only after the ending point of AGT, when "(<a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViBBJwpEbGdrcN5Y29ycA" class="cyc_term">isa</a> AGT <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvsaaeJwpEbGdrcN5Y29ycA" class="cyc_term">Agent_Generic</a>)" is no longer true. Instances include defunct organizations and dead animals. AgentNowTerminated former agent