]> 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. Intangible intangible The collection of things that are not physical -- are not made of, or encoded in, matter. Every <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViAzJwpEbGdrcN5Y29ycA" class="cyc_term">Collection</a> is an <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjjo5wpEbGdrcN5Y29ycA" class="cyc_term">Intangible</a> (even if its instances are tangible), and so are some <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjaApwpEbGdrcN5Y29ycA" class="cyc_term">Individual</a>s. Caution: do not confuse `tangibility' with `perceivability' -- humans can perceive light even though it's intangible--at least in a sense. For more on this issue, see the relevant #$cyclistNotes. intangibles most intangible more intangible http://en.wikipedia.org/wiki/Capital_%28economics%29 AtemporalThing atemporal thing A specialization of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjjo5wpEbGdrcN5Y29ycA" class="cyc_term">Intangible</a> (q.v.); the collection of all things that are "timeless" in the sense of having no "location" in time. It makes no sense to ask of an atemporal thing (e.g.) "When did it begin (or cease) to exist?" Examples of atemporal things include sets, collections, numbers, vectors, and certain "abstract structures" (such as the structure of a partial ordering); see <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjl_ZwpEbGdrcN5Y29ycA" class="cyc_term">SetOrCollection</a>, <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvxwC-ZwpEbGdrcN5Y29ycA" class="cyc_term">Number_General</a>, and <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjsEpwpEbGdrcN5Y29ycA" class="cyc_term">VectorInterval</a>. Note that while all atemporals are intangible, the converse is not true. Novels (see <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViJb5wpEbGdrcN5Y29ycA" class="cyc_term">Novel_CW</a>), languages, and geographical borders, for instance, are all intangible (i.e. they are not composed of or encoded in matter) but not atemporal, as they have a beginning and (in many cases) an end, and thus a temporal extent. See also the specialization <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rpJ-nSEkJQdeC8NLkYPDBBw" class="cyc_term">AbstractThing</a>; and cf. <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViAxJwpEbGdrcN5Y29ycA" class="cyc_term">TemporalThing</a>. The collection of wholly intangible individuals, a specialization of both <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjjo5wpEbGdrcN5Y29ycA" class="cyc_term">Intangible</a> and <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjaApwpEbGdrcN5Y29ycA" class="cyc_term">Individual</a>. Instances of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjj45wpEbGdrcN5Y29ycA" class="cyc_term">IntangibleIndividual</a> are immaterial, and thus do not have mass, color, or other tangible qualities. Examples include mathematical objects (such as numbers, functions, and relations), attributes, time intervals, space regions, and events. Excluded are sets and collections because, although intangible, they are not individuals. intangible individual object IntangibleIndividual A specialization of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjjo5wpEbGdrcN5Y29ycA" class="cyc_term">Intangible</a> (q.v.); the collection of all things with no spatial extent or location, either in some embedding space or relative to some <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjpUZwpEbGdrcN5Y29ycA" class="cyc_term">SpatialThing</a> (q.v.). Examples include numbers, sets, collections, novels, languages, and time intervals (see <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvxwC-ZwpEbGdrcN5Y29ycA" class="cyc_term">Number_General</a>, <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjl_ZwpEbGdrcN5Y29ycA" class="cyc_term">SetOrCollection</a>, <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViJb5wpEbGdrcN5Y29ycA" class="cyc_term">Novel_CW</a>, <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjzepwpEbGdrcN5Y29ycA" class="cyc_term">NaturalLanguage</a>, and <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViAw5wpEbGdrcN5Y29ycA" class="cyc_term">TimeInterval</a>). Note that although anything aspatial is intangible, the converse is not true. Geographical borders, latitude lines, and the trajectories of particles, for instance, are intangible (i.e. not composed of or encoded in matter), but not aspatial, as they have spatial location and extent. See also the specialization <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rpJ-nSEkJQdeC8NLkYPDBBw" class="cyc_term">AbstractThing</a>. AspatialThing non-spatial thing mathematical or computational object The collection of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjjo5wpEbGdrcN5Y29ycA" class="cyc_term">Intangible</a> things that are intrinsically mathematical (see <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjltpwpEbGdrcN5Y29ycA" class="cyc_term">MathematicalThing</a>) or computational (see <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViAO5wpEbGdrcN5Y29ycA" class="cyc_term">ComputationalObject</a>). Instances of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjjH5wpEbGdrcN5Y29ycA" class="cyc_term">MathematicalOrComputationalThing</a> are abstract in the very strong sense of being nonspatial, atemporal, and massless. Examples include numbers, sets, collections, relations, algorithms, and abstract character strings. MathematicalOrComputationalThing comradery Comradery advantage Advantage <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwQBWm5wpEbGdrcN5Y29ycA" class="cyc_term">HighTech</a> is connoted by things which seem modern and technical. It, like anachronism, is a concept that changes with time - yesterdays computers seem old-fashioned, not <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwQBWm5wpEbGdrcN5Y29ycA" class="cyc_term">HighTech</a>. high tech HighTech nature Nature clean energy CleanEnergy Leadership leadership Romance romance Has something to do with romantic love, like sending flowers to a significant other, or a couple embracing. Tradition The vague notion of tradition, of being traditional. Note that this is not necessarily the same as old-fashioned/anachronistic tradition cooperation Teamwork menacing Threatening Wealth riches NonConformity The idea or property of explicitly opposing the popular viewpoint, of not following fads and social trends. nonconformity anachronism An Anachronism is something that is is done, is used, or somehow appears, outside of the time it belongs in. Anachronism Intangible intangible The collection of things that are not physical -- are not made of, or encoded in, matter. Every <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViAzJwpEbGdrcN5Y29ycA" class="cyc_term">Collection</a> is an <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjjo5wpEbGdrcN5Y29ycA" class="cyc_term">Intangible</a> (even if its instances are tangible), and so are some <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjaApwpEbGdrcN5Y29ycA" class="cyc_term">Individual</a>s. Caution: do not confuse `tangibility' with `perceivability' -- humans can perceive light even though it's intangible--at least in a sense. For more on this issue, see the relevant #$cyclistNotes. <code>(<a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rZOAVeiYGEdqAAAACs2IMmw" class="cyc_term">broaderTerm</a> TERM1 TERM2)</code> means that <code>TERM2</code> is broader than <code>TERM1</code>, in an extremely general sense of "broader". For example, <code>TERM2</code> is, in the relevant sense, broader than <code>TERM1</code> if any of the following hold: <code>TERM2</code> is a collection that subsumes <code>TERM1</code>; <code>TERM2</code> is a collection that has <code>TERM1</code> as an instance; <code>TERM2</code> is a collection, instances of which have instances of the collection <code>TERM1</code> as parts; <code>TERM2</code> has <code>TERM1</code> as a part; This list of reasons for why <code>(<a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rZOAVeiYGEdqAAAACs2IMmw" class="cyc_term">broaderTerm</a> TERM1 TERM2)</code> could hold is not exhaustive, but it should give a good indication of how general the <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rZOAVeiYGEdqAAAACs2IMmw" class="cyc_term">broaderTerm</a> relation actually is. BT broaderTerm Top-Topic top-topic Intangible intangible The collection of things that are not physical -- are not made of, or encoded in, matter. Every <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViAzJwpEbGdrcN5Y29ycA" class="cyc_term">Collection</a> is an <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjjo5wpEbGdrcN5Y29ycA" class="cyc_term">Intangible</a> (even if its instances are tangible), and so are some <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjaApwpEbGdrcN5Y29ycA" class="cyc_term">Individual</a>s. Caution: do not confuse `tangibility' with `perceivability' -- humans can perceive light even though it's intangible--at least in a sense. For more on this issue, see the relevant #$cyclistNotes. The collection of things that either are wholly intangible (see <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjjo5wpEbGdrcN5Y29ycA" class="cyc_term">Intangible</a>) or have at least one intangible (i.e. immaterial) part (see <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVi2BJwpEbGdrcN5Y29ycA" class="cyc_term">intangibleParts</a>). This includes intangible individuals, such as instances of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvxwC-ZwpEbGdrcN5Y29ycA" class="cyc_term">Number_General</a> or <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVivo5wpEbGdrcN5Y29ycA" class="cyc_term">Agreement</a>, as well as non-individuals (all of which are intangible), i.e. instances of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjl_ZwpEbGdrcN5Y29ycA" class="cyc_term">SetOrCollection</a>. It also includes things that have both tangible and intangible components (see <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVj3cZwpEbGdrcN5Y29ycA" class="cyc_term">CompositeTangibleAndIntangibleObject</a>), such as a printed copy of a newspaper (as its information content is intangible) or a person (as her mental states are intangible). partially intangible thing PartiallyIntangible Intangible intangible The collection of things that are not physical -- are not made of, or encoded in, matter. Every <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViAzJwpEbGdrcN5Y29ycA" class="cyc_term">Collection</a> is an <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjjo5wpEbGdrcN5Y29ycA" class="cyc_term">Intangible</a> (even if its instances are tangible), and so are some <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjaApwpEbGdrcN5Y29ycA" class="cyc_term">Individual</a>s. Caution: do not confuse `tangibility' with `perceivability' -- humans can perceive light even though it's intangible--at least in a sense. For more on this issue, see the relevant #$cyclistNotes. Pretty String (<a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwLSVCpwpEbGdrcN5Y29ycA" class="cyc_term">prettyString</a> TERM STRING) means that STRING is the English word or expression (sequence of words) commonly used to refer to TERM. The predicate <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwLSVCpwpEbGdrcN5Y29ycA" class="cyc_term">prettyString</a> is used by the code which generates CycL to English paraphrases, but its applicability is not restricted to this use. prettyString Intangible intangible The collection of things that are not physical -- are not made of, or encoded in, matter. Every <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViAzJwpEbGdrcN5Y29ycA" class="cyc_term">Collection</a> is an <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjjo5wpEbGdrcN5Y29ycA" class="cyc_term">Intangible</a> (even if its instances are tangible), and so are some <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjaApwpEbGdrcN5Y29ycA" class="cyc_term">Individual</a>s. Caution: do not confuse `tangibility' with `perceivability' -- humans can perceive light even though it's intangible--at least in a sense. For more on this issue, see the relevant #$cyclistNotes. VariedOrderCollection A <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvtppU5wpEbGdrcN5Y29ycA" class="cyc_term">CollectionType</a> and the collection of all and only those <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViAzJwpEbGdrcN5Y29ycA" class="cyc_term">Collection</a>s some of whose instances (or instances of instances, or instances of instances of instances, etc.) are of different "orders", where order is understood as follows. Let <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjaApwpEbGdrcN5Y29ycA" class="cyc_term">Individual</a>s be "zeroth-order" things, collections of (only) <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjaApwpEbGdrcN5Y29ycA" class="cyc_term">Individual</a>s "first-order", ..., and collections of (only) Nth-order things "(N+1)th-order". A more precise, recursive definition, then, is: a collection COL is an instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rNs-F0CChEdaAAABQ2rksLw" class="cyc_term">VariedOrderCollection</a> if and only if COL has instances INST1 and INST2 such that either (i) INST1 and INST2 are of two different fixed orders N1 and N2, (ii) INST1 is of the fixed order N1 and INST2 is a varied-order collection, or (iii) INST1 and INST2 are both varied-order collections. For example, <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rpJ-nSEkJQdeC8NLkYPDBBw" class="cyc_term">AbstractThing</a> is a varied-order collection since it contains both (zeroth-order) abstract individuals and (higher-order) collections. Other instances of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rNs-F0CChEdaAAABQ2rksLw" class="cyc_term">VariedOrderCollection</a> include <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjjo5wpEbGdrcN5Y29ycA" class="cyc_term">Intangible</a>, <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViAzJwpEbGdrcN5Y29ycA" class="cyc_term">Collection</a>, <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvtppU5wpEbGdrcN5Y29ycA" class="cyc_term">CollectionType</a>, and <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViA9JwpEbGdrcN5Y29ycA" class="cyc_term">Thing</a>. Note that (by clauses ii and iii) any generalization of a varied-order collection is varied-order; and (by clause iii) any (non-empty) specialization of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rNs-F0CChEdaAAABQ2rksLw" class="cyc_term">VariedOrderCollection</a> is varied-order. Note that <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rNooX_CChEdaAAABQ2rksLw" class="cyc_term">FixedOrderCollection</a> (q.v.) and <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rNs-F0CChEdaAAABQ2rksLw" class="cyc_term">VariedOrderCollection</a> do _not_ constitute a partition of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViAzJwpEbGdrcN5Y29ycA" class="cyc_term">Collection</a>: since the notion of order described above is not applicable to sets, <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvl2en5wpEbGdrcN5Y29ycA" class="cyc_term">Set_Mathematical</a> (e.g.) and its specializations are neither fixed-order nor varied-order collections. variable-order Cyc collection