]> 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. time of day type A specialization of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rthXufFmbQdeHbdGF9gweSw" class="cyc_term">ConventionallyClassifiedTimeIntervalSeries_Disjoint</a> (q.v.), containing every type TYPE of time intervals such that each calendar day intersects, indeed subsumes, exactly one member of TYPE; that is to say, the relation <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViAGZwpEbGdrcN5Y29ycA" class="cyc_term">temporallySubsumes</a>, when restricted to <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjeCJwpEbGdrcN5Y29ycA" class="cyc_term">CalendarDay</a> times TYPE, is a one-one function from <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjeCJwpEbGdrcN5Y29ycA" class="cyc_term">CalendarDay</a> to TYPE. Examples include <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwP3g25wpEbGdrcN5Y29ycA" class="cyc_term">TimeOfDay_PM</a>, <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVj3_ZwpEbGdrcN5Y29ycA" class="cyc_term">TimeOfDay_9AM</a>, and <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjbTJwpEbGdrcN5Y29ycA" class="cyc_term">TimeOfDay_MidnightHour</a>. TimeOfDayType time of day types time of day times of day hour of the day A specialization of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViGc5wpEbGdrcN5Y29ycA" class="cyc_term">TimeOfDayType</a> (q.v.) and a collection of collections of calendar-hours. There are exactly twenty-four instances of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvgEbZpwpEbGdrcN5Y29ycA" class="cyc_term">HourOfDayType</a>, each of which is a clock-synchronized subcollection of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViTO5wpEbGdrcN5Y29ycA" class="cyc_term">CalendarHour</a>; e.g. <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjZt5wpEbGdrcN5Y29ycA" class="cyc_term">TimeOfDay_8AM</a>. See also <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViG9ZwpEbGdrcN5Y29ycA" class="cyc_term">TimeOfDay</a>. HourOfDayType A <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViGc5wpEbGdrcN5Y29ycA" class="cyc_term">TimeOfDayType</a> (q.v.). Each instance of this collection is a time of day when the roads, busses, trains, etc. are most crowded, because people are travelling to or from work. rush hour RushHour 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>). 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 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))). the union of The Set time of day type time of month type (CollectionUnionFn (TheSet TimeOfDayType TimeOfMonthType)) time of day type A specialization of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rthXufFmbQdeHbdGF9gweSw" class="cyc_term">ConventionallyClassifiedTimeIntervalSeries_Disjoint</a> (q.v.), containing every type TYPE of time intervals such that each calendar day intersects, indeed subsumes, exactly one member of TYPE; that is to say, the relation <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViAGZwpEbGdrcN5Y29ycA" class="cyc_term">temporallySubsumes</a>, when restricted to <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjeCJwpEbGdrcN5Y29ycA" class="cyc_term">CalendarDay</a> times TYPE, is a one-one function from <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjeCJwpEbGdrcN5Y29ycA" class="cyc_term">CalendarDay</a> to TYPE. Examples include <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwP3g25wpEbGdrcN5Y29ycA" class="cyc_term">TimeOfDay_PM</a>, <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVj3_ZwpEbGdrcN5Y29ycA" class="cyc_term">TimeOfDay_9AM</a>, and <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjbTJwpEbGdrcN5Y29ycA" class="cyc_term">TimeOfDay_MidnightHour</a>. TimeOfDayType A specialization of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rT2stuKZtEdaAAACgycbRfg" class="cyc_term">TimeParameter</a>. This is used only for separating ordinary/normal time parameters from those of the form (<a href="http://sw.opencyc.org/2008/06/10/concept/Mx4r0-wf3LYsQdeLnItlcCibDA" class="cyc_term">TimeParameter_GLB_Fn</a> P_0 ... P_k). normal time parameter NormalTimeParameter time of day type A specialization of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rthXufFmbQdeHbdGF9gweSw" class="cyc_term">ConventionallyClassifiedTimeIntervalSeries_Disjoint</a> (q.v.), containing every type TYPE of time intervals such that each calendar day intersects, indeed subsumes, exactly one member of TYPE; that is to say, the relation <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViAGZwpEbGdrcN5Y29ycA" class="cyc_term">temporallySubsumes</a>, when restricted to <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjeCJwpEbGdrcN5Y29ycA" class="cyc_term">CalendarDay</a> times TYPE, is a one-one function from <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjeCJwpEbGdrcN5Y29ycA" class="cyc_term">CalendarDay</a> to TYPE. Examples include <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwP3g25wpEbGdrcN5Y29ycA" class="cyc_term">TimeOfDay_PM</a>, <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVj3_ZwpEbGdrcN5Y29ycA" class="cyc_term">TimeOfDay_9AM</a>, and <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjbTJwpEbGdrcN5Y29ycA" class="cyc_term">TimeOfDay_MidnightHour</a>. TimeOfDayType A collection of collections of collections of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViAw5wpEbGdrcN5Y29ycA" class="cyc_term">TimeInterval</a>s. Each instance CIGTYPE of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rqMaM9k25QdeKEr1uFUSThw" class="cyc_term">CyclicalIntervalGroupType</a> is a specialization <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4r0ibdqMBbEdaAAACgycbRfg" class="cyc_term">ConventionallyClassifiedTimeIntervalSeries</a>, and is a collection of interval-types whose instances recur throughout all of calendar history. Unlike instances of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvgET9JwpEbGdrcN5Y29ycA" class="cyc_term">CyclicalSuccessiveIntervalGroupType</a>, CIGTYPE may or may not partition all of time. For example, CIGTYPE could be the collection of the seven calendar days of the week (see <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjWeZwpEbGdrcN5Y29ycA" class="cyc_term">DayOfWeekType</a>) or the collection of the twelve calendar months (see <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjOXpwpEbGdrcN5Y29ycA" class="cyc_term">MonthOfYearType</a>) or simply the collection of various times of the year (see <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rpDoRdk2-Qdeear38yXVPUw" class="cyc_term">TimeOfYearType</a>). CyclicalIntervalGroupType cyclical interval group type 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 TimeOfDay-Time-Topic time of day time topic