]> 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. 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>. date functions time topic DateFunctions-Time-Topic CalendarWeekend weekend A specialization of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVisWZwpEbGdrcN5Y29ycA" class="cyc_term">Date</a> and an instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rtlx2ElmbQdeeBJIvuYHGpQ" class="cyc_term">ConventionallyClassifiedTimeIntervalSeries_DisjointWithGaps</a>. Instances of this collection are <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVisWZwpEbGdrcN5Y29ycA" class="cyc_term">Date</a>s that are composed exactly of a <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjWs5wpEbGdrcN5Y29ycA" class="cyc_term">Saturday</a> and the immediately following <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjWN5wpEbGdrcN5Y29ycA" class="cyc_term">Sunday</a>. Note that this collection of time intervals is not a <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVijDJwpEbGdrcN5Y29ycA" class="cyc_term">CalendarCoveringType</a> : although the instances of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwQCfBJwpEbGdrcN5Y29ycA" class="cyc_term">CalendarWeekend</a> are mutually disjoint, the union of all its instances does not cover all of time). CalendarSeasonType A specialization of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rtlx2ElmbQdeeBJIvuYHGpQ" class="cyc_term">ConventionallyClassifiedTimeIntervalSeries_DisjointWithGaps</a> and <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvh7QtZwpEbGdrcN5Y29ycA" class="cyc_term">AnnualTemporalObjectType</a>. Each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvgEUH5wpEbGdrcN5Y29ycA" class="cyc_term">CalendarSeasonType</a> is a specialization of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvgEU5pwpEbGdrcN5Y29ycA" class="cyc_term">CalendarSeason</a> -- <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvgEW85wpEbGdrcN5Y29ycA" class="cyc_term">CalendarWinter</a>, <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvgEXNZwpEbGdrcN5Y29ycA" class="cyc_term">CalendarSpring</a>, <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvgEXaJwpEbGdrcN5Y29ycA" class="cyc_term">CalendarSummer</a>, and <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvgEXkJwpEbGdrcN5Y29ycA" class="cyc_term">CalendarAutumn</a>. season A subcollection of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVisWZwpEbGdrcN5Y29ycA" class="cyc_term">Date</a> (q.v.) and an instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVijDJwpEbGdrcN5Y29ycA" class="cyc_term">CalendarCoveringType</a> (q.v.). <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViCPpwpEbGdrcN5Y29ycA" class="cyc_term">CalendarSecond</a> is the collection of seconds that make up the calendar. Each <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVi5_JwpEbGdrcN5Y29ycA" class="cyc_term">CalendarMinute</a> (q.v.) is divided into sixty contiguous calendar-seconds. Note that (as with any instance of an instance of calendar-covering-type) a given calendar-second is a temporally-continuous individual that occurs only _once_; e.g. it is not something that recurs each hour or each year. second CalendarSecond CalendarHour An instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVijDJwpEbGdrcN5Y29ycA" class="cyc_term">CalendarCoveringType</a>, and a specialization of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVisWZwpEbGdrcN5Y29ycA" class="cyc_term">Date</a>. Each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViTO5wpEbGdrcN5Y29ycA" class="cyc_term">CalendarHour</a> is an hour in some particular calendar. Instances of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViTO5wpEbGdrcN5Y29ycA" class="cyc_term">CalendarHour</a> include (<a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvgEAgpwpEbGdrcN5Y29ycA" class="cyc_term">HourFn</a> 12 (<a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvgD_W5wpEbGdrcN5Y29ycA" class="cyc_term">DayFn</a> 20 (<a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvgD9jZwpEbGdrcN5Y29ycA" class="cyc_term">MonthFn</a> <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVi4M5wpEbGdrcN5Y29ycA" class="cyc_term">January</a> (<a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjympwpEbGdrcN5Y29ycA" class="cyc_term">YearFn</a> 1965)))) and (<a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvgEAgpwpEbGdrcN5Y29ycA" class="cyc_term">HourFn</a> 13 (<a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvgD_W5wpEbGdrcN5Y29ycA" class="cyc_term">DayFn</a> 13 (<a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvgD9jZwpEbGdrcN5Y29ycA" class="cyc_term">MonthFn</a> <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjBrZwpEbGdrcN5Y29ycA" class="cyc_term">July</a> (<a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjympwpEbGdrcN5Y29ycA" class="cyc_term">YearFn</a> 2000)))). calendar hour PM TimeOfDay-PM A specialization of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViG9ZwpEbGdrcN5Y29ycA" class="cyc_term">TimeOfDay</a>. Each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwP3g25wpEbGdrcN5Y29ycA" class="cyc_term">TimeOfDay_PM</a> is a period of time from one second after Noon to one second before Midnight on a particular calendar day (see <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjeCJwpEbGdrcN5Y29ycA" class="cyc_term">CalendarDay</a>). An instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVijDJwpEbGdrcN5Y29ycA" class="cyc_term">CalendarCoveringType</a>, and a specialization of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVisWZwpEbGdrcN5Y29ycA" class="cyc_term">Date</a>. Each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVi49pwpEbGdrcN5Y29ycA" class="cyc_term">CalendarCentury</a> is a century on a particular calendar. Instances of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVi49pwpEbGdrcN5Y29ycA" class="cyc_term">CalendarCentury</a> include <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwQCIJZwpEbGdrcN5Y29ycA" class="cyc_term">TheNineteenthCenturyCE</a> and <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwPce3JwpEbGdrcN5Y29ycA" class="cyc_term">TheTwentiethCenturyCE</a>. CalendarCentury century CalendarWeek An instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVijDJwpEbGdrcN5Y29ycA" class="cyc_term">CalendarCoveringType</a> and a specialization of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVisWZwpEbGdrcN5Y29ycA" class="cyc_term">Date</a>. Each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjAZJwpEbGdrcN5Y29ycA" class="cyc_term">CalendarWeek</a> is a particular week on some particular calendar. Instances of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjAZJwpEbGdrcN5Y29ycA" class="cyc_term">CalendarWeek</a> include the first week (i.e. the initial seven-day-long <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViAw5wpEbGdrcN5Y29ycA" class="cyc_term">TimeInterval</a>) of December, 2001. week NonLeapYear non-leap year The collection of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjyV5wpEbGdrcN5Y29ycA" class="cyc_term">CalendarYear</a>s which are not leap years; i.e., calendar years in which February has 28 days winter A specialization of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvgEU5pwpEbGdrcN5Y29ycA" class="cyc_term">CalendarSeason</a>. Each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvgEW85wpEbGdrcN5Y29ycA" class="cyc_term">CalendarWinter</a> is a time interval that begins on a day considered to begin a winter season, and ends on a day considered to end a winter season. For example, according to mainstream culture in the U.S.A., instances of this collection begin each year on the <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rR_ZizIUhEdaAAAACs0uFOQ" class="cyc_term">DecemberSolstice</a> (about December 21) and end on the <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rQBn35IUhEdaAAAACs0uFOQ" class="cyc_term">VernalEquinox</a> (about March 21) each year (see <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4r0qqasHMeEdaAAAACs0uFOQ" class="cyc_term">CalendarWinter_US</a>), whereas according to mainstram Australasian culture, instances of this collection begin June 1st and end August 31st (see <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rtwEZ0nMfEdaAAAACs0uFOQ" class="cyc_term">CalendarWinter_Australasian</a>). CalendarWinter CalendarDecade decade An instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVijDJwpEbGdrcN5Y29ycA" class="cyc_term">CalendarCoveringType</a>, and a specialization of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVisWZwpEbGdrcN5Y29ycA" class="cyc_term">Date</a>. Each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVi5N5wpEbGdrcN5Y29ycA" class="cyc_term">CalendarDecade</a> is a decade on a particular calendar. For the example, the nineteen eighties is an instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVi5N5wpEbGdrcN5Y29ycA" class="cyc_term">CalendarDecade</a>. A specialization of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViG9ZwpEbGdrcN5Y29ycA" class="cyc_term">TimeOfDay</a>. Each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwP3f3ZwpEbGdrcN5Y29ycA" class="cyc_term">TimeOfDay_AM</a> is the smallest (continuous) time interval including the first second (minute/hour) after midnight and the last second (minute/hour) before noon on a particular calendar day (see the collection <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjeCJwpEbGdrcN5Y29ycA" class="cyc_term">CalendarDay</a>). TimeOfDay-AM AM month CalendarMonth An instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVijDJwpEbGdrcN5Y29ycA" class="cyc_term">CalendarCoveringType</a>, and a specialization of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVisWZwpEbGdrcN5Y29ycA" class="cyc_term">Date</a>. Each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjAKZwpEbGdrcN5Y29ycA" class="cyc_term">CalendarMonth</a> is a month in a particular calendar. An example sub-collection of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjAKZwpEbGdrcN5Y29ycA" class="cyc_term">CalendarMonth</a> is <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjC95wpEbGdrcN5Y29ycA" class="cyc_term">February</a> , the collection of all months of February. One instance of the collection <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjC95wpEbGdrcN5Y29ycA" class="cyc_term">February</a> (and thus one instance of the collection <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjAKZwpEbGdrcN5Y29ycA" class="cyc_term">CalendarMonth</a>) is (<a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvgD9jZwpEbGdrcN5Y29ycA" class="cyc_term">MonthFn</a> <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjC95wpEbGdrcN5Y29ycA" class="cyc_term">February</a> (<a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjympwpEbGdrcN5Y29ycA" class="cyc_term">YearFn</a> 1992)), February of 1992. LeapYear The collection of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjyV5wpEbGdrcN5Y29ycA" class="cyc_term">CalendarYear</a>s which are leap years; in the Julian & Gregorian calendar systems these are calendar years in which February has 29 days leap year CalendarDay calendar day An instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVijDJwpEbGdrcN5Y29ycA" class="cyc_term">CalendarCoveringType</a>, and a specialization of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVisWZwpEbGdrcN5Y29ycA" class="cyc_term">Date</a>. Each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjeCJwpEbGdrcN5Y29ycA" class="cyc_term">CalendarDay</a> is a day on some particular calendar. Instances of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjeCJwpEbGdrcN5Y29ycA" class="cyc_term">CalendarDay</a> include (<a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvgD_W5wpEbGdrcN5Y29ycA" class="cyc_term">DayFn</a> 1 (<a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvgD9jZwpEbGdrcN5Y29ycA" class="cyc_term">MonthFn</a> <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjBrZwpEbGdrcN5Y29ycA" class="cyc_term">July</a> (<a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjympwpEbGdrcN5Y29ycA" class="cyc_term">YearFn</a> 1646))) and (<a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvgD_W5wpEbGdrcN5Y29ycA" class="cyc_term">DayFn</a> 8 (<a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvgD9jZwpEbGdrcN5Y29ycA" class="cyc_term">MonthFn</a> <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjApZwpEbGdrcN5Y29ycA" class="cyc_term">November</a> (<a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjympwpEbGdrcN5Y29ycA" class="cyc_term">YearFn</a> 1848))). An instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVijDJwpEbGdrcN5Y29ycA" class="cyc_term">CalendarCoveringType</a>, and a specialization of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVisWZwpEbGdrcN5Y29ycA" class="cyc_term">Date</a>. Each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwQrkx5wpEbGdrcN5Y29ycA" class="cyc_term">CalendarQuarter</a> is a quarter of a year on a particular calendar, and thus will be either the first, second, third, or fourth quarter of some year (see the collection <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjyV5wpEbGdrcN5Y29ycA" class="cyc_term">CalendarYear</a>) on that calendar. Example instances of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwQrkx5wpEbGdrcN5Y29ycA" class="cyc_term">CalendarQuarter</a> include (<a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwQrk45wpEbGdrcN5Y29ycA" class="cyc_term">QuarterFn</a> 1 (<a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjympwpEbGdrcN5Y29ycA" class="cyc_term">YearFn</a> 1996)) and (<a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwQrk45wpEbGdrcN5Y29ycA" class="cyc_term">QuarterFn</a> 4 (<a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjympwpEbGdrcN5Y29ycA" class="cyc_term">YearFn</a> 1929)). calendar quarter CalendarQuarter An instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVijDJwpEbGdrcN5Y29ycA" class="cyc_term">CalendarCoveringType</a>, and a specialization of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVisWZwpEbGdrcN5Y29ycA" class="cyc_term">Date</a>. Each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwPcfnpwpEbGdrcN5Y29ycA" class="cyc_term">CalendarHalfCentury</a> is a half-century on a particular calendar, and thus will be either the first half or the second half of some century (see the constant <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVi49pwpEbGdrcN5Y29ycA" class="cyc_term">CalendarCentury</a>) on that calendar. Instances of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwPcfnpwpEbGdrcN5Y29ycA" class="cyc_term">CalendarHalfCentury</a> include <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwPclXZwpEbGdrcN5Y29ycA" class="cyc_term">FirstHalfOf20thCenturyCE</a> and <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwPcmEJwpEbGdrcN5Y29ycA" class="cyc_term">LastHalfOf20thCenturyCE</a>. half-century CalendarHalfCentury calendar milli second CalendarMilliSecond A subcollection of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVisWZwpEbGdrcN5Y29ycA" class="cyc_term">Date</a> (q.v.) and an instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVijDJwpEbGdrcN5Y29ycA" class="cyc_term">CalendarCoveringType</a> (q.v.). <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rjDIG0hYWEdiZsQACs2G8_A" class="cyc_term">CalendarMilliSecond</a> is the collection of milliseconds that make up the calendar. Each <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViCPpwpEbGdrcN5Y29ycA" class="cyc_term">CalendarSecond</a> (q.v.) is divided into one thousand contiguous <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rjDIG0hYWEdiZsQACs2G8_A" class="cyc_term">CalendarMilliSecond</a>s. Note that (as with any instance of an instance of calendar-covering-type) a given instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rjDIG0hYWEdiZsQACs2G8_A" class="cyc_term">CalendarMilliSecond</a> is a temporally continuous individual that occurs only _once_. An instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVijDJwpEbGdrcN5Y29ycA" class="cyc_term">CalendarCoveringType</a>, and a specialization of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVisWZwpEbGdrcN5Y29ycA" class="cyc_term">Date</a>. Each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVi5_JwpEbGdrcN5Y29ycA" class="cyc_term">CalendarMinute</a> is a minute on a particular calendar. For example, the first minute of the year 2000 is an instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVi5_JwpEbGdrcN5Y29ycA" class="cyc_term">CalendarMinute</a>, representable as (<a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvgEA15wpEbGdrcN5Y29ycA" class="cyc_term">MinuteFn</a> 1 (<a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvgEAgpwpEbGdrcN5Y29ycA" class="cyc_term">HourFn</a> 0 (<a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvgD_W5wpEbGdrcN5Y29ycA" class="cyc_term">DayFn</a> 1 (<a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvgD9jZwpEbGdrcN5Y29ycA" class="cyc_term">MonthFn</a> <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVi4M5wpEbGdrcN5Y29ycA" class="cyc_term">January</a> (<a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjympwpEbGdrcN5Y29ycA" class="cyc_term">YearFn</a> 2000))))). CalendarMinute calendar minute A specialization of both <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvgETA5wpEbGdrcN5Y29ycA" class="cyc_term">TemporallyDisjointTemporalObjectType</a> and <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rT2stuKZtEdaAAACgycbRfg" class="cyc_term">TimeParameter</a> (qq.v.), and a collection of collections of time intervals. Each instance COVTYPE of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVijDJwpEbGdrcN5Y29ycA" class="cyc_term">CalendarCoveringType</a> is a collection of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViAw5wpEbGdrcN5Y29ycA" class="cyc_term">TimeInterval</a>s such that the temporally-ordered sequence of all of the instances of COVTYPE would completely cover all of time without any overlap. Thus, <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViTO5wpEbGdrcN5Y29ycA" class="cyc_term">CalendarHour</a> is a <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVijDJwpEbGdrcN5Y29ycA" class="cyc_term">CalendarCoveringType</a> because all of time consists of a non-overlapping sequence of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViTO5wpEbGdrcN5Y29ycA" class="cyc_term">CalendarHour</a>s. Similarly, <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjAZJwpEbGdrcN5Y29ycA" class="cyc_term">CalendarWeek</a>, <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjeCJwpEbGdrcN5Y29ycA" class="cyc_term">CalendarDay</a>, and <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4r0xB65iyJEdaAAABQ2rksLw" class="cyc_term">GregorianMonth</a> are calendar-covering types. Conversely, <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjW85wpEbGdrcN5Y29ycA" class="cyc_term">Monday</a> and <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVi4upwpEbGdrcN5Y29ycA" class="cyc_term">December</a> are _not_ calendar-covering types because time does not consist of an unbroken sequence of Mondays, or of Decembers. Also note that a collection called (say) "Week" -- defined (unlike CalendarWeek) as the collection of _all_ seven-day-long periods of time (thus an instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rUZ_j-rTBEdaAAACgycbRfg" class="cyc_term">SameLengthTimeIntervalType</a>) -- would _not_ be an instance of CalendarCoveringType since different Weeks of this sort overlap; e.g. the week beginning today, the week beginning yesterday, and the week beginning tomorrow all overlap. type of calendar time interval CalendarCoveringType year CalendarYear A subcollection of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVisWZwpEbGdrcN5Y29ycA" class="cyc_term">Date</a> (q.v.) and an instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVijDJwpEbGdrcN5Y29ycA" class="cyc_term">CalendarCoveringType</a> (q.v.). Each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjyV5wpEbGdrcN5Y29ycA" class="cyc_term">CalendarYear</a> is a year in some particular calendar. Examples include #$TheYear1972 and (<a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjympwpEbGdrcN5Y29ycA" class="cyc_term">YearFn</a> 2001). Note that (as with any instance of an instance of calendar-covering-type) a given calendar-year is a temporally-continuous individual that occurs only _once_; e.g. it is not something that recurs each century or each millenium. CalendarSummer A specialization of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvgEU5pwpEbGdrcN5Y29ycA" class="cyc_term">CalendarSeason</a>. Each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvgEXaJwpEbGdrcN5Y29ycA" class="cyc_term">CalendarSummer</a> is a time interval that begins on a day considered to begin a summer season, and ends on a day considered to end a summer season. For example, according to mainstream culture in the U.S.A., instances of this collection begin each year on the <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rRgvZzoUhEdaAAAACs0uFOQ" class="cyc_term">JuneSolstice</a> (about June 21) and end on the <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rQexstIUhEdaAAAACs0uFOQ" class="cyc_term">AutumnalEquinox</a> (about September 21st) (see <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rEBtMRnMfEdaAAAACs0uFOQ" class="cyc_term">CalendarSummer_US</a>), whereas according to mainstram Australasian culture, instances of this collection begin December 1st and end on the last day of February (see <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4r-7kYVHMfEdaAAAACs0uFOQ" class="cyc_term">CalendarSummer_Australasian</a>). summer CalendarSpring spring A specialization of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvgEU5pwpEbGdrcN5Y29ycA" class="cyc_term">CalendarSeason</a>. Each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvgEXNZwpEbGdrcN5Y29ycA" class="cyc_term">CalendarSpring</a> is a time interval that begins on a day considered to begin a spring season, and ends on a day considered to end a spring season. For example, according to mainstream culture in the U.S.A., instances of this collection begin each year on the <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rQBn35IUhEdaAAAACs0uFOQ" class="cyc_term">VernalEquinox</a> (about March 21) and end on the <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rRgvZzoUhEdaAAAACs0uFOQ" class="cyc_term">JuneSolstice</a> (about June 21st) (see <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4r89z-MHMeEdaAAAACs0uFOQ" class="cyc_term">CalendarSpring_US</a>), whereas according to mainstream Australasian culture, instances of this collection begin September 1st and end November 30th (see <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4r31k6kHMfEdaAAAACs0uFOQ" class="cyc_term">CalendarSpring_Australasian</a>). A specialization of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVisWZwpEbGdrcN5Y29ycA" class="cyc_term">Date</a> and an instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVijDJwpEbGdrcN5Y29ycA" class="cyc_term">CalendarCoveringType</a> and <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rtdDZwlmbQdeNuckwQ46hMA" class="cyc_term">ConventionallyClassifiedTimeIntervalSeries_CoveringAndDisjoint</a> (qq.v.). Each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvgEU5pwpEbGdrcN5Y29ycA" class="cyc_term">CalendarSeason</a> is a time interval that is thought of by a significant group of people (often an entire culture -- see <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4roEQm6nMeEdaAAAACs0uFOQ" class="cyc_term">CalendarSeasonTypeByCulture</a>) as significantly intersecting the instances of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViE3pwpEbGdrcN5Y29ycA" class="cyc_term">SeasonOfYear</a> to which those people are typically exposed. For example, one specialization of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvgEU5pwpEbGdrcN5Y29ycA" class="cyc_term">CalendarSeason</a> (<a href="http://sw.opencyc.org/2008/06/10/concept/Mx4r0qqasHMeEdaAAAACs0uFOQ" class="cyc_term">CalendarWinter_US</a>) is the collection of time intervals that people in mainstream U.S. culture consider to be co-temporal with the cold winter season (each of these intervals begins on the December solstice of a given year and ends on the Vernal equinox of that year). For more on the difference between <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvgEU5pwpEbGdrcN5Y29ycA" class="cyc_term">CalendarSeason</a> and <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViE3pwpEbGdrcN5Y29ycA" class="cyc_term">SeasonOfYear</a> see the #$SharedNoteOnHemispheresAndCalendars. Important specializations of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvgEU5pwpEbGdrcN5Y29ycA" class="cyc_term">CalendarSeason</a> include <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvgEW85wpEbGdrcN5Y29ycA" class="cyc_term">CalendarWinter</a>, <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvgEXNZwpEbGdrcN5Y29ycA" class="cyc_term">CalendarSpring</a>, <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvgEXaJwpEbGdrcN5Y29ycA" class="cyc_term">CalendarSummer</a>, and <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvgEXkJwpEbGdrcN5Y29ycA" class="cyc_term">CalendarAutumn</a>. calendar season CalendarSeason A specialization of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvgEU5pwpEbGdrcN5Y29ycA" class="cyc_term">CalendarSeason</a>. Each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvgEXkJwpEbGdrcN5Y29ycA" class="cyc_term">CalendarAutumn</a> is a time interval that begins on a day considered to begin an autumn season, and ends on a day considered to end an autumn season. For example, according to mainstream culture in the U.S.A., instances of this collection begin each year on the <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rQexstIUhEdaAAAACs0uFOQ" class="cyc_term">AutumnalEquinox</a> (about September 21) and end on the <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rR_ZizIUhEdaAAAACs0uFOQ" class="cyc_term">DecemberSolstice</a> (about December 21st) (see <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rIhXT2nMfEdaAAAACs0uFOQ" class="cyc_term">CalendarAutumn_US</a>), whereas according to mainstream Australasian culture, instances of this collection begin March 1st and end on the last day of May (see <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rFGhctnMgEdaAAAACs0uFOQ" class="cyc_term">CalendarAutumn_Australasian</a>). autumn CalendarAutumn 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>. date functions time topic DateFunctions-Time-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>. date functions time topic DateFunctions-Time-Topic Time-Topic A <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4r2SZdtGMBQdiOl-Ui2UGs_g" class="cyc_term">CycVocabularyTopLevelTopic</a> and a <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rtGXkHpNaEdqAAAACs0uFOQ" class="cyc_term">KBDependentCollection</a>. time-topic 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 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 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>. date functions time topic DateFunctions-Time-Topic