]> 2009/04/07 OpenCyc Knowledge Base Copyright© 2001-2009 Cycorp, Inc., http://www.cyc.com/, Austin, TX, USA This file contains an OWL representation of information contained in the OpenCyc Knowledge Base. The content of this OWL file is licensed under the Creative Commons Attribution 3.0 license whose text can be found at http://creativecommons.org/licenses/by/3.0/legalcode. The content of this OWL file, including the OpenCyc content it represents, constitutes the "Work" referred to in the Creative Commons license. The terms of this license equally apply to, without limitation, renamings and other logically equivalent reformulations of the content of this OWL file (or portions thereof) in any natural or formal language, as well as to derivations of this content or inclusion of it in other ontologies. Mappings between OpenCyc terms and Wikipedia article names provided by Olena Medelyan and Catherine Legg, University of Waikato, NZ under a Creative Commons Attribution 3.0 license. externalID A unique, language-neutral, variable-sized identifier for a concept that can be used to refer unambiguously to that concept across OWL exports or across Cyc inference engines. label A natural-language representation for a concept that is both human readable and readable by the Cyc inference engine. These terms are not guaranteed to refer to the same concept across time but are guaranteed to be consistent within a particular OWL export. Use 'cycAnnot:externalID' for unambiguously referring to a concept across OWL exports or across Cyc inference engines. TimeInterval A specialization of <a href="http://sw.opencyc.org/concept/Mx4rvViAxJwpEbGdrcN5Y29ycA" class="cyc_term">TemporalThing</a>, <a href="http://sw.opencyc.org/concept/Mx4rvVjj45wpEbGdrcN5Y29ycA" class="cyc_term">IntangibleIndividual</a>, and <a href="http://sw.opencyc.org/concept/Mx4rTIA_nqZtEdaAAACgycbRfg" class="cyc_term">ModalIndex</a> (qq.v.). Each instance of <a href="http://sw.opencyc.org/concept/Mx4rvViAw5wpEbGdrcN5Y29ycA" class="cyc_term">TimeInterval</a> is an intangible temporal thing that is characterized fully by its temporal extent. In this way, time intervals differ from <a href="http://sw.opencyc.org/concept/Mx4rvYjIS5wpEbGdrcN5Y29ycA" class="cyc_term">Situation</a>s such as <a href="http://sw.opencyc.org/concept/Mx4rvViADZwpEbGdrcN5Y29ycA" class="cyc_term">Event</a>s. For example, the year 1969 C.E. is a <a href="http://sw.opencyc.org/concept/Mx4rvViAw5wpEbGdrcN5Y29ycA" class="cyc_term">TimeInterval</a>; although many interesting things happened during that year, the year itself is completely defined by its temporal extent. Conversely, Neil Armstrong's walking on the Moon is an event and not a time interval, since it is not fully characterized by its temporal extent or any other purely temporal attributes (e.g. its taking place on the Moon and being done by Armstrong are not temporal attributes). Specializations of <a href="http://sw.opencyc.org/concept/Mx4rvViAw5wpEbGdrcN5Y29ycA" class="cyc_term">TimeInterval</a> include <a href="http://sw.opencyc.org/concept/Mx4rvVjyV5wpEbGdrcN5Y29ycA" class="cyc_term">CalendarYear</a>, <a href="http://sw.opencyc.org/concept/Mx4rvVjAKZwpEbGdrcN5Y29ycA" class="cyc_term">CalendarMonth</a>, and <a href="http://sw.opencyc.org/concept/Mx4rvVi4fZwpEbGdrcN5Y29ycA" class="cyc_term">FiscalQuarter</a>. time period spell periods of time eras interval period of time time interval period times periods era intervals time time periods time intervals spells Time http://en.wikipedia.org/wiki/Time http://www.w3.org/2006/03/wn/wn20/instances/synset-time-noun-1 http://www.w3.org/2006/03/wn/wn20/instances/synset-time_period-noun-1 http://www.w3.org/2006/03/wn/wn20/instances/synset-time-noun-2 http://www.w3.org/2006/03/wn/wn20/instances/synset-time-noun-3 http://www.w3.org/2006/03/wn/wn20/instances/synset-time_interval-noun-1 date operating room exit DateTimeOperatingRoomExit Null-TimeParameter null time parameter When a formula has <a href="http://sw.opencyc.org/concept/Mx4rTyL5OqZtEdaAAACgycbRfg" class="cyc_term">Null_TimeParameter</a> as its time parameter, no matter what time index T the formula has (be it a century or a second), we cannot infer the formula with any time index (except T itself) temporally subsumed by T. EmptyTimeInterval pause The collection of all 'empty' time intervals (whether continuous or discontinuous). Elements are always intangible, abstract relevant-event-free intervals of time. An instance of <a href="http://sw.opencyc.org/concept/Mx4rvZ1ZmJwpEbGdrcN5Y29ycA" class="cyc_term">EmptyTimeInterval</a> is 'empty' of relevant or salient <a href="http://sw.opencyc.org/concept/Mx4rvViADZwpEbGdrcN5Y29ycA" class="cyc_term">Event</a>s; what is relevant or salient depends on the context. In a StoryMt a piece of time where nothing notable happens is an instance of <a href="http://sw.opencyc.org/concept/Mx4rvZ1ZmJwpEbGdrcN5Y29ycA" class="cyc_term">EmptyTimeInterval</a>. In a physics context, the background buzz of atoms may be relevant events, whereas that would not be relevant during a non-state-change of an electronic device, or a boring wait for a train. See also <a href="http://sw.opencyc.org/concept/Mx4rvViAw5wpEbGdrcN5Y29ycA" class="cyc_term">TimeInterval</a>. <p/> Thus <a href="http://sw.opencyc.org/concept/Mx4rvZ1ZmJwpEbGdrcN5Y29ycA" class="cyc_term">EmptyTimeInterval</a> does NOT represent a time interval of duration zero (see <a href="http://sw.opencyc.org/concept/Mx4rvVjKBZwpEbGdrcN5Y29ycA" class="cyc_term">TimePoint</a>), but rather a (possibly long discontinuous) interval of 'empty time', which, analogous to 'empty space' (see <a href="http://sw.opencyc.org/concept/Mx4rvVjuZZwpEbGdrcN5Y29ycA" class="cyc_term">FreeSpaceRegion</a>), is an interval of time in which nothing happens. Just as with space, where a region is empty only for some limited period of time, so too is it likely that an <a href="http://sw.opencyc.org/concept/Mx4rvZ1ZmJwpEbGdrcN5Y29ycA" class="cyc_term">EmptyTimeInterval</a> only makes sense for some limited region of space and limited context of relevant actions. DateDiseaseOnsetFirstDiagnosis date disease onset first diagnosis event abstraction date EventAbstractionDate the union of { Smoking Quit Date Time, Date of Data Source } (CollectionUnionFn (TheSet SmokingQuitDate DateDataSource)) medication stop time MedicationStopTime (MeaningInSystemFn SENSUS-Information1997 "TIME-INTERVAL") the concept corresponding to TIME-INTERVAL in SENSUS-Information1997 smoking quit date SmokingQuitDate (CollectionUnionFn (TheSet DateLastFulltimeJob DateDataSource)) the union of { Date Last Fulltime Job, Date of Data Source } DateRecentDiagnosisTreatment date recent diagnosis treatment DateTimeOperatingRoomEntry date time operating room entry ElapsedTime A sub-collection of <a href="http://sw.opencyc.org/concept/Mx4rvViAw5wpEbGdrcN5Y29ycA" class="cyc_term">TimeInterval</a>. Each instance is the time that elapses while some event is occurring. elapsed time heyday Heyday DateDataSource date data source medication start time MedicationStartTime A sub-collection of <a href="http://sw.opencyc.org/concept/Mx4rvViAw5wpEbGdrcN5Y29ycA" class="cyc_term">TimeInterval</a>. Each instance is a period marked by distinctive character or reckoned from a fixed point or event. Era era continuous time interval The intersection of <a href="http://sw.opencyc.org/concept/Mx4rvViAw5wpEbGdrcN5Y29ycA" class="cyc_term">TimeInterval</a> and <a href="http://sw.opencyc.org/concept/Mx4rsiBgFCq8EdqAAAACs0uFOQ" class="cyc_term">TemporallyContinuousThing</a> (qq.v.). Specializations of <a href="http://sw.opencyc.org/concept/Mx4rcx7avnK6QdiKLYWCkThr9w" class="cyc_term">ContinuousTimeInterval</a> include <a href="http://sw.opencyc.org/concept/Mx4rvVisWZwpEbGdrcN5Y29ycA" class="cyc_term">Date</a> and <a href="http://sw.opencyc.org/concept/Mx4rvVjKBZwpEbGdrcN5Y29ycA" class="cyc_term">TimePoint</a>. ContinuousTimeInterval An instance of <a href="http://sw.opencyc.org/concept/Mx4rvnYoA5wpEbGdrcN5Y29ycA" class="cyc_term">IdealTimeInterval</a> is an abstract object having relations to other instances of <a href="http://sw.opencyc.org/concept/Mx4rvnYoA5wpEbGdrcN5Y29ycA" class="cyc_term">IdealTimeInterval</a> that mirror temporal relations between instances of <a href="http://sw.opencyc.org/concept/Mx4rvViAw5wpEbGdrcN5Y29ycA" class="cyc_term">TimeInterval</a>. The relation between instances of <a href="http://sw.opencyc.org/concept/Mx4rvnYoA5wpEbGdrcN5Y29ycA" class="cyc_term">IdealTimeInterval</a> and instances of <a href="http://sw.opencyc.org/concept/Mx4rvViAw5wpEbGdrcN5Y29ycA" class="cyc_term">TimeInterval</a> can be thought of as comparable to the relation between physical objects having certain shapes and the instances of<font color="#ff0000">#$GeometricThing-Abstract</font> corresponding to those shapes. ideal time interval IdealTimeInterval DateLastFulltimeJob date last fulltime job DateAfibOnsetFirstDiagnosis date afib onset first diagnosis the early part of the Twentieth Century A.D. (EarlyPartFn TheTwentiethCenturyCE) Started in 1997 (InstanceNamedFn-Ternary "Started in 1997" TimeInterval "1bb5029c-0ff5-41da-8ee9-f683d12891c5") <a href="http://sw.opencyc.org/concept/Mx4rwRnfLZwpEbGdrcN5Y29ycA" class="cyc_term">Now_Generally</a> is an underspecified piece of time that refers to some sense of &quot;the current moment&quot;. <a href="http://sw.opencyc.org/concept/Mx4rwRnfLZwpEbGdrcN5Y29ycA" class="cyc_term">Now_Generally</a> differs from <a href="http://sw.opencyc.org/concept/Mx4rvVigaJwpEbGdrcN5Y29ycA" class="cyc_term">Now</a> (q.v.) in two respects. First, unlike <a href="http://sw.opencyc.org/concept/Mx4rvVigaJwpEbGdrcN5Y29ycA" class="cyc_term">Now</a>, <a href="http://sw.opencyc.org/concept/Mx4rwRnfLZwpEbGdrcN5Y29ycA" class="cyc_term">Now_Generally</a> is not necessarily a <a href="http://sw.opencyc.org/concept/Mx4rvVjKBZwpEbGdrcN5Y29ycA" class="cyc_term">TimePoint</a>; its exact duration will vary from context to context. Second, unlike <a href="http://sw.opencyc.org/concept/Mx4rvVigaJwpEbGdrcN5Y29ycA" class="cyc_term">Now</a>, <a href="http://sw.opencyc.org/concept/Mx4rwRnfLZwpEbGdrcN5Y29ycA" class="cyc_term">Now_Generally</a> does not necessarily subsume the clock time of <a href="http://sw.opencyc.org/concept/Mx4rvViAZZwpEbGdrcN5Y29ycA" class="cyc_term">Cyc</a>'s cpu. See <a href="http://sw.opencyc.org/concept/Mx4rwApL_ZwpEbGdrcN5Y29ycA" class="cyc_term">RealTimeMt</a> and its specializations in which <a href="http://sw.opencyc.org/concept/Mx4rwRnfLZwpEbGdrcN5Y29ycA" class="cyc_term">Now_Generally</a> does subsume <a href="http://sw.opencyc.org/concept/Mx4rvVigaJwpEbGdrcN5Y29ycA" class="cyc_term">Now</a>. Depending on the microtheory, <a href="http://sw.opencyc.org/concept/Mx4rwRnfLZwpEbGdrcN5Y29ycA" class="cyc_term">Now_Generally</a> might refer to an instance, or to piece of time that is several seconds, years or milllennia in duration. In a microtheory that is not a specialization of <a href="http://sw.opencyc.org/concept/Mx4rwApL_ZwpEbGdrcN5Y29ycA" class="cyc_term">RealTimeMt</a>, however, <a href="http://sw.opencyc.org/concept/Mx4rwRnfLZwpEbGdrcN5Y29ycA" class="cyc_term">Now_Generally</a> might refer to a piece of time that is <a href="http://sw.opencyc.org/concept/Mx4rvVjV25wpEbGdrcN5Y29ycA" class="cyc_term">temporallyDisjoint</a> from <a href="http://sw.opencyc.org/concept/Mx4rvVigaJwpEbGdrcN5Y29ycA" class="cyc_term">Now</a>. For example, imagine a microtheory representing a particular live broadcast of the 1950's television program &quot;The Mickey Mouse Club&quot;. In this microtheory there might be mention of the singing of the lyrics &quot;Now it's time to say goodbye to all our family....&quot; (These lyrics were sung at the end of every episode.) The word &quot;now&quot;, as sung in that episode, would be appropriately interpreted as `<a href="http://sw.opencyc.org/concept/Mx4rwRnfLZwpEbGdrcN5Y29ycA" class="cyc_term">Now_Generally</a>', but (unlike in a specialization of <a href="http://sw.opencyc.org/concept/Mx4rwApL_ZwpEbGdrcN5Y29ycA" class="cyc_term">RealTimeMt</a>) the piece of time it denotes would be some time interval in the 1950s. In discourse interpretation contexts, conversational pragmatics and common sense inference should help determine the duration and temporal location of <a href="http://sw.opencyc.org/concept/Mx4rwRnfLZwpEbGdrcN5Y29ycA" class="cyc_term">Now_Generally</a>. specious present Now-Generally (EarlyPartFn TheMiddleAges) the early part of The Middle Ages (EarlyPartFn (DecadeFn 199)) the early part of the 1990s (LatePartFn (CenturyFn 20)) the late part of the 20th century TheDocIngestionTimestamp An indexical that the document ingester resolves to a timestamp. The Doc Ingestion Timestamp TheLate1980sAndEarly1990s the late 1980s and early 1990s (EarlyPartFn (CenturyFn 20)) the early part of the 20th century The Empty Time Interval TheEmptyTimeInterval <a href="http://sw.opencyc.org/concept/Mx4rMOtCEvtiEdeMPAACs6Mzww" class="cyc_term">TheEmptyTimeInterval</a> is the time interval that has no duration. the middle part of the last half of the Twentieth Century A.D. (MiddlePartFn LastHalfOf20thCenturyCE) (MiddlePartFn TheMiddleAges) the middle part of The Middle Ages the early part of the last half of the Twentieth Century A.D. (EarlyPartFn LastHalfOf20thCenturyCE) the late part of the 1970s (LatePartFn (DecadeFn 197)) the past ThePast-Generic An indexical term that can be used to denote some indeterminate chunk of time that ends before the time of the context. For example, to represent the statement &quot;in the future dogs can't talk&quot; we could assert: <pre> (<a href="http://sw.opencyc.org/concept/Mx4rvViA05wpEbGdrcN5Y29ycA" class="cyc_term">ist</a> (<a href="http://sw.opencyc.org/concept/Mx4rq7luteeYEdaKyQACs6Mzww" class="cyc_term">MtSpace</a> <b>CURRENT-MONAD</b> (<a href="http://sw.opencyc.org/concept/Mx4rR1N5QjMdEdeSLwACs6Mzww" class="cyc_term">MtTimeDimFn</a> <b>CURRENT-TIME</b>)) (<a href="http://sw.opencyc.org/concept/Mx4rvViBE5wpEbGdrcN5Y29ycA" class="cyc_term">holdsIn</a> <a href="http://sw.opencyc.org/concept/Mx4r3PO1hjO1EduAAAACs2IKaQ" class="cyc_term">ThePast_Generic</a>(<a href="http://sw.opencyc.org/concept/Mx4rBCuKdrCNEdaAAACgycbQqA" class="cyc_term">typeBehaviorIncapable</a> <a href="http://sw.opencyc.org/concept/Mx4rvVjaoJwpEbGdrcN5Y29ycA" class="cyc_term">Dog</a> <a href="http://sw.opencyc.org/concept/Mx4rwGayhpwpEbGdrcN5Y29ycA" class="cyc_term">Talking</a> <a href="http://sw.opencyc.org/concept/Mx4rvVipYpwpEbGdrcN5Y29ycA" class="cyc_term">performedBy</a>)))</pre> The above could be given a minimal interpretation in any microtheory like the following <pre> (ist (<a href="http://sw.opencyc.org/concept/Mx4rq7luteeYEdaKyQACs6Mzww" class="cyc_term">MtSpace</a> <b>CURRENT-MONAD</b> (<a href="http://sw.opencyc.org/concept/Mx4rR1N5QjMdEdeSLwACs6Mzww" class="cyc_term">MtTimeDimFn</a> <b>CURRENT-TIME</b>)) (<a href="http://sw.opencyc.org/concept/Mx4rvViA9pwpEbGdrcN5Y29ycA" class="cyc_term">thereExists</a> ?INTERVAL (<a href="http://sw.opencyc.org/concept/Mx4rvViA-ZwpEbGdrcN5Y29ycA" class="cyc_term">and</a> (<a href="http://sw.opencyc.org/concept/Mx4rvVjQyZwpEbGdrcN5Y29ycA" class="cyc_term">startsAfterEndingOf</a> <b>CURRENT-TIME</b> ?INTERVAL) (<a href="http://sw.opencyc.org/concept/Mx4rvViBBJwpEbGdrcN5Y29ycA" class="cyc_term">isa</a> ?INTERVAL <a href="http://sw.opencyc.org/concept/Mx4rvViAw5wpEbGdrcN5Y29ycA" class="cyc_term">TimeInterval</a>) (<a href="http://sw.opencyc.org/concept/Mx4rvViA05wpEbGdrcN5Y29ycA" class="cyc_term">ist</a> (<a href="http://sw.opencyc.org/concept/Mx4rq7luteeYEdaKyQACs6Mzww" class="cyc_term">MtSpace</a> <b>CURRENT-MONAD</b> (<a href="http://sw.opencyc.org/concept/Mx4rR1N5QjMdEdeSLwACs6Mzww" class="cyc_term">MtTimeDimFn</a> ?INTERVAL)) (<a href="http://sw.opencyc.org/concept/Mx4rBCuKdrCNEdaAAACgycbQqA" class="cyc_term">typeBehaviorIncapable</a> <a href="http://sw.opencyc.org/concept/Mx4rvVjaoJwpEbGdrcN5Y29ycA" class="cyc_term">Dog</a> <a href="http://sw.opencyc.org/concept/Mx4rwGayhpwpEbGdrcN5Y29ycA" class="cyc_term">Talking</a> <a href="http://sw.opencyc.org/concept/Mx4rvVipYpwpEbGdrcN5Y29ycA" class="cyc_term">performedBy</a>)))) the future TheFuture-Generic An indexical term that can be used to denote some indeterminate chunk of time that starts after the time of the context. For example, to represent the statement &quot;in the future dogs will talk&quot; we could assert: <pre> (<a href="http://sw.opencyc.org/concept/Mx4rvViA05wpEbGdrcN5Y29ycA" class="cyc_term">ist</a> (<a href="http://sw.opencyc.org/concept/Mx4rq7luteeYEdaKyQACs6Mzww" class="cyc_term">MtSpace</a> <b>CURRENT-MONAD</b> (<a href="http://sw.opencyc.org/concept/Mx4rR1N5QjMdEdeSLwACs6Mzww" class="cyc_term">MtTimeDimFn</a> <b>CURRENT-TIME</b>)) (<a href="http://sw.opencyc.org/concept/Mx4rvViBE5wpEbGdrcN5Y29ycA" class="cyc_term">holdsIn</a> <a href="http://sw.opencyc.org/concept/Mx4rFq0pQjOxEduAAAACs2IKaQ" class="cyc_term">TheFuture_Generic</a>((<a href="http://sw.opencyc.org/concept/Mx4rvmpxdpwpEbGdrcN5Y29ycA" class="cyc_term">TypeCapableFn</a> <a href="http://sw.opencyc.org/concept/Mx4rvViRrpwpEbGdrcN5Y29ycA" class="cyc_term">behaviorCapable</a>) <a href="http://sw.opencyc.org/concept/Mx4rvVjaoJwpEbGdrcN5Y29ycA" class="cyc_term">Dog</a> <a href="http://sw.opencyc.org/concept/Mx4rwGayhpwpEbGdrcN5Y29ycA" class="cyc_term">Talking</a> <a href="http://sw.opencyc.org/concept/Mx4rvVipYpwpEbGdrcN5Y29ycA" class="cyc_term">performedBy</a>)))</pre> The above could be given a minimal interpretation in any microtheory like the following <pre> (ist (<a href="http://sw.opencyc.org/concept/Mx4rq7luteeYEdaKyQACs6Mzww" class="cyc_term">MtSpace</a> <b>CURRENT-MONAD</b> (<a href="http://sw.opencyc.org/concept/Mx4rR1N5QjMdEdeSLwACs6Mzww" class="cyc_term">MtTimeDimFn</a> <b>CURRENT-TIME</b>)) (<a href="http://sw.opencyc.org/concept/Mx4rvViA9pwpEbGdrcN5Y29ycA" class="cyc_term">thereExists</a> ?FUTURE-INTERVAL (<a href="http://sw.opencyc.org/concept/Mx4rvViA-ZwpEbGdrcN5Y29ycA" class="cyc_term">and</a> (<a href="http://sw.opencyc.org/concept/Mx4rvVjQyZwpEbGdrcN5Y29ycA" class="cyc_term">startsAfterEndingOf</a> ?FUTURE-INTERVAL <b>CURRENT-TIME</b>) (<a href="http://sw.opencyc.org/concept/Mx4rvViBBJwpEbGdrcN5Y29ycA" class="cyc_term">isa</a> ?FUTURE-INTERVAL <a href="http://sw.opencyc.org/concept/Mx4rvViAw5wpEbGdrcN5Y29ycA" class="cyc_term">TimeInterval</a>) (<a href="http://sw.opencyc.org/concept/Mx4rvViA05wpEbGdrcN5Y29ycA" class="cyc_term">ist</a> (<a href="http://sw.opencyc.org/concept/Mx4rq7luteeYEdaKyQACs6Mzww" class="cyc_term">MtSpace</a> <b>CURRENT-MONAD</b> (<a href="http://sw.opencyc.org/concept/Mx4rR1N5QjMdEdeSLwACs6Mzww" class="cyc_term">MtTimeDimFn</a> ?FUTURE-TIME)) ((<a href="http://sw.opencyc.org/concept/Mx4rvmpxdpwpEbGdrcN5Y29ycA" class="cyc_term">TypeCapableFn</a> <a href="http://sw.opencyc.org/concept/Mx4rvViRrpwpEbGdrcN5Y29ycA" class="cyc_term">behaviorCapable</a>) <a href="http://sw.opencyc.org/concept/Mx4rvVjaoJwpEbGdrcN5Y29ycA" class="cyc_term">Dog</a> <a href="http://sw.opencyc.org/concept/Mx4rwGayhpwpEbGdrcN5Y29ycA" class="cyc_term">Talking</a> <a href="http://sw.opencyc.org/concept/Mx4rvVipYpwpEbGdrcN5Y29ycA" class="cyc_term">performedBy</a>)))) the middle part of the Twentieth Century A.D. (MiddlePartFn TheTwentiethCenturyCE) Pretty String (<a href="http://sw.opencyc.org/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/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 TimeInterval A specialization of <a href="http://sw.opencyc.org/concept/Mx4rvViAxJwpEbGdrcN5Y29ycA" class="cyc_term">TemporalThing</a>, <a href="http://sw.opencyc.org/concept/Mx4rvVjj45wpEbGdrcN5Y29ycA" class="cyc_term">IntangibleIndividual</a>, and <a href="http://sw.opencyc.org/concept/Mx4rTIA_nqZtEdaAAACgycbRfg" class="cyc_term">ModalIndex</a> (qq.v.). Each instance of <a href="http://sw.opencyc.org/concept/Mx4rvViAw5wpEbGdrcN5Y29ycA" class="cyc_term">TimeInterval</a> is an intangible temporal thing that is characterized fully by its temporal extent. In this way, time intervals differ from <a href="http://sw.opencyc.org/concept/Mx4rvYjIS5wpEbGdrcN5Y29ycA" class="cyc_term">Situation</a>s such as <a href="http://sw.opencyc.org/concept/Mx4rvViADZwpEbGdrcN5Y29ycA" class="cyc_term">Event</a>s. For example, the year 1969 C.E. is a <a href="http://sw.opencyc.org/concept/Mx4rvViAw5wpEbGdrcN5Y29ycA" class="cyc_term">TimeInterval</a>; although many interesting things happened during that year, the year itself is completely defined by its temporal extent. Conversely, Neil Armstrong's walking on the Moon is an event and not a time interval, since it is not fully characterized by its temporal extent or any other purely temporal attributes (e.g. its taking place on the Moon and being done by Armstrong are not temporal attributes). Specializations of <a href="http://sw.opencyc.org/concept/Mx4rvViAw5wpEbGdrcN5Y29ycA" class="cyc_term">TimeInterval</a> include <a href="http://sw.opencyc.org/concept/Mx4rvVjyV5wpEbGdrcN5Y29ycA" class="cyc_term">CalendarYear</a>, <a href="http://sw.opencyc.org/concept/Mx4rvVjAKZwpEbGdrcN5Y29ycA" class="cyc_term">CalendarMonth</a>, and <a href="http://sw.opencyc.org/concept/Mx4rvVi4fZwpEbGdrcN5Y29ycA" class="cyc_term">FiscalQuarter</a>. time period A specialization of <a href="http://sw.opencyc.org/concept/Mx4rvViAxJwpEbGdrcN5Y29ycA" class="cyc_term">TemporalThing</a> that is by definition (see <a href="http://sw.opencyc.org/concept/Mx4rwTvAxJwpEbGdrcN5Y29ycA" class="cyc_term">rewriteOf</a>) the union of <a href="http://sw.opencyc.org/concept/Mx4rvYjIS5wpEbGdrcN5Y29ycA" class="cyc_term">Situation</a> and <a href="http://sw.opencyc.org/concept/Mx4rvViAw5wpEbGdrcN5Y29ycA" class="cyc_term">TimeInterval</a> (qq.v.); it is disjoint with <a href="http://sw.opencyc.org/concept/Mx4rvVi255wpEbGdrcN5Y29ycA" class="cyc_term">SomethingExisting</a>. <a href="http://sw.opencyc.org/concept/Mx4rHKjaLCB0EdqAAAAH6Q2Zvw" class="cyc_term">TemporallyExtendedThing</a> is the collection of all things that are &quot;extended in time&quot;, as opposed to being &quot;wholly present at a time&quot;. <p/> For example, an event is a temporally-extended thing, as it is extended in time; it is not wholly present at any interval that is properly subsumed by its temporal extent. Similarly for a time-interval, such as a particular <a href="http://sw.opencyc.org/concept/Mx4rvVjyV5wpEbGdrcN5Y29ycA" class="cyc_term">CalendarYear</a>. Conversely, a person is not a temporally-extended thing, as s/he exists at different times and is wholly present at each such time. <p/> As the above examples illustrate, it is <i>not</i> the case that everthing that has a temporal extent (see <a href="http://sw.opencyc.org/concept/Mx4rvVjQn5wpEbGdrcN5Y29ycA" class="cyc_term">temporalExtent</a>) is a <a href="http://sw.opencyc.org/concept/Mx4rHKjaLCB0EdqAAAAH6Q2Zvw" class="cyc_term">TemporallyExtendedThing</a>. TemporallyExtendedThing the union of { time period, situation } (CollectionUnionFn (TheSet TimeInterval QualitativeTimeOfDay)) the union of { time period, time of day } The collection of all instances of <a href="http://sw.opencyc.org/concept/Mx4r_4bScKNtQdiVw7XtX-HN0Q" class="cyc_term">ClarifyingCollectionType</a> that are used by the <font color="#ff0000">#$KRAKEN</font> application to resolve natural language ambiguities. KE clarifying collection type KEClarifyingCollectionType Wikipedia Article URL (<a href="http://sw.opencyc.org/concept/Mx4rNv0nbm4TTjOp7yhmnzOyqg" class="cyc_term">wikipediaArticleURL</a> THING URL) means that in <a href="http://sw.opencyc.org/concept/Mx4rtqXA6OC8QdiWC72DuLJdUw" class="cyc_term">Wikipedia_WebSite</a> THING is described by an article located at URL wikipediaArticleURL seeAlsoURI <code>(<a href="http://sw.opencyc.org/concept/Mx4riWVFR6HJSpaEaHrcWS3MSA" class="cyc_term">seeAlsoURI</a> <b>THING</b> <b>URI</b>)</code> means that a description of the resource identified by URI is likely to contain information pertinent to THING. This predicate is roughly equivalent to rdfs:seeAlso. See Also URI type of temporally stuff-like thing TemporalStuffType A specialization of <a href="http://sw.opencyc.org/concept/Mx4rvVir35wpEbGdrcN5Y29ycA" class="cyc_term">StuffType</a> (q.v.) whose instances are all and only those collections that are temporally stuff-like. A collection <code><b>COL</b></code> is temporally stuff-like just in case every purely temporal part (see <a href="http://sw.opencyc.org/concept/Mx4rvWn4OZwpEbGdrcN5Y29ycA" class="cyc_term">timeSlices</a>) of an instance of <code><b>COL</b></code> is itself an instance of <code><b>COL</b></code>, unless it is a temporal part of a temporal granule of <code><b>COL</b></code> (see <a href="http://sw.opencyc.org/concept/Mx4rvVjaJJwpEbGdrcN5Y29ycA" class="cyc_term">granuleOfTemporalStuff</a>). <p/> More precisely, for a collection <code><b>COL</b></code> to be an instance of <a href="http://sw.opencyc.org/concept/Mx4rvVitN5wpEbGdrcN5Y29ycA" class="cyc_term">TemporalStuffType</a> it is both a necessary and sufficient condition that for any <code><b>OBJ1</b></code> and <code><b>OBJ2</b></code> (with <code><b>OBJ2</b></code> at or above <code><b>COL</b></code>'s temporal granularity level), if <code>(<a href="http://sw.opencyc.org/concept/Mx4rvViBBJwpEbGdrcN5Y29ycA" class="cyc_term">isa</a> <b>OBJ1</b> <b>COL</b>)</code> and <code>(<a href="http://sw.opencyc.org/concept/Mx4rvWn4OZwpEbGdrcN5Y29ycA" class="cyc_term">timeSlices</a> <b>OBJ1</b> <b>OBJ2</b>)</code>, then <code>(<a href="http://sw.opencyc.org/concept/Mx4rvViBBJwpEbGdrcN5Y29ycA" class="cyc_term">isa</a> <b>OBJ2</b> <b>COL</b>)</code>. <p/> Consider <a href="http://sw.opencyc.org/concept/Mx4rvVi0gpwpEbGdrcN5Y29ycA" class="cyc_term">WalkingOnTwoLegs</a>. Take an arbitrary instance <code><b>WALK</b></code> of this collection (say Miss America 2000's victory walk down the runway and back); and then take an arbitrary time-slice <code><b>SUBWALK</b></code> of <code><b>WALK</b></code> that subsumes at least one instance of (the <a href="http://sw.opencyc.org/concept/Mx4rvVjaJJwpEbGdrcN5Y29ycA" class="cyc_term">granuleOfTemporalStuff</a> for <a href="http://sw.opencyc.org/concept/Mx4rvVi0gpwpEbGdrcN5Y29ycA" class="cyc_term">WalkingOnTwoLegs</a>) <a href="http://sw.opencyc.org/concept/Mx4rvViYBpwpEbGdrcN5Y29ycA" class="cyc_term">TakingAStep</a> (say her trip back from the end of the runway). <code><b>SUBWALK</b></code> is itself an instance of <a href="http://sw.opencyc.org/concept/Mx4rvVi0gpwpEbGdrcN5Y29ycA" class="cyc_term">WalkingOnTwoLegs</a>. So <a href="http://sw.opencyc.org/concept/Mx4rvVi0gpwpEbGdrcN5Y29ycA" class="cyc_term">WalkingOnTwoLegs</a> is an instance of <a href="http://sw.opencyc.org/concept/Mx4rvVitN5wpEbGdrcN5Y29ycA" class="cyc_term">TemporalStuffType</a>. See <a href="http://sw.opencyc.org/concept/Mx4rvViq35wpEbGdrcN5Y29ycA" class="cyc_term">TemporalObjectType</a> for the disjoint notion of being temporally object-like. TestOWLExportConcept test OWL export concept A <a href="http://sw.opencyc.org/concept/Mx4ret7qgOKgEdmAAAACs6hfSg" class="cyc_term">ConceptTypeByDomain</a> (q.v.). Instances of <a href="http://sw.opencyc.org/concept/Mx4r9fut4P7NEdmAAAACs2IKaQ" class="cyc_term">TestOWLExportConcept</a> are concepts each of which tests some aspect of the new export schema. IntangibleIndividual The collection of wholly intangible individuals, a specialization of both <a href="http://sw.opencyc.org/concept/Mx4rvVjjo5wpEbGdrcN5Y29ycA" class="cyc_term">Intangible</a> and <a href="http://sw.opencyc.org/concept/Mx4rvVjaApwpEbGdrcN5Y29ycA" class="cyc_term">Individual</a>. Instances of <a href="http://sw.opencyc.org/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 TimeInterval A specialization of <a href="http://sw.opencyc.org/concept/Mx4rvViAxJwpEbGdrcN5Y29ycA" class="cyc_term">TemporalThing</a>, <a href="http://sw.opencyc.org/concept/Mx4rvVjj45wpEbGdrcN5Y29ycA" class="cyc_term">IntangibleIndividual</a>, and <a href="http://sw.opencyc.org/concept/Mx4rTIA_nqZtEdaAAACgycbRfg" class="cyc_term">ModalIndex</a> (qq.v.). Each instance of <a href="http://sw.opencyc.org/concept/Mx4rvViAw5wpEbGdrcN5Y29ycA" class="cyc_term">TimeInterval</a> is an intangible temporal thing that is characterized fully by its temporal extent. In this way, time intervals differ from <a href="http://sw.opencyc.org/concept/Mx4rvYjIS5wpEbGdrcN5Y29ycA" class="cyc_term">Situation</a>s such as <a href="http://sw.opencyc.org/concept/Mx4rvViADZwpEbGdrcN5Y29ycA" class="cyc_term">Event</a>s. For example, the year 1969 C.E. is a <a href="http://sw.opencyc.org/concept/Mx4rvViAw5wpEbGdrcN5Y29ycA" class="cyc_term">TimeInterval</a>; although many interesting things happened during that year, the year itself is completely defined by its temporal extent. Conversely, Neil Armstrong's walking on the Moon is an event and not a time interval, since it is not fully characterized by its temporal extent or any other purely temporal attributes (e.g. its taking place on the Moon and being done by Armstrong are not temporal attributes). Specializations of <a href="http://sw.opencyc.org/concept/Mx4rvViAw5wpEbGdrcN5Y29ycA" class="cyc_term">TimeInterval</a> include <a href="http://sw.opencyc.org/concept/Mx4rvVjyV5wpEbGdrcN5Y29ycA" class="cyc_term">CalendarYear</a>, <a href="http://sw.opencyc.org/concept/Mx4rvVjAKZwpEbGdrcN5Y29ycA" class="cyc_term">CalendarMonth</a>, and <a href="http://sw.opencyc.org/concept/Mx4rvVi4fZwpEbGdrcN5Y29ycA" class="cyc_term">FiscalQuarter</a>. time period ThingsWithTemporalExtent-Time-Topic things with temporal extent time topic AspatialThing A specialization of <a href="http://sw.opencyc.org/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/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/concept/Mx4rvxwC-ZwpEbGdrcN5Y29ycA" class="cyc_term">Number_General</a>, <a href="http://sw.opencyc.org/concept/Mx4rvVjl_ZwpEbGdrcN5Y29ycA" class="cyc_term">SetOrCollection</a>, <a href="http://sw.opencyc.org/concept/Mx4rvViJb5wpEbGdrcN5Y29ycA" class="cyc_term">Novel_CW</a>, <a href="http://sw.opencyc.org/concept/Mx4rvVjzepwpEbGdrcN5Y29ycA" class="cyc_term">NaturalLanguage</a>, and <a href="http://sw.opencyc.org/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 <i>not</i> aspatial, as they have spatial location and extent. See also the specialization <a href="http://sw.opencyc.org/concept/Mx4rpJ-nSEkJQdeC8NLkYPDBBw" class="cyc_term">AbstractThing</a>. non-spatial thing TimeInterval A specialization of <a href="http://sw.opencyc.org/concept/Mx4rvViAxJwpEbGdrcN5Y29ycA" class="cyc_term">TemporalThing</a>, <a href="http://sw.opencyc.org/concept/Mx4rvVjj45wpEbGdrcN5Y29ycA" class="cyc_term">IntangibleIndividual</a>, and <a href="http://sw.opencyc.org/concept/Mx4rTIA_nqZtEdaAAACgycbRfg" class="cyc_term">ModalIndex</a> (qq.v.). Each instance of <a href="http://sw.opencyc.org/concept/Mx4rvViAw5wpEbGdrcN5Y29ycA" class="cyc_term">TimeInterval</a> is an intangible temporal thing that is characterized fully by its temporal extent. In this way, time intervals differ from <a href="http://sw.opencyc.org/concept/Mx4rvYjIS5wpEbGdrcN5Y29ycA" class="cyc_term">Situation</a>s such as <a href="http://sw.opencyc.org/concept/Mx4rvViADZwpEbGdrcN5Y29ycA" class="cyc_term">Event</a>s. For example, the year 1969 C.E. is a <a href="http://sw.opencyc.org/concept/Mx4rvViAw5wpEbGdrcN5Y29ycA" class="cyc_term">TimeInterval</a>; although many interesting things happened during that year, the year itself is completely defined by its temporal extent. Conversely, Neil Armstrong's walking on the Moon is an event and not a time interval, since it is not fully characterized by its temporal extent or any other purely temporal attributes (e.g. its taking place on the Moon and being done by Armstrong are not temporal attributes). Specializations of <a href="http://sw.opencyc.org/concept/Mx4rvViAw5wpEbGdrcN5Y29ycA" class="cyc_term">TimeInterval</a> include <a href="http://sw.opencyc.org/concept/Mx4rvVjyV5wpEbGdrcN5Y29ycA" class="cyc_term">CalendarYear</a>, <a href="http://sw.opencyc.org/concept/Mx4rvVjAKZwpEbGdrcN5Y29ycA" class="cyc_term">CalendarMonth</a>, and <a href="http://sw.opencyc.org/concept/Mx4rvVi4fZwpEbGdrcN5Y29ycA" class="cyc_term">FiscalQuarter</a>. time period This is the collection of all modal indices, a sub-collection of <a href="http://sw.opencyc.org/concept/Mx4rS5XiAKZtEdaAAACgycbRfg" class="cyc_term">MicrotheoryIndex</a>, which are used in some modal inference. Sub-collections of this collection include <a href="http://sw.opencyc.org/concept/Mx4rvViAw5wpEbGdrcN5Y29ycA" class="cyc_term">TimeInterval</a>, <a href="http://sw.opencyc.org/concept/Mx4rSw3KoKZtEdaAAACgycbRfg" class="cyc_term">History_ModalIndex</a> and <a href="http://sw.opencyc.org/concept/Mx4rviojopwpEbGdrcN5Y29ycA" class="cyc_term">ModalReasoningMicrotheory</a>. modal index ModalIndex (CollectionUnionFn (TheSet TimeInterval Situation)) the union of { time period, situation } wikipediaArticleName (<a href="http://sw.opencyc.org/concept/Mx4rTv-jk9SPTXa991kk5mAvHg" class="cyc_term">wikipediaArticleName</a> THING NAME) means that in <a href="http://sw.opencyc.org/concept/Mx4rtqXA6OC8QdiWC72DuLJdUw" class="cyc_term">Wikipedia_WebSite</a> THING is described by an article with the title NAME Wikipedia Article Name TemporalThing A specialization of <a href="http://sw.opencyc.org/concept/Mx4rvVjaApwpEbGdrcN5Y29ycA" class="cyc_term">Individual</a>. This is the collection of all things that have temporal extent or location -- things about which one might sensibly ask &quot;<i>When?</i>&quot;. <a href="http://sw.opencyc.org/concept/Mx4rvViAxJwpEbGdrcN5Y29ycA" class="cyc_term">TemporalThing</a> thus contains many kinds of things, including events, physical objects, agreements, and pure intervals of time. Major specializations of this collection are <a href="http://sw.opencyc.org/concept/Mx4rvVi255wpEbGdrcN5Y29ycA" class="cyc_term">SomethingExisting</a>, <a href="http://sw.opencyc.org/concept/Mx4rvYjIS5wpEbGdrcN5Y29ycA" class="cyc_term">Situation</a>, and <a href="http://sw.opencyc.org/concept/Mx4rvViAw5wpEbGdrcN5Y29ycA" class="cyc_term">TimeInterval</a> (qq.v.). <p/> Things that are timeless -- such as mathematical sets, <a href="http://sw.opencyc.org/concept/Mx4rvViAzJwpEbGdrcN5Y29ycA" class="cyc_term">Collection</a>s, and numbers -- are of course <i>not</i> instances of <a href="http://sw.opencyc.org/concept/Mx4rvViAxJwpEbGdrcN5Y29ycA" class="cyc_term">TemporalThing</a> (cf. <a href="http://sw.opencyc.org/concept/Mx4rGfrGRkkIQdeI2O3iJCGV3Q" class="cyc_term">AtemporalThing</a>). thing that exists in time Analyst-PertinentConcept the intelligence analyst reasoning domain An instance of <a href="http://sw.opencyc.org/concept/Mx4ret7qgOKgEdmAAAACs6hfSg" class="cyc_term">ConceptTypeByDomain</a>. Generally speaking, instances of <a href="http://sw.opencyc.org/concept/Mx4r46fYpnaNEduAAAACs6hbjw" class="cyc_term">Analyst_PertinentConcept</a> are concepts and relations such as are used by intelligence analysts reasoning about threat situations. Specifically, all core concepts in this domain (see <a href="http://sw.opencyc.org/concept/Mx4rgycE6OKgEdmAAAACs6hfSg" class="cyc_term">coreConceptOfDomain</a>) are either 1) <a href="http://sw.opencyc.org/concept/Mx4rvViBApwpEbGdrcN5Y29ycA" class="cyc_term">BinaryPredicate</a>s referenced in AKB Fact Entry Templates, 2) <a href="http://sw.opencyc.org/concept/Mx4rvViBAZwpEbGdrcN5Y29ycA" class="cyc_term">TernaryPredicate</a>s referenced in AKB Fact Entry Templates, 3:)<a href="http://sw.opencyc.org/concept/Mx4rHIBS0h_TEdaAAABQ2rksLw" class="cyc_term">FirstOrderCollection</a>s that are asserted to be <a href="http://sw.opencyc.org/concept/Mx4rvuItPZwpEbGdrcN5Y29ycA" class="cyc_term">argIsa</a>s of <a href="http://sw.opencyc.org/concept/Mx4rvViBApwpEbGdrcN5Y29ycA" class="cyc_term">BinaryPredicate</a>s referenced in AKB Fact Entry Templates, 4) <a href="http://sw.opencyc.org/concept/Mx4rHIBS0h_TEdaAAABQ2rksLw" class="cyc_term">FirstOrderCollection</a>s that are asserted to be <a href="http://sw.opencyc.org/concept/Mx4rvuItPZwpEbGdrcN5Y29ycA" class="cyc_term">argIsa</a>s of <a href="http://sw.opencyc.org/concept/Mx4rvViBAZwpEbGdrcN5Y29ycA" class="cyc_term">TernaryPredicate</a>s referenced in AKB Fact Entry Templates, 5) <a href="http://sw.opencyc.org/concept/Mx4rHIBS0h_TEdaAAABQ2rksLw" class="cyc_term">FirstOrderCollection</a>s that are asserted to be <a href="http://sw.opencyc.org/concept/Mx4rvyTLHJwpEbGdrcN5Y29ycA" class="cyc_term">argGenl</a>s of <a href="http://sw.opencyc.org/concept/Mx4rvViBAZwpEbGdrcN5Y29ycA" class="cyc_term">TernaryPredicate</a>s referenced in AKB Fact Entry Templates, or 6) concepts or relations that are instances of instances of <font color="#ff0000">#$TKBInterfaceCollection</font>. type of atemporal collection in which membership is necessarily essential AtemporalNecessarilyEssentialCollectionType A collection of collections. Each instance <code><b>COL</b></code> of <a href="http://sw.opencyc.org/concept/Mx4rqEYnNVMqEdaSKAACs0x8nw" class="cyc_term">AtemporalNecessarilyEssentialCollectionType</a> (<i>ANECT</i>) is a collection satisfying three conditions: (1) <code><b>COL</b></code> is disjoint with (see <a href="http://sw.opencyc.org/concept/Mx4rvViA45wpEbGdrcN5Y29ycA" class="cyc_term">disjointWith</a>) <a href="http://sw.opencyc.org/concept/Mx4rvViAxJwpEbGdrcN5Y29ycA" class="cyc_term">TemporalThing</a>, (2) every instance <code><b>INST</b></code> of <code><b>COL</b></code> is an instance of <code><b>COL</b></code> essentially (i.e. <code><b>INST</b></code> is an instance of <code><b>COL</b></code>, and could not exist without being an instance of <code><b>COL</b></code>), and (3) condition (2) is a necessary truth about <code><b>COL</b></code>. <p/> Positive examples of ANECTs include <a href="http://sw.opencyc.org/concept/Mx4rvViAzJwpEbGdrcN5Y29ycA" class="cyc_term">Collection</a>, <a href="http://sw.opencyc.org/concept/Mx4rvVieEpwpEbGdrcN5Y29ycA" class="cyc_term">Integer</a>, and <a href="http://sw.opencyc.org/concept/Mx4rvViAzZwpEbGdrcN5Y29ycA" class="cyc_term">Relation</a> (each of which is a collection of atemporals and is such that, necessarily, all of its instances are in it essentially). Negative examples include <a href="http://sw.opencyc.org/concept/Mx4rvVjpUZwpEbGdrcN5Y29ycA" class="cyc_term">SpatialThing</a> (though arguably it is necessary that all of its instances are essentially instances of it, it is not disjoint with <a href="http://sw.opencyc.org/concept/Mx4rvViAxJwpEbGdrcN5Y29ycA" class="cyc_term">TemporalThing</a>) and <a href="http://sw.opencyc.org/concept/Mx4rwP4FM5wpEbGdrcN5Y29ycA" class="cyc_term">UniqueAnatomicalPartType</a> (which, though disjoint with <a href="http://sw.opencyc.org/concept/Mx4rvViAxJwpEbGdrcN5Y29ycA" class="cyc_term">TemporalThing</a>, has instances, such as <a href="http://sw.opencyc.org/concept/Mx4rvVjvDpwpEbGdrcN5Y29ycA" class="cyc_term">Heart</a>, that could exist even if they weren't instances of it; e.g. it might have been the case that every creature with a heart had at least two hearts). There are no known examples of Cyc-reified collections satisfying conditions (1) and (2) but not (3), but one can be contrived. Suppose that all of today's winning lottery numbers were primes. Now consider the collection: <p/> (<a href="http://sw.opencyc.org/concept/Mx4rvrhK-JwpEbGdrcN5Y29ycA" class="cyc_term">CollectionUnionFn</a> (<a href="http://sw.opencyc.org/concept/Mx4rvVjkdpwpEbGdrcN5Y29ycA" class="cyc_term">TheSet</a> <a href="http://sw.opencyc.org/concept/Mx4rvVjrdZwpEbGdrcN5Y29ycA" class="cyc_term">PrimeNumber</a> <i>TodaysWinningLotteryNumbers</i>)) <p/> This collection is clearly disjoint with <a href="http://sw.opencyc.org/concept/Mx4rvViAxJwpEbGdrcN5Y29ycA" class="cyc_term">TemporalThing</a> and, by hypothesis, all of its instances are in it essentially (as each prime number is essentially a prime number). But this last fact is not <i>necessarily</i> true of this collection: the collection might have had instances that belonged to it only contingently (i.e. not essentially), as it might have been the case that one of today's winning lottery numbers was non-prime, and no number is such that it is essentially one of today's winning lottery numbers. <p/> When asserting that something is an instance or specialization of a given instance of ANECT, it is appropriate to do so in the <a href="http://sw.opencyc.org/concept/Mx4r3_SgQU2iEdaCwAACs0x8nw" class="cyc_term">UniversalVocabularyMt</a> (q.v.). Indeed, ANECT was specially defined to facilitate the movement of appropriate assertions to that microtheory. <p/> Cf. <a href="http://sw.opencyc.org/concept/Mx4rGeylLJTfEdqAAAACs0uFOQ" class="cyc_term">PragmaticallyDecontextualizedCollection</a>. The collection <a href="http://sw.opencyc.org/concept/Mx4rB2YikmUtEduAAAACs6hRXg" class="cyc_term">FactGatheringTypicallyUnspecifiedSetOrCollection</a> is a sub-collection of <a href="http://sw.opencyc.org/concept/Mx4rvVjl_ZwpEbGdrcN5Y29ycA" class="cyc_term">SetOrCollection</a>. Each instance of this collection is such that if it is the argIsa argument constraint for the Nth argument position for a predicate P, then that predicate position is one which should not be the only specified position when the constructing knowledge acquisition goals with P in the arg0 position. fact gathering typically unspecified set or collection FactGatheringTypicallyUnspecifiedSetOrCollection (CollectionUnionFn (TheSet Event TimeInterval)) the union of { event, time period }