]> 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. Numbers-Math-Topic numbers-math-topic The collection of real numbers; a specialization of both <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjzL5wpEbGdrcN5Y29ycA" class="cyc_term">IntervalOnNumberLine</a> and <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViCW5wpEbGdrcN5Y29ycA" class="cyc_term">ScalarPointValue</a> (qq.v.). Each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViAmJwpEbGdrcN5Y29ycA" class="cyc_term">RealNumber</a> is a single point on the real number line, which has no upper or lower bounds. Specializations of this collection include <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVieEpwpEbGdrcN5Y29ycA" class="cyc_term">Integer</a>, <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjyqpwpEbGdrcN5Y29ycA" class="cyc_term">RationalNumber</a>, and <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwP4D45wpEbGdrcN5Y29ycA" class="cyc_term">NegativeNumber</a>. Note that <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViAmJwpEbGdrcN5Y29ycA" class="cyc_term">RealNumber</a> is also a specialization of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVi4CpwpEbGdrcN5Y29ycA" class="cyc_term">ComplexNumber</a> (q.v.), and any instance of the former constitutes a degenerate case of the latter, in that the value along the real's &quot;imaginary axis&quot; is zero (cf. <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwL5mhJwpEbGdrcN5Y29ycA" class="cyc_term">ImaginaryNumber</a>). RealNumber real number A specialization of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViAmJwpEbGdrcN5Y29ycA" class="cyc_term">RealNumber</a>. An instance REAL of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViAmJwpEbGdrcN5Y29ycA" class="cyc_term">RealNumber</a> is also an instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwP4D45wpEbGdrcN5Y29ycA" class="cyc_term">NegativeNumber</a> just in case REAL is less than 0. negative number NegativeNumber positive number PositiveNumber A specialization of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViAmJwpEbGdrcN5Y29ycA" class="cyc_term">RealNumber</a>. An instance NUMBER of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViAmJwpEbGdrcN5Y29ycA" class="cyc_term">RealNumber</a> is also an instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rv2r7MpwpEbGdrcN5Y29ycA" class="cyc_term">PositiveNumber</a> just in case NUMBER is greater than zero. Instances of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rv2r7MpwpEbGdrcN5Y29ycA" class="cyc_term">PositiveNumber</a> include 42 and 0.17, but not 0 or -5. <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVi_aZwpEbGdrcN5Y29ycA" class="cyc_term">NonNegativeInteger</a> is the sub-collection of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVieEpwpEbGdrcN5Y29ycA" class="cyc_term">Integer</a> that excludes the negative integers. Each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVi_aZwpEbGdrcN5Y29ycA" class="cyc_term">NonNegativeInteger</a> is a whole number greater than or equal to zero -- for example, 0, 1, 2, 3, .... non-negative integer NonNegativeInteger odd number OddNumber A specialization of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVieEpwpEbGdrcN5Y29ycA" class="cyc_term">Integer</a>. An integer is an <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvssIH5wpEbGdrcN5Y29ycA" class="cyc_term">OddNumber</a> if and only if it is <i>not</i> divisible by 2 without remainder. It might be positive or negative. NonNegativeNumber non-negative number <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjyK5wpEbGdrcN5Y29ycA" class="cyc_term">NonNegativeNumber</a> is the sub-collection of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViAmJwpEbGdrcN5Y29ycA" class="cyc_term">RealNumber</a> that excludes the negative reals. Each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjyK5wpEbGdrcN5Y29ycA" class="cyc_term">NonNegativeNumber</a> is a number greater than or equal to zero -- for example, 0, 0.173, Pi, 4, and 101. Quantities measured in units -- for example, (<a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjrsZwpEbGdrcN5Y29ycA" class="cyc_term">SecondsDuration</a> 4) and (<a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVi3VJwpEbGdrcN5Y29ycA" class="cyc_term">Mile</a> 42) -- are not instances of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjyK5wpEbGdrcN5Y29ycA" class="cyc_term">NonNegativeNumber</a>, but rather are instances of its super-collection <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rv3ockJwpEbGdrcN5Y29ycA" class="cyc_term">NonNegativeScalarInterval</a>. interval IntervalOnNumberLine A specialization of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rnVZQSiCmEdaAAACgyZzFrg" class="cyc_term">NumericInterval</a> (q.v.). Each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjzL5wpEbGdrcN5Y29ycA" class="cyc_term">IntervalOnNumberLine</a> is either a particular <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViAmJwpEbGdrcN5Y29ycA" class="cyc_term">RealNumber</a> or a proper interval on the real number line (see <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rrMRklqndQdiFxe5MQvukaA" class="cyc_term">ProperIntervalOnNumberLine</a>). For example, the phrase &quot;numbers greater than zero and less than or equal to 10&quot; describes such an interval. <p/> Note that an interval on the real number line need not be continuous. E.g. the phrase &quot;even integers between Pi and the square root of 1000&quot; describes a noncontinuous instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjzL5wpEbGdrcN5Y29ycA" class="cyc_term">IntervalOnNumberLine</a>. Cf. the specialization <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rORcxXKnuQdiDj8CiPrnh2w" class="cyc_term">ContinuousIntervalOnNumberLine</a>. negative integer NegativeInteger A specialization of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVieEpwpEbGdrcN5Y29ycA" class="cyc_term">Integer</a>. An instance INT of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVieEpwpEbGdrcN5Y29ycA" class="cyc_term">Integer</a> is also an instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwP4DHZwpEbGdrcN5Y29ycA" class="cyc_term">NegativeInteger</a> if and only if INT is less than zero. integer A specialization of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjyqpwpEbGdrcN5Y29ycA" class="cyc_term">RationalNumber</a>. Each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVieEpwpEbGdrcN5Y29ycA" class="cyc_term">Integer</a> is a whole number with no fractional remainder. An integer may be positive (e.g. 42), zero, or negative (e.g. -42). <p/> Note that, in the KB browser, a fixed- or floating-point number representation such as `42.00' should not be assumed to refer to the integer 42. For it might only appear to correspond to that integer within the tolerance of its representation, and might in fact be an approximation to a non-integer number such as 42.0003. <p/> Also note that, unlike <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVieEpwpEbGdrcN5Y29ycA" class="cyc_term">Integer</a>, <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvWbgpJwpEbGdrcN5Y29ycA" class="cyc_term">SubLInteger</a> (q.v.) is a collection of integer-denoting expressions in the SubL programming language rather than a collection of integers themselves. Still, (<a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViBDpwpEbGdrcN5Y29ycA" class="cyc_term">genls</a> <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvWbgpJwpEbGdrcN5Y29ycA" class="cyc_term">SubLInteger</a> <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVieEpwpEbGdrcN5Y29ycA" class="cyc_term">Integer</a>) holds, but only under a special interpretation of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViBDpwpEbGdrcN5Y29ycA" class="cyc_term">genls</a> forced by the fact that <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvWbgpJwpEbGdrcN5Y29ycA" class="cyc_term">SubLInteger</a> is a <font color="#ff0000">#$quotedCollection</font> (q.v).) Integer rational number A specialization of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViAmJwpEbGdrcN5Y29ycA" class="cyc_term">RealNumber</a>. A number NUM is an instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjyqpwpEbGdrcN5Y29ycA" class="cyc_term">RationalNumber</a> just in case NUM can be expressed as the quotient of two integers. For example, 3/4, 2 1/8, 0.3333333..., 11/5. RationalNumber even number A specialization of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVieEpwpEbGdrcN5Y29ycA" class="cyc_term">Integer</a>. An instance INT of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVieEpwpEbGdrcN5Y29ycA" class="cyc_term">Integer</a> is also an instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rv_RnYJwpEbGdrcN5Y29ycA" class="cyc_term">EvenNumber</a> if and only if INT is divisible (without remainder) by two. EvenNumber A specialization of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVieEpwpEbGdrcN5Y29ycA" class="cyc_term">Integer</a>. An instance INT of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVieEpwpEbGdrcN5Y29ycA" class="cyc_term">Integer</a> is an instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVie2ZwpEbGdrcN5Y29ycA" class="cyc_term">PositiveInteger</a> just in case INT is an integer greater than 0. positive integer PositiveInteger 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><b>COL</b></code> such that any thing's being an instance of <code><b>COL</b></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><b>COL</b></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 &quot;exists out there&quot; in the KB-independent world. <p/> 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 <i>not</i> a KB-dependent collection. <p/> See also <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvip9N5wpEbGdrcN5Y29ycA" class="cyc_term">KBDependentRelation</a>. KB dependent collection KBDependentCollection Numbers-Math-Topic numbers-math-topic CycVocabularyTopic An instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvprlOZwpEbGdrcN5Y29ycA" class="cyc_term">FacetingCollectionType</a> and a specialization of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rgQsP1F2xEdif1wACs2IMlQ" class="cyc_term">Topic</a>. Each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rAmoSCGJbQdiSXZJvYiNhkQ" class="cyc_term">CycVocabularyTopic</a> is a collection of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViA9JwpEbGdrcN5Y29ycA" class="cyc_term">Thing</a>s falling under a topic for which some Cyc Vocabulary exists. <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rgQsP1F2xEdif1wACs2IMlQ" class="cyc_term">Topic</a> is neither a strict [<a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvcZ1FpwpEbGdrcN5Y29ycA" class="cyc_term">facets_Strict</a>] nor a covering [<a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rv86JWpwpEbGdrcN5Y29ycA" class="cyc_term">facets_Covering</a>] faceting of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViA9JwpEbGdrcN5Y29ycA" class="cyc_term">Thing</a>: many <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViA9JwpEbGdrcN5Y29ycA" class="cyc_term">Thing</a>s may be instances of no <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rgQsP1F2xEdif1wACs2IMlQ" class="cyc_term">Topic</a>, or of multiple <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rgQsP1F2xEdif1wACs2IMlQ" class="cyc_term">Topic</a>s. cyc vocabulary topic Numbers-Math-Topic numbers-math-topic Math-Topic math-topic A <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rAmoSCGJbQdiSXZJvYiNhkQ" class="cyc_term">CycVocabularyTopic</a> and a <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rtGXkHpNaEdqAAAACs0uFOQ" class="cyc_term">KBDependentCollection</a>.