]> 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. SmallCollectionOfProperlyNamedEntities small set of named entities Instances are collections whose extent is small (on the order of 20 instances or smaller), completely known, and instances of which are normally referred to by proper names. This class is useful for suggesting meaningful followup searches to users of search enhancement applications. small sets of named entities movie type by series MovieTypeBySeries <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwDAPoJwpEbGdrcN5Y29ycA" class="cyc_term">MovieTypeBySeries</a> is a collection of collections. Each element of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwDAPoJwpEbGdrcN5Y29ycA" class="cyc_term">MovieTypeBySeries</a> is a collection of movies that either feature the same character(s), tell a continued story, or in some other way make up a series. Example instances of this collection are <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvqyEdJwpEbGdrcN5Y29ycA" class="cyc_term">JamesBondMovie</a>, <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvb2leZwpEbGdrcN5Y29ycA" class="cyc_term">BatmanMovie</a>, and <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwD1PUZwpEbGdrcN5Y29ycA" class="cyc_term">SupermanMovie</a>.

airline <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViq7pwpEbGdrcN5Y29ycA" class="cyc_term">AirlineCompany</a> is a specialization of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwKSgQ5wpEbGdrcN5Y29ycA" class="cyc_term">TransportationCompany_Provider</a>, <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjxuZwpEbGdrcN5Y29ycA" class="cyc_term">CommercialServiceOrganization</a>, and <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjQNpwpEbGdrcN5Y29ycA" class="cyc_term">Business</a>. Each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViq7pwpEbGdrcN5Y29ycA" class="cyc_term">AirlineCompany</a> is a business that operates airplanes to transport goods or people in exchange for money. AirlineCompany

TrueContinent A specialization of both <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjp1ZwpEbGdrcN5Y29ycA" class="cyc_term">LandBody</a> and <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVkLu5wpEbGdrcN5Y29ycA" class="cyc_term">Continent</a> (q.v.). The current instances of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwT-n15wpEbGdrcN5Y29ycA" class="cyc_term">TrueContinent</a> (on the <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVkL_pwpEbGdrcN5Y29ycA" class="cyc_term">PlanetEarth</a>) are the four main land masses on the surface of the earth that are surrounded by water: <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvvODEpwpEbGdrcN5Y29ycA" class="cyc_term">EasternContinent</a> (which includes Africa, Asia, and Europe), <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwHKBVJwpEbGdrcN5Y29ycA" class="cyc_term">WesternContinent</a> (which includes North and South America), <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViPRpwpEbGdrcN5Y29ycA" class="cyc_term">ContinentOfAntarctica</a>, and <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rv9tl95wpEbGdrcN5Y29ycA" class="cyc_term">ContinentOfAustralia</a>. true continent

Canadian province The collection of all the <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjM45wpEbGdrcN5Y29ycA" class="cyc_term">Province</a>s of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVimZ5wpEbGdrcN5Y29ycA" class="cyc_term">Canada</a>. CanadianProvince

nuclear weapon state NuclearWeaponStateUnderNNPT

Western European country The collection of nation-states in the Western region of Europe. WesternEuropeanCountry

(MilitaryFn UnitedStatesOfAmerica) U.S. military organization

SmallCollectionOfProperlyNamedEntities Instances are collections whose extent is small (on the order of 20 instances or smaller), completely known, and instances of which are normally referred to by proper names. This class is useful for suggesting meaningful followup searches to users of search enhancement applications. small set of named entities SmallCollectionOfProperlyNamedEntities Instances are collections whose extent is small (on the order of 20 instances or smaller), completely known, and instances of which are normally referred to by proper names. This class is useful for suggesting meaningful followup searches to users of search enhancement applications. small set of named entities The collection of all specializations of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rHIBS0h_TEdaAAABQ2rksLw" class="cyc_term">FirstOrderCollection</a>, that is, of all collections of (first-order) collections, and an instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rHUFI8h_TEdaAAABQ2rksLw" class="cyc_term">ThirdOrderCollection</a>. Instances of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rHQdVmB_TEdaAAABQ2rksLw" class="cyc_term">SecondOrderCollection</a> are collections of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rHIBS0h_TEdaAAABQ2rksLw" class="cyc_term">FirstOrderCollection</a>s. Any instance of any instance of any instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rHQdVmB_TEdaAAABQ2rksLw" class="cyc_term">SecondOrderCollection</a> is an <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjaApwpEbGdrcN5Y29ycA" class="cyc_term">Individual</a>. SecondOrderCollection second-order Cyc collection A collection of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjl_ZwpEbGdrcN5Y29ycA" class="cyc_term">SetOrCollection</a>s. A set or collection <code>CLASS</code> is an instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rmkKENKemQdmD1Ms2zSpDyQ" class="cyc_term">FiniteSetOrCollection</a> if and only if it has a finite number of elements (possibly zero). That is, the <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVi7z5wpEbGdrcN5Y29ycA" class="cyc_term">cardinality</a> of <code>CLASS</code> is some <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVi_aZwpEbGdrcN5Y29ycA" class="cyc_term">NonNegativeInteger</a>. Cf. <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rP7E0cqepQdmezarjq5t45Q" class="cyc_term">InfiniteSetOrCollection</a>. FiniteSetOrCollection finite set or collection ObjectType The collection of all collections that are "object-like" in at least one respect. A collection <code>COL</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>COL</code> is not itself an instance of <code>COL</code>; when this happens <code>COL</code> is said to be object-like with respect to that sense of 'part'. More precisely, for a collection <code>COL</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>PARTPRED</code> of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwgfukKs8QdePzLB9nLNpTw" class="cyc_term">properParts</a> such that, for any <code>OBJ1</code> and <code>OBJ2</code>, if <code>(<a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViBBJwpEbGdrcN5Y29ycA" class="cyc_term">isa</a> OBJ1 COL)</code> and <code>(PARTPRED OBJ1 OBJ2)</code> both hold, then <code>(<a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViBBJwpEbGdrcN5Y29ycA" class="cyc_term">isa</a> OBJ2 COL)</code> does not hold. (Also sufficient for <code>COL</code>'s being an object-type is that there be some specialization <code>INVPARTPRED</code> of the inverse 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>(INVPARTPRED OBJ2 OBJ1)</code>, with everything else remaining the same as above.) Note that neither of the above sufficient conditions for <code>COL</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 nearly all cases, <code>COL</code> should be considered an instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVirnZwpEbGdrcN5Y29ycA" class="cyc_term">ObjectType</a>. 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 not 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>. 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 A specialization of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwIE23ZwpEbGdrcN5Y29ycA" class="cyc_term">TimeDependentCollection</a> (q.v.). This is the collection of all and only those collections <code>COL</code> such that any thing's being an instance of <code>COL</code> depends on the current state of the <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjqoZwpEbGdrcN5Y29ycA" class="cyc_term">CycKB</a>. Such a <code>COL</code> corresponds to a property defined (at least partly) in terms of the contents, features, or implementation of the Cyc Knowledge Base itself, as opposed to a property that "exists out there" in the KB-independent world. For example, <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvV281JwpEbGdrcN5Y29ycA" class="cyc_term">CycLAssertion</a> is a KB-dependent collection, membership in which requires of a given CycL sentence that it has in fact been asserted to the KB. <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViAoJwpEbGdrcN5Y29ycA" class="cyc_term">CycLSentence</a> is also KB-dependent, as being a CycL sentence requires being composed (ultimately) out of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvu6KTZwpEbGdrcN5Y29ycA" class="cyc_term">CycLReifiedDenotationalTerm</a>s (and perhaps variables) -- i.e. terms that are currently reified in the KB. Conversely, <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rv5ddsJwpEbGdrcN5Y29ycA" class="cyc_term">Sentence</a> is not a KB-dependent collection. See also <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvip9N5wpEbGdrcN5Y29ycA" class="cyc_term">KBDependentRelation</a>. KB dependent collection KBDependentCollection 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