]> 2009/04/07 OpenCyc Knowledge Base Copyright© 2001-2009 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. Mappings between OpenCyc terms and Wikipedia article names provided by Olena Medelyan and Catherine Legg, University of Waikato, NZ under a Creative Commons Attribution 3.0 license. 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. ClearingAnEnemy To clear an enemy from an area means to remove all enemy forces and eliminate organized resistance in the area. This may be accomplished by destroying, capturing, or forcing the withdrawal of the enemy from the area. Mx4rvz9aXpwpEbGdrcN5Y29ycA clearing an enemy have cleared an enemy have cleared clears cleared clear had cleared an enemy will have cleared clear an enemy has cleared had cleared clearing will have cleared an enemy will clear has cleared an enemy clears an enemy cleared an enemy will clear an enemy MilitaryTaskedActionType type of military task The collection of all types of <a href="http://sw.opencyc.org/2009/04/07/concept/en/PurposefulAction" class="cyc_term">PurposefulAction</a> that can be assigned as tasks (cf. <a href="http://sw.opencyc.org/2009/04/07/concept/en/unitAssignedToTask" class="cyc_term">unitAssignedToTask</a>) to a military unit (cf. <a href="http://sw.opencyc.org/2009/04/07/concept/en/ModernMilitaryUnit_Deployable" class="cyc_term">ModernMilitaryUnit_Deployable</a>). Examples of instances of <a href="http://sw.opencyc.org/2009/04/07/concept/en/MilitaryTaskedActionType" class="cyc_term">MilitaryTaskedActionType</a> are <a href="http://sw.opencyc.org/2009/04/07/concept/en/AttackOnObject" class="cyc_term">AttackOnObject</a> and <a href="http://sw.opencyc.org/2009/04/07/concept/en/PhysicalDestructionEvent" class="cyc_term">PhysicalDestructionEvent</a>. It is not assumed that any spec whatsoever of <a href="http://sw.opencyc.org/2009/04/07/concept/en/MilitaryAction" class="cyc_term">MilitaryAction</a> is an instance of <a href="http://sw.opencyc.org/2009/04/07/concept/en/MilitaryTaskedActionType" class="cyc_term">MilitaryTaskedActionType</a> : e.g., the collection of tasks to be performed by UNIT003 by 3 pm on July 31 might well be a spec of <a href="http://sw.opencyc.org/2009/04/07/concept/en/MilitaryAction" class="cyc_term">MilitaryAction</a>, but it shouldn't be a military task _type_ in its own right. (In other words: this collection does not include the powerset of <a href="http://sw.opencyc.org/2009/04/07/concept/en/MilitaryAction" class="cyc_term">MilitaryAction</a>.) A specialization of <a href="http://sw.opencyc.org/2009/04/07/concept/en/ObjectType" class="cyc_term">ObjectType</a> (q.v.) whose instances are all and only those collections that are temporally object-like. A collection <code><b>COL</b></code> is temporally object-like just in case it generally holds that any proper purely temporal parts (see <a href="http://sw.opencyc.org/2009/04/07/concept/en/timeSlices" class="cyc_term">timeSlices</a>) of an instance of <code><b>COL</b></code> is not itself an instance of <code><b>COL</b></code>. More precisely, a collection <code><b>COL</b></code> is an instance of <a href="http://sw.opencyc.org/2009/04/07/concept/en/TemporalObjectType" class="cyc_term">TemporalObjectType</a> just in case it satisfies the following: For any distinct <code><b>OBJ1</b></code> and <code><b>OBJ2</b></code>, if <code>(<a href="http://sw.opencyc.org/2009/04/07/concept/en/isa" class="cyc_term">isa</a> <b>OBJ1</b> <b>COL</b>)</code> and <code>(<a href="http://sw.opencyc.org/2009/04/07/concept/en/timeSlices" class="cyc_term">timeSlices</a> <b>OBJ1</b> <b>OBJ2</b>)</code>, then <i>not</i> <code>(<a href="http://sw.opencyc.org/2009/04/07/concept/en/isa" class="cyc_term">isa</a> <b>OBJ2</b> <b>COL</b>)</code>. <p/> For example, none of the proper time-slices of a <a href="http://sw.opencyc.org/2009/04/07/concept/en/CalendarYear" class="cyc_term">CalendarYear</a> is itself a calendar year. Likewise for <a href="http://sw.opencyc.org/2009/04/07/concept/en/TakingAStep" class="cyc_term">TakingAStep</a>. So <a href="http://sw.opencyc.org/2009/04/07/concept/en/CalendarYear" class="cyc_term">CalendarYear</a> and <a href="http://sw.opencyc.org/2009/04/07/concept/en/TakingAStep" class="cyc_term">TakingAStep</a> are both instances of <a href="http://sw.opencyc.org/2009/04/07/concept/en/TemporalObjectType" class="cyc_term">TemporalObjectType</a>. Conversely, a proper time-slice of a given <a href="http://sw.opencyc.org/2009/04/07/concept/en/Date" class="cyc_term">Date</a> might itself be a <a href="http://sw.opencyc.org/2009/04/07/concept/en/Date" class="cyc_term">Date</a> (e.g. an hour has minutes and seconds as time-slices); so <a href="http://sw.opencyc.org/2009/04/07/concept/en/Date" class="cyc_term">Date</a> is <i>not</i> a temporal-object-type. <p/> See <a href="http://sw.opencyc.org/2009/04/07/concept/en/TemporalStuffType" class="cyc_term">TemporalStuffType</a> for the disjoint notion of being temporally stuff-like. temporal object type TemporalObjectType prettyString Pretty String (<a href="http://sw.opencyc.org/2009/04/07/concept/en/prettyString" 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/2009/04/07/concept/en/prettyString" 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. ClearingAnEnemy To clear an enemy from an area means to remove all enemy forces and eliminate organized resistance in the area. This may be accomplished by destroying, capturing, or forcing the withdrawal of the enemy from the area. clearing an enemy ClearingAnEnemy To clear an enemy from an area means to remove all enemy forces and eliminate organized resistance in the area. This may be accomplished by destroying, capturing, or forcing the withdrawal of the enemy from the area. clearing an enemy physical destruction event The collection of all <a href="http://sw.opencyc.org/2009/04/07/concept/en/DestructionEvent" class="cyc_term">DestructionEvent</a>s in which something <a href="http://sw.opencyc.org/2009/04/07/concept/en/PartiallyTangible" class="cyc_term">PartiallyTangible</a> is destroyed via physical means. Examples include natural disasters (cf. <a href="http://sw.opencyc.org/2009/04/07/concept/en/DisasterEvent" class="cyc_term">DisasterEvent</a>), <a href="http://sw.opencyc.org/2009/04/07/concept/en/KillingByOrganism" class="cyc_term">KillingByOrganism</a>s, and dissassemblings (cf. <a href="http://sw.opencyc.org/2009/04/07/concept/en/TakingApartAnArtifact" class="cyc_term">TakingApartAnArtifact</a>). For cases where at least some portion of the thing destroyed becomes incorporated into a new created thing, see the more specialized <a href="http://sw.opencyc.org/2009/04/07/concept/en/PhysicalTransformationEvent" class="cyc_term">PhysicalTransformationEvent</a>. See also the reifiable functions <a href="http://sw.opencyc.org/2009/04/07/concept/en/PhysicalDestructionFn" class="cyc_term">PhysicalDestructionFn</a> and <a href="http://sw.opencyc.org/2009/04/07/concept/en/PhysicalDestructionByMeansOfFn" class="cyc_term">PhysicalDestructionByMeansOfFn</a>. PhysicalDestructionEvent ClearingAnEnemy To clear an enemy from an area means to remove all enemy forces and eliminate organized resistance in the area. This may be accomplished by destroying, capturing, or forcing the withdrawal of the enemy from the area. clearing an enemy MilitaryAction military action The collection of all military tasks such as might be assigned to deployable, modern military units. A particular task is performed by one and only one unit, although other units may function in a support capacity, and subunits of the performing unit may be assigned tasks that figure as subtasks of the performing unit's assigned task. In this case the tasks of the subordinate units should be related to the overarching task of the superior unit by the <font color="#ff0000">#$subTasks</font> relation. A single unit may be assigned more than one task. Notice that this collection is a specialization of <a href="http://sw.opencyc.org/2009/04/07/concept/en/MilitaryEvent" class="cyc_term">MilitaryEvent</a>, not <a href="http://sw.opencyc.org/2009/04/07/concept/en/MilitaryOperation" class="cyc_term">MilitaryOperation</a> complex events take account of both primary tasks and their subtasks and also distinct support tasks. Instances of <a href="http://sw.opencyc.org/2009/04/07/concept/en/MilitaryAction" class="cyc_term">MilitaryAction</a> may properly figure as <a href="http://sw.opencyc.org/2009/04/07/concept/en/subEvents" class="cyc_term">subEvents</a> in an instance of <a href="http://sw.opencyc.org/2009/04/07/concept/en/MilitaryOperation" class="cyc_term">MilitaryOperation</a>.