]> 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. first-order collection FirstOrderCollection 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>. first-order collections mission type by status A collection of collections. Each instance of this collection is a collection of missions that have a particular status. For example, MissionInPlanning-Status is the collection of missions that are still in the planning stages. MissionTypeByStatus microtheory conversion task MicrotheoryConversionTask SaleTypeByTenderType sale type by tender type A collection of specializations of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVkJVZwpEbGdrcN5Y29ycA" class="cyc_term">BuyingAnObject</a>. Each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rfliokoAwQdePEds1cRkCZQ" class="cyc_term">SaleTypeByTenderType</a> is a type of buying, or selling, in which the same type of tender is used. For example, <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViNA5wpEbGdrcN5Y29ycA" class="cyc_term">CreditSale</a> and <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjIRZwpEbGdrcN5Y29ycA" class="cyc_term">SaleByCheck</a> are instances of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rfliokoAwQdePEds1cRkCZQ" class="cyc_term">SaleTypeByTenderType</a>. Consider an axiom of the form (P -&gt; Q). If P is true, we might want the system to go ahead and conclude Q. On the other hand, we might want it just to verify that Q is true and complain if it is not. If later Q is retracted, we might want the system to immediately complain, or to detect this at its leisure. All this is indicated by placing instances of the collection <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rKkDX8nSwEdaAAACgyZzFrg" class="cyc_term">AssertionConclusionType</a> as the arg2 of the predicate <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViKI5wpEbGdrcN5Y29ycA" class="cyc_term">assertionConclusionActionType</a>, with the rule in question being the arg1. See the comments on the instances of the collection <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rKkDX8nSwEdaAAACgyZzFrg" class="cyc_term">AssertionConclusionType</a> for further details. AssertionConclusionType assertion conclusion type RocketEngineTypeByFuelType A faceting collection on <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwJQEcJwpEbGdrcN5Y29ycA" class="cyc_term">RocketEngine</a>. It includes two instances: <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4r8694ZKHrEdyAAAACs6hbjw" class="cyc_term">RocketEngine_LiquidFueled</a> and <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4r9ei4AqHrEdyAAAACs6hbjw" class="cyc_term">RocketEngine_SolidFueled</a>. rocket engine type by fuel type Event-StateLevel-Positive positive state-level event AccountTypeByStatus account status A collection of collections. Each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rVYGR0HSxEdaAAACgyZzFrg" class="cyc_term">AccountTypeByStatus</a> is the collection of accounts with a particular type of status such as <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rfudujnS5EdaAAACgyZzFrg" class="cyc_term">PaidInFull</a>, <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4r3aRZ6nS_EdaAAACgyZzFrg" class="cyc_term">AccountInactive</a> etc.. These collections represent the property the account has when it has that status. DesignTask design task An instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rHQdVmB_TEdaAAABQ2rksLw" class="cyc_term">SecondOrderCollection</a>. Instances are collections ofinstances of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVieP5wpEbGdrcN5Y29ycA" class="cyc_term">PurposefulAction</a>, bound together by a common goal of producing a <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVivMpwpEbGdrcN5Y29ycA" class="cyc_term">Design</a> that meets some specification as given in the task description. A <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rHQdVmB_TEdaAAABQ2rksLw" class="cyc_term">SecondOrderCollection</a>. Each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4ramEtqsmOEdqAAACQJw5drg" class="cyc_term">TriggerableDeviceType</a> is a specialization of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjHL5wpEbGdrcN5Y29ycA" class="cyc_term">PhysicalDevice</a> whose instances typically have a <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVkKh5wpEbGdrcN5Y29ycA" class="cyc_term">TriggeringMechanism</a> as a proper physical part. Notable instances include <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rTwa6QMmMEdqAAACQJw5drg" class="cyc_term">Device_Armed</a>, <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4r6r_r9smQEdqAAACQJw5drg" class="cyc_term">Device_Disarmed</a>, <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwQBuo5wpEbGdrcN5Y29ycA" class="cyc_term">Gun</a>, <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwQriRZwpEbGdrcN5Y29ycA" class="cyc_term">Bomb</a>, <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwSrO9ZwpEbGdrcN5Y29ycA" class="cyc_term">AlarmDevice</a>, <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVis8pwpEbGdrcN5Y29ycA" class="cyc_term">TrapDevice</a>. TriggerableDeviceType triggerable device type motorcycle model MotorcycleTypeByBodyStyle A collection of collections, each element of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvYos3pwpEbGdrcN5Y29ycA" class="cyc_term">MotorcycleTypeByBodyStyle</a> is a collection of motorcycles which share a particular body style, e.g., dirt bikes, choppers, panheads. PersonTypeByCreditStatus credit status attribute temporally existing thing type by ending date TemporallyExistingThingTypeByEndingDate computer code type by executability ComputerCodeTypeByExecutability A collection of collections. Each instance is a spec of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwIZO5pwpEbGdrcN5Y29ycA" class="cyc_term">ComputerCode</a> whose instances are all of the same executability. sports computer game program type by genre A collection of collections. Each instance of <font color="#ff0000">#$ComputerSportsGameGenreType</font> is a collection of instances of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjmuJwpEbGdrcN5Y29ycA" class="cyc_term">ComputerGameProgram</a> that are of a certain sports genre or style; e.g. collections of games simulating bowling or American football etc.. SportsComputerGameProgramTypeByGenre ReedWoodwindInstrumentTypeByNumberOfReeds A collection of collections. Each instance is a spec of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rveimI5wpEbGdrcN5Y29ycA" class="cyc_term">ReedWoodwindInstrument</a> whose instances are all of the same number of reeds. type of reed instrument classified by number of reeds type of stuff StuffType A collection of collections. Each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVir35wpEbGdrcN5Y29ycA" class="cyc_term">StuffType</a> is a collection that is stuff-like in at least one respect. A collection <code><b>COL</b></code> is stuff-like just in case there is some sense of 'part' according to which every part of an instance of <code><b>COL</b></code> is itself an instance of <code><b>COL</b></code>. More precisely, for a collection to be an instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVir35wpEbGdrcN5Y29ycA" class="cyc_term">StuffType</a> it is sufficient that there be some spec-pred <code><b>PARTPRED</b></code> of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVj7bpwpEbGdrcN5Y29ycA" class="cyc_term">parts</a> (that is, some predicate <code><b>PARTPRED</b></code> for which<code> (<a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVtJUZwpEbGdrcN5Y29ycA" class="cyc_term">genlPreds</a> <b>PARTPRED</b> <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVj7bpwpEbGdrcN5Y29ycA" class="cyc_term">parts</a>)</code> holds), such that if <code>(<a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViBBJwpEbGdrcN5Y29ycA" class="cyc_term">isa</a> <b>OBJECT1</b> <b>COL</b>)</code> and <code>(<b>PARTPRED</b> <b>OBJECT1</b> <b>OBJECT2</b>)</code>, then <code>(<a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViBBJwpEbGdrcN5Y29ycA" class="cyc_term">isa</a> <b>OBJECT2</b> <b>COL</b>)</code>. Here are two examples. Consider <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVi3c5wpEbGdrcN5Y29ycA" class="cyc_term">Breathing</a>. Take an instance of that, say a ten minute long period in which a person is breathing. Imagine some two minute snippet of that, one of its <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvWn4OZwpEbGdrcN5Y29ycA" class="cyc_term">timeSlices</a> (a spec-pred of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVj7bpwpEbGdrcN5Y29ycA" class="cyc_term">parts</a>). That, too, is an instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVi3c5wpEbGdrcN5Y29ycA" class="cyc_term">Breathing</a>. So <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVi3c5wpEbGdrcN5Y29ycA" class="cyc_term">Breathing</a> is a <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVir35wpEbGdrcN5Y29ycA" class="cyc_term">StuffType</a>, since all <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvWn4OZwpEbGdrcN5Y29ycA" class="cyc_term">timeSlices</a> of an instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVi3c5wpEbGdrcN5Y29ycA" class="cyc_term">Breathing</a> are also instances of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVi3c5wpEbGdrcN5Y29ycA" class="cyc_term">Breathing</a>. <p/> Consider <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjAHZwpEbGdrcN5Y29ycA" class="cyc_term">Water</a>. Take any instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjAHZwpEbGdrcN5Y29ycA" class="cyc_term">Water</a> -- say the water in the Pacific Ocean. Now take any portion of that water -- say a handful of it that a person scoops up near Honolulu, one of its <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVkGOJwpEbGdrcN5Y29ycA" class="cyc_term">physicalPortions</a> (a spec-pred of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVj7bpwpEbGdrcN5Y29ycA" class="cyc_term">parts</a>). That handful is itself an instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjAHZwpEbGdrcN5Y29ycA" class="cyc_term">Water</a>. Hence <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjAHZwpEbGdrcN5Y29ycA" class="cyc_term">Water</a> is a <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVir35wpEbGdrcN5Y29ycA" class="cyc_term">StuffType</a>, in virtue of the fact that all <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVkGOJwpEbGdrcN5Y29ycA" class="cyc_term">physicalPortions</a> of all instances <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjAHZwpEbGdrcN5Y29ycA" class="cyc_term">Water</a> are themselves instances of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjAHZwpEbGdrcN5Y29ycA" class="cyc_term">Water</a>. <p/> Other examples are: <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvf9sZJwpEbGdrcN5Y29ycA" class="cyc_term">AspatialInformationStore</a>, which is stuff-like with respect <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjCQJwpEbGdrcN5Y29ycA" class="cyc_term">containsInformation</a>; <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvWEA25wpEbGdrcN5Y29ycA" class="cyc_term">CharacterString</a>, which is stuff-like with respect to <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwLSD2ZwpEbGdrcN5Y29ycA" class="cyc_term">subCharacterStrings</a>; and <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvtUAU5wpEbGdrcN5Y29ycA" class="cyc_term">List</a>, which is stuff-like with respect to <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwQxEhZwpEbGdrcN5Y29ycA" class="cyc_term">subLists</a>. These examples are somewhat exceptional -- most <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVir35wpEbGdrcN5Y29ycA" class="cyc_term">StuffType</a>s are like the examples of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVi3c5wpEbGdrcN5Y29ycA" class="cyc_term">Breathing</a> and <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjAHZwpEbGdrcN5Y29ycA" class="cyc_term">Water</a>. See <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVirnZwpEbGdrcN5Y29ycA" class="cyc_term">ObjectType</a>, for the contrasting (but not disjoint) notion of being object-like. Stuff Type WRT Pred Fn Time Slices (StuffTypeWRTPredFn timeSlices) TerroristTypeByCitizenship A <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvprlOZwpEbGdrcN5Y29ycA" class="cyc_term">FacetingCollectionType</a>. Each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rbHm3ED__EdqAAACQJw5drg" class="cyc_term">TerroristTypeByCitizenship</a> is a collection of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rva-nGZwpEbGdrcN5Y29ycA" class="cyc_term">Terrorist</a>s who are <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViACJwpEbGdrcN5Y29ycA" class="cyc_term">citizens</a> of the same <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjl2pwpEbGdrcN5Y29ycA" class="cyc_term">GeopoliticalEntity</a>. type of terrorist classified by citizenship A collection of collections, each element of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvrbKSpwpEbGdrcN5Y29ycA" class="cyc_term">MotorcycleTypeByBrand</a> is a collection of motorcycles produced by a particular manufacturer, e.g., Harley Davidson. motorcycle brand MotorcycleTypeByBrand A facet of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rcWiFsHkpQdiUm4OmCUd8MA" class="cyc_term">ComputerUserInteractiveSession</a>. Each instance COLL is such that there is a program PROGRAM such that all and only the members of COLL have PROGRAM as their <font color="#ff0000">#$programOfSession</font>. ComputerUserInteractiveSessionTypeByProgram computer user interactive session type by program SportsTeamTypeBySex A collection of collections. Each instance is a spec of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViwbJwpEbGdrcN5Y29ycA" class="cyc_term">SportsTeam</a> whose instances are all of the same gender. sports team type by gender A collection of collections. Each instance of this collection is a collection of firewall programs in a particular state with respect to how they assign attributes to packets. The instances of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvkVnq5wpEbGdrcN5Y29ycA" class="cyc_term">FirewallTypeByPacketTarget</a> represent features or attributes that a firewall program F assigns to a packet P that determine the fate of P when P arrives at the computer on which F is running. The most common <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvkVnq5wpEbGdrcN5Y29ycA" class="cyc_term">FirewallTypeByPacketTarget</a> are <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rv1415ZwpEbGdrcN5Y29ycA" class="cyc_term">Accept_FirewallTarget</a>, <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvprhZ5wpEbGdrcN5Y29ycA" class="cyc_term">Deny_FirewallTarget</a>, <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwRD16pwpEbGdrcN5Y29ycA" class="cyc_term">Reject_FirewallTarget</a>, <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvtUv7ZwpEbGdrcN5Y29ycA" class="cyc_term">Redirect_FirewallTarget</a>, and <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvWlRHpwpEbGdrcN5Y29ycA" class="cyc_term">Masquerade_FirewallTarget</a>. FirewallTypeByPacketTarget firewall type by packet target DurativeEventType A collection of collections. If TYPE is an instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwNyXxJwpEbGdrcN5Y29ycA" class="cyc_term">DurativeEventType</a>, each instance of TYPE is a &quot;durative event&quot; extended through time, i.e., it endures continuously between its starting and ending points, and such points are not simultaneous. As an example, writing a letter is a durative event type, since an event of this type will (except in &quot;degenerate&quot; cases) have a distinct starting point, a period of time in the middle during which writing occurs, and an end point at which the letter is written. By contrast, winning a prize is an instantaneous change: up to the moment the event takes place, you don't have the prize, after that you do. Granted, the awarding of the prize might in fact have a physical duration, but from a conceptual or logical point of view it might as well have none. If one thinks of events as the occurrence of &quot;changes&quot;, one may regard durative events as changes that intrinsically occupy a continuous, non-zero chunk of time, and non-durative events (for which see <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rv4unQpwpEbGdrcN5Y29ycA" class="cyc_term">PunctualEventType</a>) as instantaneous changes. <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rv9vChJwpEbGdrcN5Y29ycA" class="cyc_term">CumulativeEventType</a> is a proper specialization of this collection, because the cumulativity property (see the salient assertion for <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rv9vChJwpEbGdrcN5Y29ycA" class="cyc_term">CumulativeEventType</a>) implies that all process types can have temporal extension. Naturally, many <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwNyXxJwpEbGdrcN5Y29ycA" class="cyc_term">DurativeEventType</a>s are not cumulative, but rather <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rv48ocpwpEbGdrcN5Y29ycA" class="cyc_term">AccomplishmentType</a>s. type of durative event BaseWordFormTypeByEndingPhonemeType <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwKGKHZwpEbGdrcN5Y29ycA" class="cyc_term">BaseWordFormTypeByEndingPhonemeType</a> is the collection of specs of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvnu2t5wpEbGdrcN5Y29ycA" class="cyc_term">BaseWordForm</a> which represent <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvnu2t5wpEbGdrcN5Y29ycA" class="cyc_term">BaseWordForm</a>s according to ending phoneme type. Example: (<a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwIxwo5wpEbGdrcN5Y29ycA" class="cyc_term">BaseWordFormsEndingWithPhonemeTypeFn</a> <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvoGSsJwpEbGdrcN5Y29ycA" class="cyc_term">Stop_Consonant</a>) represents the collection of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvnu2t5wpEbGdrcN5Y29ycA" class="cyc_term">BaseWordForm</a>s ending with a stop. base word form type by ending phoneme type LinearObjectTypeByStraightness linear object type by straightness A <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rHQdVmB_TEdaAAABQ2rksLw" class="cyc_term">SecondOrderCollection</a> that facets and covers (see <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rv86JWpwpEbGdrcN5Y29ycA" class="cyc_term">facets_Covering</a>) the collection <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4r6A7z1B5sQdedAK6n_bYxDg" class="cyc_term">LinearObject</a>, according to how close a linear object is to being completely straight. Relative straightness, in the sense relevent here, is measured roughly in terms of the dimensionality of a space in which a linear object can be embedded. For example, a perfectly straight line segment (see <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvpuF1JwpEbGdrcN5Y29ycA" class="cyc_term">LineSegment_Straight</a>) can be embedded in a one-dimensional space; some curved line segments (e.g. <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjCI5wpEbGdrcN5Y29ycA" class="cyc_term">Arc</a>s) require at least a two-dimensional space for embedding; and other curved line segments (e.g. linear spirals) require three dimensions for embedding. The reified instances of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rBSCwcMcDEdmAAAACs0uFOQ" class="cyc_term">LinearObjectTypeByStraightness</a> include the successively-subsuming collections <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwK-dWJwpEbGdrcN5Y29ycA" class="cyc_term">LinearObject_Straight</a>, <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rNMte-MZcEdmAAAACs0uFOQ" class="cyc_term">LinearObject_Planar</a>, and <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4r6A7z1B5sQdedAK6n_bYxDg" class="cyc_term">LinearObject</a> itself. <p/> Note that the qualifier &quot;<i>roughly</i>&quot; is used above because some <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4r6A7z1B5sQdedAK6n_bYxDg" class="cyc_term">LinearObject</a>s are actually <i>poly-dimensional</i> (e.g. a piece of wire is 3-D), and we also want to distinguish between &quot;straight&quot; and &quot;planar&quot; and &quot;non-planar&quot; poly-dimensional linear objects (e.g. pins vs. staples vs. springs). So some poly-dimensional linear objects will be borderline and/or context-dependent cases with respect to which straightness category they belong to. A specialization of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rdUzR9nSwEdaAAACgyZzFrg" class="cyc_term">ObjectTypeByStyle</a> and a collection of collections. Each instance of this collection is a collection of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rv5L5vZwpEbGdrcN5Y29ycA" class="cyc_term">PropositionalConceptualWork</a>s that are of the same style. Instances of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rv5L5vZwpEbGdrcN5Y29ycA" class="cyc_term">PropositionalConceptualWork</a>s share a style if they are of the same genre or some other salient feature, like form. For example, <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4ryFwmzDF4QdiPSYzBttGHQw" class="cyc_term">Questionnaire_CW</a> is an instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4r7cbwlk1fQdmT9pzaDEAXLQ" class="cyc_term">PropositionalConceptualWorkTypeByStyle</a> because its instances share a form, namely that the instances ask questions, or are in what could be considered the 'interrogative style.' PropositionalConceptualWorkTypeByStyle work by style CardiacValveRegurgitationType cardiac valve regurgitation type type of action that involves accessing something AccessingScriptType A collection of collections. Each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjOaJwpEbGdrcN5Y29ycA" class="cyc_term">AccessingScriptType</a> is a type (i.e., a collection) of actions by which an agent may come to possess, or gain user rights to, some tangible thing. Instances of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjOaJwpEbGdrcN5Y29ycA" class="cyc_term">AccessingScriptType</a> include the collections <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjL2pwpEbGdrcN5Y29ycA" class="cyc_term">Buying</a>, <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjXvZwpEbGdrcN5Y29ycA" class="cyc_term">Renting</a>, and <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjPQpwpEbGdrcN5Y29ycA" class="cyc_term">BorrowingSomething</a>. ActionType-GenericSocial action type generic social TerroristTypeByOccupation type of terrorist classified by occupation A <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvprlOZwpEbGdrcN5Y29ycA" class="cyc_term">FacetingCollectionType</a>. Each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rNaxH1EATEdqAAACQJw5drg" class="cyc_term">TerroristTypeByOccupation</a> is a collection of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rva-nGZwpEbGdrcN5Y29ycA" class="cyc_term">Terrorist</a>s who have the same <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvp_lA5wpEbGdrcN5Y29ycA" class="cyc_term">occupation</a>. ExtremeRightWingMovement extreme right wing movement OE task RepresentationTaskType SituationTypeByPropositionalContent situation type by propositional content A <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rHQdVmB_TEdaAAABQ2rksLw" class="cyc_term">SecondOrderCollection</a>, <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rMYZeAqN5QdiN-augU_oPXA" class="cyc_term">SituationTypeByPropositionalContent</a> is a collection of types of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvYjIS5wpEbGdrcN5Y29ycA" class="cyc_term">Situation</a>. Each instance is a collection of situations that share the common feature of having a particular proposition be constitutively true of them. A sufficient condition for membership in one of the instances of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rMYZeAqN5QdiN-augU_oPXA" class="cyc_term">SituationTypeByPropositionalContent</a> is that the situation itself or some of the instances of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVi255wpEbGdrcN5Y29ycA" class="cyc_term">SomethingExisting</a> which are actors in that situation have a set of properties that entail the relevant proposition. So, if Running001 is an instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjkGpwpEbGdrcN5Y29ycA" class="cyc_term">Running</a> in which <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwQBp5JwpEbGdrcN5Y29ycA" class="cyc_term">BillClinton</a> plays the role <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVipYpwpEbGdrcN5Y29ycA" class="cyc_term">performedBy</a>, then Running001 is an instance of thes collection (<a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rMmeF7qN5QdiLX9c3YVcq1Q" class="cyc_term">SituationTypeInWhichFn</a> (<a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvvE105wpEbGdrcN5Y29ycA" class="cyc_term">relationExistsExists</a> <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVipYpwpEbGdrcN5Y29ycA" class="cyc_term">performedBy</a> <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjkGpwpEbGdrcN5Y29ycA" class="cyc_term">Running</a> <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjWoZwpEbGdrcN5Y29ycA" class="cyc_term">MaleHuman</a>)) and (<a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rMmeF7qN5QdiLX9c3YVcq1Q" class="cyc_term">SituationTypeInWhichFn</a> (<a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvvE105wpEbGdrcN5Y29ycA" class="cyc_term">relationExistsExists</a> <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjFpZwpEbGdrcN5Y29ycA" class="cyc_term">actors</a> <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViADZwpEbGdrcN5Y29ycA" class="cyc_term">Event</a> <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVi255wpEbGdrcN5Y29ycA" class="cyc_term">SomethingExisting</a>)). Each instance of this collection is a specialization of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvYjIS5wpEbGdrcN5Y29ycA" class="cyc_term">Situation</a> that is pertinent to the KMF domain. KMF salient situation type KMFSalientSituationType InformationGatheringTypeByTopicType The instances of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rk3CvJoa6QdmSBdwwtwEL5g" class="cyc_term">InformationGatheringTypeByTopicType</a> are used to facet <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVj7CpwpEbGdrcN5Y29ycA" class="cyc_term">InformationGathering</a>. All of the collections that are instances of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rk3CvJoa6QdmSBdwwtwEL5g" class="cyc_term">InformationGatheringTypeByTopicType</a> are such that their instances all share a common value for <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvjyAIZwpEbGdrcN5Y29ycA" class="cyc_term">topicOfIndividual</a>. information gathering type by topic type 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 legality ActionTypeByLegality A collection of collections that indicate the legality of actions. Instances of this collection include <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvXkfepwpEbGdrcN5Y29ycA" class="cyc_term">LegalAction</a>, <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvnndOZwpEbGdrcN5Y29ycA" class="cyc_term">IllegalAction</a>, and <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvwQmjZwpEbGdrcN5Y29ycA" class="cyc_term">QuestionablyLegal</a>. A collection of attributes. Each instance is an indicator of how reliable the sources of a given <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvlZp1pwpEbGdrcN5Y29ycA" class="cyc_term">WrittenReportOnSituation</a> are considered to be, collectively speaking. See also <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rqa4TEH8AEdaAAAABAjVgzA" class="cyc_term">reliabilityOfReportSources</a>. ReportTypeBySourceReliability report type by reliability EmploymentStatusType employment status A collection of collections. Each instance of this collection is a collection of agents that represents a particular employment status with respect to a particular organization. For instance, (<a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rgJ9GBOfPQdeUv-iQfW8mqw" class="cyc_term">EmployeeFn</a> <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvlyJBZwpEbGdrcN5Y29ycA" class="cyc_term">MobilCorporation</a>) is the collection of employees of Mobil Corporation and represents the property of &quot;being an employee of Mobil Corporation&quot;. expensiveness forms of human anthrax vaccines (SpecsWithQuantityFn (VaccineForAgainstFn HomoSapiens AnthraxInfection) Expensive) KMFOWLPropertyTypeByArg2Isa A faceting collection for <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rTmV8XDb1EdyAAAACs6hRXg" class="cyc_term">KMFOWLProperty</a>. Each instance of this collection is a specialization of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rTmV8XDb1EdyAAAACs6hRXg" class="cyc_term">KMFOWLProperty</a> with a specific notable <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViBF5wpEbGdrcN5Y29ycA" class="cyc_term">arg2Isa</a> constraint. KMFOWL property type by arg 2 isa The collection of types of surgical procedures that are defined in terms of other procedures and properties. DefinedSurgicalProcedureType surgical procedure type defined in terms of other procedure types temporally existing thing type by starting date TemporallyExistingThingTypeByStartingDate A collection of collections. Instances could potentially contaminate food or water. PotentialFoodOrWaterContaminantType type of potential food or water contaminant TerroristTypeByLanguageSpoken A <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvprlOZwpEbGdrcN5Y29ycA" class="cyc_term">FacetingCollectionType</a>. Each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4ryj6l2kAKEdqAAACQJw5drg" class="cyc_term">TerroristTypeByLanguageSpoken</a> is a collection of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rva-nGZwpEbGdrcN5Y29ycA" class="cyc_term">Terrorist</a>s who speak the same <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVj0iZwpEbGdrcN5Y29ycA" class="cyc_term">Language</a>. (See <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVi2fpwpEbGdrcN5Y29ycA" class="cyc_term">languageSpoken</a>.) type of terrorist classified by language spoken FoodTypeByPreparationStatus food type by preparation status IndividualTypeByNaturalnessStatus individual type by naturalness status inferior type of good or service An instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rib7StvtFEdyAAADggVbxzQ" class="cyc_term">MarketDependentGoodOrServiceCategoryType</a>. Instances are types of goods or services that, in the market under consideration, are &quot;inferior&quot; goods or services, i.e., types of items for which demand increases as income decreases and vice versa. InferiorGoodOrServiceType AssignmentTypeByResponsibility A <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rHQdVmB_TEdaAAABQ2rksLw" class="cyc_term">SecondOrderCollection</a>, instances of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rASkZMMVRQdiS4JsZtQvLoA" class="cyc_term">AssignmentTypeByResponsibility</a> are sub-collection of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4r3-sZ_qOKQdiLcdU-WcJXtw" class="cyc_term">Assignment_Specification</a> whose instances are characterized by the different responsibilities that the <font color="#ff0000">#$assignees</font> have relative to the satisfaction of that assignment. assignment type by responsibility style of dress A collection of collections. Each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rjDXV6HSwEdaAAACgyZzFrg" class="cyc_term">ClothingTypeByStyle</a> is a collection of instances of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVkEoJwpEbGdrcN5Y29ycA" class="cyc_term">SomethingToWear</a> that are each of a particular style. Individual items of clothing can be asserted to be of a particular style with the predicate <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rS1I39n8AEdaAAAABAjVgzA" class="cyc_term">clothingStyle</a>. ClothingTypeByStyle psychological stressor PsychologicalStressorType An instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rHQdVmB_TEdaAAABQ2rksLw" class="cyc_term">SecondOrderCollection</a>. Each instance of this collection is also a collection of events in which the organism in the <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVipYpwpEbGdrcN5Y29ycA" class="cyc_term">performedBy</a> or <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVi65pwpEbGdrcN5Y29ycA" class="cyc_term">objectActedOn</a> role, depending on the collection, is under some amount of pyschological stress. The level of stress experienced will depend on the event type as well as person undergoing the experience. Notable instances of this collection would include <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViBPJwpEbGdrcN5Y29ycA" class="cyc_term">DischargeWithPrejudice</a> and (<a href="http://sw.opencyc.org/2008/06/10/concept/Mx4r-PKLUtitQdaP05X8QzL73g" class="cyc_term">ObservationOfFn</a> <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwQrtcJwpEbGdrcN5Y29ycA" class="cyc_term">Murder</a>), and notable specializations of this collection include types of torture methods. Other positive examples would include the collections of events in which a person engages in combat. MachineProtocolParticipantType machine protocol participant The types of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rv6ZvwZwpEbGdrcN5Y29ycA" class="cyc_term">Artifact_Agentive</a>s participating in or employing a <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rxo_VAfHDEdaO6gABAkLVdg" class="cyc_term">MachineProtocol</a>. (SampleInstanceOfTypeForProgramFn (SpecsFn PartiallyTangible) CycAnalyticEnvironment-TheProgram) Sample Instance Of Type For Program Fn type of tangible thing the Cyc Analytic Environment A collection of collections, each element of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvc20kZwpEbGdrcN5Y29ycA" class="cyc_term">AutomobileTypeByBodyStyle</a> is a collection of instances of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViVwZwpEbGdrcN5Y29ycA" class="cyc_term">Automobile</a> which share a particular body style, e.g., sedan, hatchback. type of automobile classified by style AutomobileTypeByBodyStyle losing Losing word net speech part A collection of collections. Each element of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rGiHz-qR9EdqAAAACs4vPlg" class="cyc_term">WordNetSpeechPart</a> is a <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViBcpwpEbGdrcN5Y29ycA" class="cyc_term">SpeechPart</a>. As of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rtfZxnO-3QdibF4NWtMhnaQ" class="cyc_term">WordNet_Version2_0</a>, this is restricted to <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvojLOpwpEbGdrcN5Y29ycA" class="cyc_term">Noun</a>, <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViAfJwpEbGdrcN5Y29ycA" class="cyc_term">Verb</a>, <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViALJwpEbGdrcN5Y29ycA" class="cyc_term">Adverb</a>, and <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4r7eWH4WMnEd2GygDggVfexA" class="cyc_term">Adjective</a>. This collection is significant because it allows us to restrict the values that are sent to functions such as <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4r1kaW3H4kEdqAAAAH6Q2Zvw" class="cyc_term">WNAllCandidateDenotsForWordPOSFn_Default</a>. WordNetSpeechPart type of controllable autonomous action The collection of all types of actions that are <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwP1HmJwpEbGdrcN5Y29ycA" class="cyc_term">doneBy</a> an <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViwMZwpEbGdrcN5Y29ycA" class="cyc_term">Animal</a> which are often done automatically, but could also be intentionally <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVipYpwpEbGdrcN5Y29ycA" class="cyc_term">performedBy</a> the animal. ControllableAutonomousActionType An instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvtppU5wpEbGdrcN5Y29ycA" class="cyc_term">CollectionType</a> which is a generic faceting of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rv-6HepwpEbGdrcN5Y29ycA" class="cyc_term">TransportationEvent</a>. Each instance is a collection of translation processes characterized by a single type of vehicular <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjB2JwpEbGdrcN5Y29ycA" class="cyc_term">transporter</a>: <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViVwZwpEbGdrcN5Y29ycA" class="cyc_term">Automobile</a>, <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjIJZwpEbGdrcN5Y29ycA" class="cyc_term">Train_TransportationDevice</a>, <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVirIJwpEbGdrcN5Y29ycA" class="cyc_term">Ship</a>, etc.. For reifying collections that are instances of this collection, see <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvaMpl5wpEbGdrcN5Y29ycA" class="cyc_term">TravelingByMeansOfFn</a>. TransportationEventByVehicleType transportation by vehicle type query specification type by visualization type <p/> QuerySpecificationTypeByVisualizationType A collection of collections. Each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rR9q_HHSwEdaAAACgyZzFrg" class="cyc_term">RoadwayTypeByClassification</a> is a collection of roads that share a particular importance within a given road system. The importance of a road is conventionally evaluated in relation to nearby particular road(s) or a given area or again a certain type of activity conducted in a particular area. road classification attribute RoadwayTypeByClassification Object Type WRT Pred Fn Proper Sub Situations (ObjectTypeWRTPredFn properSubSituations) Feature feature type of database query information DBQueryInfoType Instances of this <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViAzJwpEbGdrcN5Y29ycA" class="cyc_term">Collection</a> are used to organize queries for applications and prototypes that use the predicate <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvWNziZwpEbGdrcN5Y29ycA" class="cyc_term">profileDBQueries</a> (q.v.). FoodTypeByOccasion food type by occasion CycTaskSchedulerTask The collection of tasks that are specified to be scheduled by the <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rNoRW81uxEdaTMwACs0uEEQ" class="cyc_term">CycTaskScheduler</a>. Every such task needs to have a <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rXPEiIj0HQdeWpchzMsMTuw" class="cyc_term">SExpression</a> specified through the predicate <font color="#ff0000">#$taskSchedulerTaskExpression</font>. Each task also needs to have at least one of the following specified: i) a regular time interval through the predicate <font color="#ff0000">#$taskSchedulerTaskRegularTimeInterval</font>, ii) a time pattern through the predicate <font color="#ff0000">#$taskSchedulerTaskTimePattern</font>, or iii) a date pattern through the predicate <font color="#ff0000">#$taskSchedulerTaskDatePattern</font>. There can only be one expression, regular time interval, time pattern and date pattern specified for a given task (i.e. the predicates mentioned above are all constrained to be <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViA65wpEbGdrcN5Y29ycA" class="cyc_term">SingleEntry</a> w.r.t. their <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVoULZwpEbGdrcN5Y29ycA" class="cyc_term">arg2Format</a>). The users of the <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rNoRW9VuxEdaTMwACs0uEEQ" class="cyc_term">CycTaskSchedulerTask</a> may register themselves as users of instances of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rNoRW9VuxEdaTMwACs0uEEQ" class="cyc_term">CycTaskSchedulerTask</a> through the predicate <font color="#ff0000">#$taskSchedulerTaskUser</font>. There are four more predicates used by the <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rNoRW9VuxEdaTMwACs0uEEQ" class="cyc_term">CycTaskSchedulerTask</a> in order to inform the user of the time/date a given task was last performed and the time/date the task is scheduled to be performed next; see <font color="#ff0000">#$taskSchedulerTaskLastPerformanceTime</font>, <font color="#ff0000">#$taskSchedulerTaskLastPerformanceDate</font>, <font color="#ff0000">#$taskSchedulerTaskNextPerformanceTime</font>, and <font color="#ff0000">#$taskSchedulerTaskNextPerformanceDate</font>. Please see <font color="#ff0000">#$GreeterTask</font> for an example. cyc task scheduler task DocumentationTask An instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rHQdVmB_TEdaAAABQ2rksLw" class="cyc_term">SecondOrderCollection</a>. Instances are collections of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVieP5wpEbGdrcN5Y29ycA" class="cyc_term">PurposefulAction</a>s with the goal of producing documentation. documentation task style A collection of collections. Each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rdUzR9nSwEdaAAACgyZzFrg" class="cyc_term">ObjectTypeByStyle</a> is a collection of things that share a particular style/genre/school. ObjectTypeByStyle PersonTypeByCreditCardPaymentTendency person type by credit card payment tendency analysis procedure AnalysisProcedure artist performer type by performance type A collection of collections. Each instance is a spec of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjjEJwpEbGdrcN5Y29ycA" class="cyc_term">Artist_Performer</a> whose instances are all of the same performance type. Artist-PerformerTypeByPerformanceType type of microtheory A collection of collections. Each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjm6JwpEbGdrcN5Y29ycA" class="cyc_term">MicrotheoryType</a> is a specialization of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViA1ZwpEbGdrcN5Y29ycA" class="cyc_term">Microtheory</a>. Instances of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjm6JwpEbGdrcN5Y29ycA" class="cyc_term">MicrotheoryType</a> include the collections <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVik8ZwpEbGdrcN5Y29ycA" class="cyc_term">HypotheticalContext</a> and <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViRl5wpEbGdrcN5Y29ycA" class="cyc_term">GeneralMicrotheory</a>. MicrotheoryType <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rOfMQsHRHQdeJYZRfBaKzIQ" class="cyc_term">NationalGovernmentalOfficeType</a> is a collection of collections. Each instance is a collection of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvjTQFJwpEbGdrcN5Y29ycA" class="cyc_term">JobPosition</a>s in <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rv3HKmpwpEbGdrcN5Y29ycA" class="cyc_term">GovernmentalOrganization</a>s, and *not* the people filling those offices. Positive examples include senate offices, presidential offices, and even congressional aides' offices. national governmental office type NationalGovernmentalOfficeType <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4r-S-5BGDxQdmAeqmC2REvFw" class="cyc_term">CreditCardTypeByBalanceCarryFeature</a> is a specialization of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rHQdVmB_TEdaAAABQ2rksLw" class="cyc_term">SecondOrderCollection</a> that strictly facets <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjO6pwpEbGdrcN5Y29ycA" class="cyc_term">CreditCard</a>. Each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4r-S-5BGDxQdmAeqmC2REvFw" class="cyc_term">CreditCardTypeByBalanceCarryFeature</a> is a specialization of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjO6pwpEbGdrcN5Y29ycA" class="cyc_term">CreditCard</a>, instances of which either uniformly allow revolving accounts or uniformly disallow revolving accounts. CreditCardTypeByBalanceCarryFeature credit card type by balance carry feature instances are the various results a trial can have. VerdictOfTrial verdict MP3Player-GenericTypeByPhysicality A collection of collections. Each instance is a spec of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvbNi65wpEbGdrcN5Y29ycA" class="cyc_term">MP3Player_Generic</a> whose instances are all of the same physicality. type of MP3 player classified by physicality CultureClassificationType type of culture A collection of collections of instances of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvhZiPpwpEbGdrcN5Y29ycA" class="cyc_term">Culture_Practice</a>. Each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwKkfiJwpEbGdrcN5Y29ycA" class="cyc_term">CultureClassificationType</a> is a collection of cultures; interesting instances correspond to noteworthy features that individual cultures can be classified in terms of, e.g. <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvkZPIZwpEbGdrcN5Y29ycA" class="cyc_term">RegionalCulture</a> and <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwHENW5wpEbGdrcN5Y29ycA" class="cyc_term">SexualCulture</a>. This is a collection of specializations of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVieP5wpEbGdrcN5Y29ycA" class="cyc_term">PurposefulAction</a>. Instances of this collection represent the different types of action which make up the military decision-making process. Specializations of this collection include <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rQspgLInrEdaAAAACs1uxFw" class="cyc_term">METT_TC_EvaluationType</a> and COASpecificationDimension. MilitaryDecisionMakingActionType type of action involved in the military decision-making process time parameter This is a sub-collection of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rTIA_nqZtEdaAAACgycbRfg" class="cyc_term">ModalIndex</a>. Each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rT2stuKZtEdaAAACgycbRfg" class="cyc_term">TimeParameter</a> can be used as a `parameter of time index' of formulas. When a formula PROP is asserted, by hand or inferred, with time index (<a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViAw5wpEbGdrcN5Y29ycA" class="cyc_term">TimeInterval</a>) t and time parameter (<a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rT2stuKZtEdaAAACgycbRfg" class="cyc_term">TimeParameter</a>) p (and other indices), PROP is taken to be true at t as well as every time interval t0 that is properly subsumed by t such that (<a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rRkzDWrO-EdaAAACgycbRfg" class="cyc_term">temporallySubsumes_InsType</a> t0 p) holds (other indices fixed). For example, suppose that a formula PROP is asserted with (in addition to indices i_0, ..., i_k) the time index 05/01/02 and the time parameter <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViCPpwpEbGdrcN5Y29ycA" class="cyc_term">CalendarSecond</a>. This means that PROP is taken to be true not only at 05/01/02, but also at each calendar hour and each calendar second temporally subsumed by 05/01/02 (with all other indices i_0, ..., i_k fixed). There are two kinds of time parameters, one kind is <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rUZ_j-rTBEdaAAACgycbRfg" class="cyc_term">SameLengthTimeIntervalType</a>, and each time parameter of this kind contains time intervals of the same length (the so-called `sliding' time parameters); and the other kind includes the rest of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rT2stuKZtEdaAAACgycbRfg" class="cyc_term">TimeParameter</a>, and each time parameter of that kind contains time intervals, often disjoint, which are fixed on the time line. Among the second type of time parameters, there is an important class, <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4r0ibdqMBbEdaAAACgycbRfg" class="cyc_term">ConventionallyClassifiedTimeIntervalSeries</a>, which is used for reasoning with metric tenses. TimeParameter linear object type by dimensions LinearObjectTypeByDimensions A second-order collection that facets and partitions (see <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwA9k15wpEbGdrcN5Y29ycA" class="cyc_term">facets_Partition</a>) the collection <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4r6A7z1B5sQdedAK6n_bYxDg" class="cyc_term">LinearObject</a> (q.v.), according to how many spatial dimensions a linear-object has. Geometric lines and line-segments are of course one-dimensional. In a two-dimensional contexts, however, certain &quot;ribbon&quot;-shaped regions (e.g. rivers depicted on a map) might be treated as lines. And in three-dimensional contexts (e.g. the physical world), certain long thin 3-D tangible objects (e.g. wires or pencil markings) are often treated as lines. The instances of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4r38aPLMmFEdmAAAACs0uFOQ" class="cyc_term">LinearObjectTypeByDimensions</a> are thus: <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4r0pGnmMbrEdmAAAACs0uFOQ" class="cyc_term">LinearObject_OneDimensional</a>, <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rfsk6XsbrEdmAAAACs0uFOQ" class="cyc_term">LinearObject_TwoDimensional</a>, and <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4r4TKF-sb2EdmAAAACs0uFOQ" class="cyc_term">LinearObject_ThreeDimensional</a>. <p/> Note that some poly-dimensional objects will be borderline and/or context-dependent cases with respect to whether they are <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4r6A7z1B5sQdedAK6n_bYxDg" class="cyc_term">LinearObject</a>s, as opposed to being <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvg1ZeJwpEbGdrcN5Y29ycA" class="cyc_term">Surface</a>s or solids. A collection of specializations of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjIBJwpEbGdrcN5Y29ycA" class="cyc_term">SaleByCreditCard</a>. Each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rfliokoAwQdePEds1cRkCZQ" class="cyc_term">SaleTypeByTenderType</a> is a type of buying, or selling, in which the same type of credit card is used. For example, <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4ri6JS7kPMQdmXCrh2OokZGg" class="cyc_term">SaleByVisa</a> and <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rjMio0EPMQdmBzpYpSJcdvA" class="cyc_term">SaleByMasterCard</a> are instances of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rqU-qrkPLQdmYOM6DnebT8Q" class="cyc_term">SaleTypeByCreditCardType</a>. SaleTypeByCreditCardType sale type by credit card type ObjectType The collection of all collections that are &quot;object-like&quot; in at least one respect. A collection <code><b>COL</b></code> is object-like just in case there is some sense of 'part' according to which any (or nearly any) given proper part of an instance of <code><b>COL</b></code> is <i>not</i> itself an instance of <code><b>COL</b></code>; when this happens <code><b>COL</b></code> is said to be object-like with respect to that sense of 'part'. <p/> More precisely, for a collection <code><b>COL</b></code> to be an instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVirnZwpEbGdrcN5Y29ycA" class="cyc_term">ObjectType</a> it is sufficient that there be some specialization <code><b>PARTPRED</b></code> of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwgfukKs8QdePzLB9nLNpTw" class="cyc_term">properParts</a> such that, for any <code><b>OBJ1</b></code> and <code><b>OBJ2</b></code>, if <code>(<a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViBBJwpEbGdrcN5Y29ycA" class="cyc_term">isa</a> <b>OBJ1</b> <b>COL</b>)</code> and <code>(<b>PARTPRED</b> <b>OBJ1</b> <b>OBJ2</b>)</code> both hold, then <code>(<a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViBBJwpEbGdrcN5Y29ycA" class="cyc_term">isa</a> <b>OBJ2</b> <b>COL</b>)</code> does <i>not</i> hold. (Also sufficient for <code><b>COL</b></code>'s being an object-type is that there be some specialization <code><b>INVPARTPRED</b></code> of the <i>inverse</i> of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwgfukKs8QdePzLB9nLNpTw" class="cyc_term">properParts</a> (see <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvWHsNJwpEbGdrcN5Y29ycA" class="cyc_term">genlInverse</a>) such that <code>(<b>INVPARTPRED</b> <b>OBJ2</b> <b>OBJ1</b>)</code>, with everything else remaining the same as above.) Note that neither of the above sufficient conditions for <code><b>COL</b></code>'s being an object-type is strictly necessary: some exceptions are allowed. Thus as long as either one of the above conditionals holds in <i>nearly</i> all cases, <code><b>COL</b></code> should be considered an instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVirnZwpEbGdrcN5Y29ycA" class="cyc_term">ObjectType</a>. <p/> Here are two examples. Consider <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViVwZwpEbGdrcN5Y29ycA" class="cyc_term">Automobile</a>. Take an instance of that, say my car. Now consider one of the proper <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVj5FpwpEbGdrcN5Y29ycA" class="cyc_term">physicalParts</a> of my car, say the steering wheel. The steering wheel is <i>not</i> an instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViVwZwpEbGdrcN5Y29ycA" class="cyc_term">Automobile</a>. And the same would be true for any proper physical part of any car. So <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViVwZwpEbGdrcN5Y29ycA" class="cyc_term">Automobile</a> is an <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVirnZwpEbGdrcN5Y29ycA" class="cyc_term">ObjectType</a>. Consider <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjyV5wpEbGdrcN5Y29ycA" class="cyc_term">CalendarYear</a>. No proper <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvWn4OZwpEbGdrcN5Y29ycA" class="cyc_term">timeSlices</a> of a year is itself a year. So <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjyV5wpEbGdrcN5Y29ycA" class="cyc_term">CalendarYear</a> is an <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVirnZwpEbGdrcN5Y29ycA" class="cyc_term">ObjectType</a>. <p/> See <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVir35wpEbGdrcN5Y29ycA" class="cyc_term">StuffType</a> for the contrasting (though not disjoint) notion of being stuff-like. type of object computer audio file format ComputerSoundFileTypeByFormat indoctrination method type An instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rHQdVmB_TEdaAAABQ2rksLw" class="cyc_term">SecondOrderCollection</a>. Each instance of this collection is a type of event that may be used as a method to indoctrinate an instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVinb5wpEbGdrcN5Y29ycA" class="cyc_term">IntelligentAgent</a>. Some of these methods tend to lower an individual's resistance to the indoctrination and/or to distract the individual from the process of indoctrination they are undergoing, for example, <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rMkhpTi0WQdmDoLTSkTMKAw" class="cyc_term">IntentionallyPreventingOrganismsAdequateSleep</a> and <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4r4rJWAys8EdiUgAAH6RYvSQ" class="cyc_term">Isolation</a>. Or, these methods may increase the individual's dependancy on the agent preforming the indoctrination, like <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rLBP-ii0WQdmOs_jr3xeYPQ" class="cyc_term">ControllingAnAgentsMediaExposure</a> and <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rGZYHEi0WQdmVNZpP_u11vA" class="cyc_term">SigningOverOnesAssets</a>. IndoctrinationMethodType A collection of collections. Each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwOjqSpwpEbGdrcN5Y29ycA" class="cyc_term">GameProgramTypeByHardware</a> is a collection of games that can be played on a particular kind of computer system. For example, the collection of all games played on a <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvuZBeJwpEbGdrcN5Y29ycA" class="cyc_term">SonyPlayStation_TheProduct</a>, denoted by (<a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rv7PxH5wpEbGdrcN5Y29ycA" class="cyc_term">GameForSystemFn</a> <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvuZBeJwpEbGdrcN5Y29ycA" class="cyc_term">SonyPlayStation_TheProduct</a>) is an instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwOjqSpwpEbGdrcN5Y29ycA" class="cyc_term">GameProgramTypeByHardware</a>. GameProgramTypeByHardware type of game program classified by hardware HighwayDevelopmentAndMaintenanceActionType activity that contributes to the development and/or maintenance of highways A collection of collections. Instances are types of purposeful actions that involve or support the development, improvement, or maintenance of highways. (ObjectTypeWRTPredFn properPhysicalDecompositions) type of object An instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rHQdVmB_TEdaAAABQ2rksLw" class="cyc_term">SecondOrderCollection</a>. Instances are collections of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVieP5wpEbGdrcN5Y29ycA" class="cyc_term">PurposefulAction</a>s with the goal of supporting some marketing effort. See also <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwL1whZwpEbGdrcN5Y29ycA" class="cyc_term">MarketingActivity</a>. marketing task MarketingTask CycQueryTypeBySpecification cyc query type by specification A collection of collections. Each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjatpwpEbGdrcN5Y29ycA" class="cyc_term">RelationshipType</a> is a collection of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViAzZwpEbGdrcN5Y29ycA" class="cyc_term">Relation</a>s. The relations in a given relationship-type represented in the Knowledge Base are typically those sharing some common feature(s) -- often having to do with what kinds of things the relations relate (see e.g. <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvuItPZwpEbGdrcN5Y29ycA" class="cyc_term">argIsa</a> and <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvyTLHJwpEbGdrcN5Y29ycA" class="cyc_term">argGenl</a>s) -- considered significant enough that the collection of all such relations is useful to reify. Although what constitutes a &quot;significant common feature&quot; is difficult to specify precisely, there are many clear-cut cases. Examples include <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViviZwpEbGdrcN5Y29ycA" class="cyc_term">UnaryFunction</a>, <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVi5-ZwpEbGdrcN5Y29ycA" class="cyc_term">LogicalConnective</a>, <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVj62ZwpEbGdrcN5Y29ycA" class="cyc_term">IndividualDenotingFunction</a>, <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVj6CJwpEbGdrcN5Y29ycA" class="cyc_term">GenericTimePredicate</a>, and <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVj9L5wpEbGdrcN5Y29ycA" class="cyc_term">LanguageDescribingPredicate</a>. Two important specializations of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjatpwpEbGdrcN5Y29ycA" class="cyc_term">RelationshipType</a> are <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViI_pwpEbGdrcN5Y29ycA" class="cyc_term">PredicateType</a> and <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rv_hDCJwpEbGdrcN5Y29ycA" class="cyc_term">FunctionType</a>. type of relationship RelationshipType physical force type These are the types of physical forces currently recognized by <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViOapwpEbGdrcN5Y29ycA" class="cyc_term">Physics</a>, namely the <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvqBIGZwpEbGdrcN5Y29ycA" class="cyc_term">PhysicalForce_Weak</a>, <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rv6BLeZwpEbGdrcN5Y29ycA" class="cyc_term">PhysicalForce_Strong</a>, <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwNMfNZwpEbGdrcN5Y29ycA" class="cyc_term">PhysicalForce_Electromagnetic</a>, and <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjYbpwpEbGdrcN5Y29ycA" class="cyc_term">GravitationalForceVector</a>. PhysicalForceType actor actress type by performance type ActorActressTypeByPerformanceType A collection of collections. Each instance is a spec of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjaHZwpEbGdrcN5Y29ycA" class="cyc_term">Actor</a> whose instances are all of the same performance type. sufficently simple thing SufficientlySimple type of terrorist group classified by enemy TerroristGroupTypeByEnemy A <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvprlOZwpEbGdrcN5Y29ycA" class="cyc_term">FacetingCollectionType</a>. Each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rh6wsVD9TEdqAAACQJw5drg" class="cyc_term">TerroristGroupTypeByEnemy</a> is a collection of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvV7MhJwpEbGdrcN5Y29ycA" class="cyc_term">TerroristGroup</a>s that share a common enemy. (See <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVi2ipwpEbGdrcN5Y29ycA" class="cyc_term">considersAsEnemy</a>.) act commonly considered criminal ActTypeCommonlyConsideredCriminal A <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rHQdVmB_TEdaAAABQ2rksLw" class="cyc_term">SecondOrderCollection</a>. Each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4ryIOUhqKeQdiRffIfC9Y1mA" class="cyc_term">ActTypeCommonlyConsideredCriminal</a> is an action type (i.e. a specialization of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVioQZwpEbGdrcN5Y29ycA" class="cyc_term">Action</a>) that many legal systems regard as a type of criminal act. Notable instances of this collection include <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwQrtcJwpEbGdrcN5Y29ycA" class="cyc_term">Murder</a> and <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViMd5wpEbGdrcN5Y29ycA" class="cyc_term">Stealing</a>. program type by focal project type A collection of specializations of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rnberdNMHEduAAADggVbxzQ" class="cyc_term">Program</a>. Each instances is such that the purpose of each of its instances is to bring about a common type of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViqMpwpEbGdrcN5Y29ycA" class="cyc_term">Project</a>. ProgramTypeByFocalProjectType comparable scalar individuals type ComparableScalarIndividualsType A type-level instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvprlOZwpEbGdrcN5Y29ycA" class="cyc_term">FacetingCollectionType</a> designed to establish a typing on <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjaApwpEbGdrcN5Y29ycA" class="cyc_term">Individual</a>: each instance is a collection whose instances are characterized by the fact that all instances share a common and semantically or pragmatically interesting range of values on a certain set of quantifiable features (usually a (<a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwUe0s5wpEbGdrcN5Y29ycA" class="cyc_term">SetOfTypeFn</a> <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvaEcosFuQdiNopS8VV8ODg" class="cyc_term">MeasurableQuantitySlot</a>). XAttackFeature X attack feature <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjWJ5wpEbGdrcN5Y29ycA" class="cyc_term">CreditCardTypeByBrand</a> is a specialization of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rHQdVmB_TEdaAAABQ2rksLw" class="cyc_term">SecondOrderCollection</a> that facets <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjO6pwpEbGdrcN5Y29ycA" class="cyc_term">CreditCard</a>. Each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjWJ5wpEbGdrcN5Y29ycA" class="cyc_term">CreditCardTypeByBrand</a> is a specialization of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjO6pwpEbGdrcN5Y29ycA" class="cyc_term">CreditCard</a>, instances of which are all of the same brand. CreditCardTypeByBrand brand of credit card OutcomeType A collection of attributes. Elements of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rPNVqNHStEdaAAACgyZzFrg" class="cyc_term">OutcomeType</a> are <font color="#ff0000">#$AttributeValues</font> used in representing constraints that affect the outcome of different situations. Possible outcomes are elements of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rPNVqNHStEdaAAACgyZzFrg" class="cyc_term">OutcomeType</a>; e.g., <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rh3vxRHTAEdaAAACgyZzFrg" class="cyc_term">FailureOutcome</a>, <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rTBBKAnS6EdaAAACgyZzFrg" class="cyc_term">InjuryOutcome</a>, <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rfrVBqHS9EdaAAACgyZzFrg" class="cyc_term">DamageOutcome</a>. See also <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViYL5wpEbGdrcN5Y29ycA" class="cyc_term">sitConstraints</a>. outcome type <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rObPWQSFsEdaLUwCw0HTBHw" class="cyc_term">BaseWordFormTypeByEtymology</a> is the collection of specs of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvnu2t5wpEbGdrcN5Y29ycA" class="cyc_term">BaseWordForm</a> which represent <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvnu2t5wpEbGdrcN5Y29ycA" class="cyc_term">BaseWordForm</a>s according to some etymological feature. Example: <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwO4a_pwpEbGdrcN5Y29ycA" class="cyc_term">NeoClassicalBaseWordForm</a>. base word form type by etymology BaseWordFormTypeByEtymology military unit type by organizational feature MilitaryUnitTypeByOrganizationalFeature type of U.S. person classified by medical benefit provider A collection of collections. Each instance of this collection is a collection of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVj1zpwpEbGdrcN5Y29ycA" class="cyc_term">UnitedStatesPerson</a> all of whom share a particular type of medical services provision (e.g. <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvWBYlpwpEbGdrcN5Y29ycA" class="cyc_term">MedicaidPatient</a>). See also <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwTAZ4ZwpEbGdrcN5Y29ycA" class="cyc_term">HealthCarePayerType</a>. USPersonByMedicalBenefitProvider An instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rHQdVmB_TEdaAAABQ2rksLw" class="cyc_term">SecondOrderCollection</a>. Instances are collections ofinstances of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rv84DxJwpEbGdrcN5Y29ycA" class="cyc_term">Management</a>, bound together by a common goal or set of expectations. ManagementTask management task TicketTypeByHolderType A collection of collections. Each TicketTypeByHolderType is a collection of tickets authorizing participation in some instance or type of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvYjIS5wpEbGdrcN5Y29ycA" class="cyc_term">Situation</a>, for ticket holders of a particular type, such as students or senior citizens. The situation or situation type may be specified via <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwQroVJwpEbGdrcN5Y29ycA" class="cyc_term">ticketFor</a> or <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rw5et0q6HQdiZMaEF32d-zQ" class="cyc_term">ticketForSitType</a>. ticket type by holder type Gimmick gimmick movie rating MPAAAdvisoryClassification-Film A collection of subcollections of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rv973YpwpEbGdrcN5Y29ycA" class="cyc_term">Movie_CW</a>. Each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rPBitxHSwEdaAAACgyZzFrg" class="cyc_term">MPAAAdvisoryClassification_Film</a> is a collection of all movies with a common MPAA Advisory classification. For example, <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4ruLN_mnS-EdaAAACgyZzFrg" class="cyc_term">ParentalGuidance13Rating</a> is the collection of all movies that have a PG-13 rating. <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rKQoseuR3QdeFR-94hstZmw" class="cyc_term">SKSMereologyType</a> is a specialization of <font color="#ff0000">#$StructuredKnowledgeSourceType</font> which facets <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rmUy0ojIYEdaAAACQJ5pZBw" class="cyc_term">StructuredKnowledgeSource</a> according to three exhaustive conditions on the extent of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rQcT7WNWsQdaBurHnnGgG1g" class="cyc_term">subKS_Direct</a>. Please see the <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvV24FJwpEbGdrcN5Y29ycA" class="cyc_term">salientAssertions</a> for the exhaustive cases. SKS mereology type SKSMereologyType beverage type by drinker BeverageTypeByDrinker The collection of illocutionary force attributes held by illocutionary acts. Each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjYxpwpEbGdrcN5Y29ycA" class="cyc_term">IllocutionaryForce</a> is a specialized component of a communication; its function is to indicate how the speaker in a communication wants the agent(s) whom s/he is addressing to understand, and respond to, the situation--i.e., the state of affairs--described in that communication. Isolating the `illocutionary force' of a communication allows us to characterize the intention of a speaker; e.g., whether s/he means to assert that the described state of affairs in fact holds; or to express a desire that such a state of affairs hold; or to command someone to make that state of affairs hold; or to offer to make the state of affairs hold. S/he may even intend to make something true by stating it (e.g., ``I name this ship `The Intrepid'.''). Usually, apprehending a speaker's intention is important for understanding what s/he means and what s/he intends the hearer to do. Although the content of an illocutionary act can be represented propositionally, they are not generally communicated so explicitly. For example, questions in English are typically communicated by inverting subject-object word order and raising one's intonation at the end of the utterance. (The intonation marker so strongly indicates a question that it may suffice without the inverted word order, as in `You are going tonight' uttered with a rising intonation.) Commands in English typically have an (unexpressed) understood subject and perhaps a forceful tone. In every culture and language there are conventional sets of commonly used illocutionary forces which would be instances of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjYxpwpEbGdrcN5Y29ycA" class="cyc_term">IllocutionaryForce</a> for that culture; e.g., in English, they include <font color="#ff0000">#$Inform</font>, <font color="#ff0000">#$Request</font>, <font color="#ff0000">#$Offer</font>, <font color="#ff0000">#$Promise</font>, and <font color="#ff0000">#$Query</font>. Note: although in this comment <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjYxpwpEbGdrcN5Y29ycA" class="cyc_term">IllocutionaryForce</a> is explained in terms of utterances, it applies to communication generally; so `speaker' and `listener' should be broadly interpreted to mean, respectively, any <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViPLZwpEbGdrcN5Y29ycA" class="cyc_term">senderOfInfo</a> and <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVqYY5wpEbGdrcN5Y29ycA" class="cyc_term">recipientOfInfo</a>. See also <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViexZwpEbGdrcN5Y29ycA" class="cyc_term">Communicating</a>, <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVieg5wpEbGdrcN5Y29ycA" class="cyc_term">CommunicationAct_Single</a>. In <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViqDZwpEbGdrcN5Y29ycA" class="cyc_term">CycL</a>, illocutionary forces can be related to communication acts having some propositional content, via <font color="#ff0000">#$iteIllocutionaryForce</font>, or to the microtheory containing formulas expressing the information transferred in an illocutionary act with <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViN35wpEbGdrcN5Y29ycA" class="cyc_term">componentIF</a>. IllocutionaryForce illocutionary force PlantTypeByEffectOnOrganism A specialization of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvubaMZwpEbGdrcN5Y29ycA" class="cyc_term">ConventionalClassificationType</a>. Each instance of this collection is a collection of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjG4ZwpEbGdrcN5Y29ycA" class="cyc_term">Plant</a>s that has demonstrated some general effect on some kind of organisms. Notable specializations of this collection include <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4r4sjJpHbRQdiFjOjtgtliAw" class="cyc_term">HarmfulPlantType</a> and <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4r5UhjLnbRQdic4oSEiA2bNw" class="cyc_term">MedicinalPlantType</a>. plant type by effect on organism AuthenticationSourceType <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvhbGc5wpEbGdrcN5Y29ycA" class="cyc_term">AuthenticationSourceType</a> is the collection of types of sources instances of which can be used for authentication events. For example, instances of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvV5LqZwpEbGdrcN5Y29ycA" class="cyc_term">Fingerprint</a> are used to authenticate a person's identity. type of authentication source CreationTypeByMethod Each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rVQm5kOVJQdaQE49TKF8KuQ" class="cyc_term">CreationTypeByMethod</a> is a spec of PhysicalCreationEvent which is characterized by a particular method for the creation of the output. Examples include <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVizqpwpEbGdrcN5Y29ycA" class="cyc_term">Assembling</a>, <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjp8JwpEbGdrcN5Y29ycA" class="cyc_term">Mixing</a> and <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVieRpwpEbGdrcN5Y29ycA" class="cyc_term">Extruding</a>. Instances of CreationTypeByMethod are generally agnostic as to the type of thing created and the materials used, as much as they can be within the constraints of the creation method -- e.g., you can't really assemble liquids or extrude powder. creation type by method of creating A collection of collections. Each instance is a spec of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjIu5wpEbGdrcN5Y29ycA" class="cyc_term">Criminal</a> whose instances are all of the same crime type. criminal type by crime type CriminalTypeByCrimeType evaluation tone attribute AISTypeByEvaluationTone A collection of collections. Each element of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjhqZwpEbGdrcN5Y29ycA" class="cyc_term">AISTypeByEvaluationTone</a> is an collection of assertions used to specify the general tone of some assertion, group of assertions, or presentation about some topic. Examples of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjhqZwpEbGdrcN5Y29ycA" class="cyc_term">AISTypeByEvaluationTone</a>: <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViy95wpEbGdrcN5Y29ycA" class="cyc_term">PositiveTone</a>, <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjlDJwpEbGdrcN5Y29ycA" class="cyc_term">NegativeTone</a>, <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjWXZwpEbGdrcN5Y29ycA" class="cyc_term">NeutralTone</a>. JobPositionByOpeningStatus opening status of job position The collection of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvjTQFJwpEbGdrcN5Y29ycA" class="cyc_term">JobPosition</a>s faceted by opening status. Member collections include <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rrtfVpG6BEdaAAACgyZzFrg" class="cyc_term">JobOpen</a> and <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rQ6T9cG6BEdaAAACgyZzFrg" class="cyc_term">JobFilled</a>. In eukaryotic organisms, genetic sequences exhibited by all DNA and some RNA molecules have the feature that the actual coding sequence is not continuous: more specifically, the actual coding seqence is interspersed with non-coding sequences called introns (see <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvuMJXJwpEbGdrcN5Y29ycA" class="cyc_term">Intron_MolecularSegment</a>) and (<a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwNU-G5wpEbGdrcN5Y29ycA" class="cyc_term">Intron_GIS</a>). These introns have to be excised from primary transcript RNA, and the bits and pieces of the actual coding sequence (the so-called 'exons': see <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvktrS5wpEbGdrcN5Y29ycA" class="cyc_term">Exon_MolecularSegment</a> and <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvXTbFpwpEbGdrcN5Y29ycA" class="cyc_term">Exon_GIS</a>) stitched together by special-purpose enzymes to produce a functional messenger RNA molecule. <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4r1IuxUHSwEdaAAACgyZzFrg" class="cyc_term">CodingSequenceConnectivity</a> is the collection of attributes characteristic of 'interrupted' and 'uninterrupted' genetic coding sequences, respectively. Instances are <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rdDV1KnS6EdaAAACgyZzFrg" class="cyc_term">CodingSequence_Interrupted</a> and <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rmE_61nS9EdaAAACgyZzFrg" class="cyc_term">CodingSequence_Uninterrupted</a>. coding sequence connectivity CodingSequenceConnectivity The collection of valid suggestions for <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rhbf4ltcaEduAAAACs6hRXg" class="cyc_term">firstEventOrProcedureOfType</a>. FirstEventOrProcedureOfTypeAllowableSuggestions first procedure of type allowable suggestions A collection that facets (see <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvjldVJwpEbGdrcN5Y29ycA" class="cyc_term">facets_Generic</a>) the collection <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViqMpwpEbGdrcN5Y29ycA" class="cyc_term">Project</a> into subcollections. Each instance is a class of projects, every instance <code><b>INS</b></code> of which share a common situation type <code><b>SIT-TYPE</b></code> such that <code>(<a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rbeDEltMKEduAAADggVbxzQ" class="cyc_term">purposeOf_EventSitType</a> <b>INS</b> <b>SIT-TYPE</b>)</code>. project type by goal state ProjectTypeByGoalState HobbyInterest hobby interest A collection of collections. Each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rPzYb9rMFQdeaMvrHlYIrEg" class="cyc_term">HobbyInterest</a> is a subcollection of <a href="http://sw.opencyc.org/2008