]> 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. A specialization of <a href="http://sw.opencyc.org/concept/Mx4rvViN65wpEbGdrcN5Y29ycA" class="cyc_term">HumanActivity</a>. Each instance of <a href="http://sw.opencyc.org/concept/Mx4rvViptZwpEbGdrcN5Y29ycA" class="cyc_term">Holiday</a> is an event featuring social celebrations and/or rituals. Instances of <a href="http://sw.opencyc.org/concept/Mx4rvViptZwpEbGdrcN5Y29ycA" class="cyc_term">Holiday</a> typically last for one day (see the constant <a href="http://sw.opencyc.org/concept/Mx4rvVjqr5wpEbGdrcN5Y29ycA" class="cyc_term">DaysDuration</a>) and typically coincide with some day of the year (see the constant <a href="http://sw.opencyc.org/concept/Mx4rvVjeCJwpEbGdrcN5Y29ycA" class="cyc_term">CalendarDay</a>). However, some instances of <a href="http://sw.opencyc.org/concept/Mx4rvViptZwpEbGdrcN5Y29ycA" class="cyc_term">Holiday</a> (such as the instances of <a href="http://sw.opencyc.org/concept/Mx4rvhn4KZwpEbGdrcN5Y29ycA" class="cyc_term">ChanukkahHoliday</a> or <a href="http://sw.opencyc.org/concept/Mx4rwP6yFZwpEbGdrcN5Y29ycA" class="cyc_term">Oktoberfest_Holiday</a>) last for several days. While instances of <a href="http://sw.opencyc.org/concept/Mx4rvViptZwpEbGdrcN5Y29ycA" class="cyc_term">Holiday</a> are often annual events, they may also be one-time events or scheduled in some other manner. They are also contextual, as different nationalities and ethnic groups celebrate different ones. holiday Holiday holidays

Holiday

http://en.wikipedia.org/wiki/Holiday http://www.w3.org/2006/03/wn/wn20/instances/synset-holiday-noun-2 legal holiday The subcollection of <a href="http://sw.opencyc.org/concept/Mx4rvViptZwpEbGdrcN5Y29ycA" class="cyc_term">Holiday</a>s which are typically declared to be <a href="http://sw.opencyc.org/concept/Mx4rvViptZwpEbGdrcN5Y29ycA" class="cyc_term">Holiday</a>s by the governments of western countries, and which are therefore days on which most people governed by that government do not work and on which students do not attend classes. Such <a href="http://sw.opencyc.org/concept/Mx4rvViptZwpEbGdrcN5Y29ycA" class="cyc_term">Holiday</a>s may coincide with <a href="http://sw.opencyc.org/concept/Mx4rwP34YZwpEbGdrcN5Y29ycA" class="cyc_term">ReligiousHoliday</a>s, especially where there is a government-sanctioned religion. LegalHoliday GregorianCalendarHoliday gregorian calendar holiday An instance of <a href="http://sw.opencyc.org/concept/Mx4rT7KxAFAxEdifMgACs5b6-g" class="cyc_term">HolidayTypeByCalendarSystem</a>. Each instance of <a href="http://sw.opencyc.org/concept/Mx4rT7KxAVAxEdifMgACs5b6-g" class="cyc_term">GregorianCalendarHoliday</a> is a <a href="http://sw.opencyc.org/concept/Mx4rvViptZwpEbGdrcN5Y29ycA" class="cyc_term">Holiday</a> whose temporal extent is specified in terms of the <a href="http://sw.opencyc.org/concept/Mx4rvVkIX5wpEbGdrcN5Y29ycA" class="cyc_term">GregorianCalendar</a> (q.v.). independence day azerbaijan IndependenceDay-Azerbaijan NationalDay-Algeria Anniversary of the Revolution AnniversaryOfTheRevolution An instance of <a href="http://sw.opencyc.org/concept/Mx4rjD_E2Fs1QdeOqs6SH7xb8w" class="cyc_term">AnnualHolidayType</a> and a specialization of <a href="http://sw.opencyc.org/concept/Mx4rvViptZwpEbGdrcN5Y29ycA" class="cyc_term">Holiday</a>. Each instance of <a href="http://sw.opencyc.org/concept/Mx4rveWVs5wpEbGdrcN5Y29ycA" class="cyc_term">AnniversaryOfTheRevolution</a> falls on the seventeenth day of an instance of <a href="http://sw.opencyc.org/concept/Mx4rvVjBrZwpEbGdrcN5Y29ycA" class="cyc_term">July</a>. <a href="http://sw.opencyc.org/concept/Mx4rveWVs5wpEbGdrcN5Y29ycA" class="cyc_term">AnniversaryOfTheRevolution</a> commemorates the day in (<a href="http://sw.opencyc.org/concept/Mx4rvVjympwpEbGdrcN5Y29ycA" class="cyc_term">YearFn</a> 1968) that the Arab Baath Socialist Party came to power in <a href="http://sw.opencyc.org/concept/Mx4rvViGWpwpEbGdrcN5Y29ycA" class="cyc_term">Iraq</a>. Anniversary of the Revolution Bahrain Independence Day IndependenceDay-Bahrain Islamic Republic Day An instance of <a href="http://sw.opencyc.org/concept/Mx4rjD_E2Fs1QdeOqs6SH7xb8w" class="cyc_term">AnnualHolidayType</a>. Each instance of <a href="http://sw.opencyc.org/concept/Mx4rvv4lppwpEbGdrcN5Y29ycA" class="cyc_term">IslamicRepublicDay</a> is a <a href="http://sw.opencyc.org/concept/Mx4rvViptZwpEbGdrcN5Y29ycA" class="cyc_term">Holiday</a> falling on the first day of <a href="http://sw.opencyc.org/concept/Mx4rvVjCeZwpEbGdrcN5Y29ycA" class="cyc_term">April</a>. <a href="http://sw.opencyc.org/concept/Mx4rvv4lppwpEbGdrcN5Y29ycA" class="cyc_term">IslamicRepublicDay</a> commemorates the founding, in (<a href="http://sw.opencyc.org/concept/Mx4rvVjympwpEbGdrcN5Y29ycA" class="cyc_term">YearFn</a> 1979), of the <a href="http://sw.opencyc.org/concept/Mx4rwfmx_m2oEdaAAACgyZzFrg" class="cyc_term">IslamicRepublic</a> of <a href="http://sw.opencyc.org/concept/Mx4rvVj11JwpEbGdrcN5Y29ycA" class="cyc_term">Iran</a>. IslamicRepublicDay An instance of <a href="http://sw.opencyc.org/concept/Mx4rjD_E2Fs1QdeOqs6SH7xb8w" class="cyc_term">AnnualHolidayType</a> and a specialization of <a href="http://sw.opencyc.org/concept/Mx4rvViWQpwpEbGdrcN5Y29ycA" class="cyc_term">FoundingOfCountryCelebration</a>. Each instance of <a href="http://sw.opencyc.org/concept/Mx4rT7IUw1AxEdifMgACs5b6-g" class="cyc_term">IndependenceDay_Israel</a> is a <a href="http://sw.opencyc.org/concept/Mx4rvViptZwpEbGdrcN5Y29ycA" class="cyc_term">Holiday</a> falling on the fifth day of an instance of <a href="http://sw.opencyc.org/concept/Mx4r1GuNxNcwQdeXhfsjlsqgyQ" class="cyc_term">Iyar_JewishMonth</a>. <a href="http://sw.opencyc.org/concept/Mx4rT7IUw1AxEdifMgACs5b6-g" class="cyc_term">IndependenceDay_Israel</a> commemorates the establishment of <a href="http://sw.opencyc.org/concept/Mx4rvViP55wpEbGdrcN5Y29ycA" class="cyc_term">Israel</a> on 14 <a href="http://sw.opencyc.org/concept/Mx4rvVjCMpwpEbGdrcN5Y29ycA" class="cyc_term">May</a> 1948--or 5 Iyar 5708 in the <a href="http://sw.opencyc.org/concept/Mx4rCdBI2KuuEdaAAACgycbRww" class="cyc_term">JewishCalendar</a>. IndependenceDay-Israel Israeli Independence Day Jewish calendar holiday An instance of <a href="http://sw.opencyc.org/concept/Mx4rT7KxAFAxEdifMgACs5b6-g" class="cyc_term">HolidayTypeByCalendarSystem</a>. Each instance of <a href="http://sw.opencyc.org/concept/Mx4rT7KxA1AxEdifMgACs5b6-g" class="cyc_term">JewishCalendarHoliday</a> is a <a href="http://sw.opencyc.org/concept/Mx4rvViptZwpEbGdrcN5Y29ycA" class="cyc_term">Holiday</a> whose temporal extent is specified in terms of the <a href="http://sw.opencyc.org/concept/Mx4rCdBI2KuuEdaAAACgycbRww" class="cyc_term">JewishCalendar</a> (q.v.). JewishCalendarHoliday An instance of <a href="http://sw.opencyc.org/concept/Mx4rvViq35wpEbGdrcN5Y29ycA" class="cyc_term">TemporalObjectType</a>. Each instance of <a href="http://sw.opencyc.org/concept/Mx4rT7LYElAxEdifMgACs5b6-g" class="cyc_term">SecularHoliday</a> is a <a href="http://sw.opencyc.org/concept/Mx4rvViptZwpEbGdrcN5Y29ycA" class="cyc_term">Holiday</a> which is not religious in nature. Specializations of <a href="http://sw.opencyc.org/concept/Mx4rT7LYElAxEdifMgACs5b6-g" class="cyc_term">SecularHoliday</a> include <a href="http://sw.opencyc.org/concept/Mx4rvVi4dJwpEbGdrcN5Y29ycA" class="cyc_term">NewYearsDay</a>, <a href="http://sw.opencyc.org/concept/Mx4rvVjf35wpEbGdrcN5Y29ycA" class="cyc_term">MothersDay</a>, and <a href="http://sw.opencyc.org/concept/Mx4rvVjgYZwpEbGdrcN5Y29ycA" class="cyc_term">ValentinesDay</a>. SecularHoliday secular holiday Muharram-IslamicHoliday Muharram An instance of <a href="http://sw.opencyc.org/concept/Mx4rjD_E2Fs1QdeOqs6SH7xb8w" class="cyc_term">AnnualHolidayType</a> and a specialization of <a href="http://sw.opencyc.org/concept/Mx4rwQBiaZwpEbGdrcN5Y29ycA" class="cyc_term">IslamicHoliday</a>. Each instance of <a href="http://sw.opencyc.org/concept/Mx4rX_AZIkq7EdiedwACs5b6-g" class="cyc_term">IdAlAdha_IslamicHoliday</a> falls on the first day of an instance of <a href="http://sw.opencyc.org/concept/Mx4r1WPU0iyJEdaAAABQ2rksLw" class="cyc_term">Muharram_IslamicMonth</a>. This is the first day of the <a href="http://sw.opencyc.org/concept/Mx4r1JsoAiyJEdaAAABQ2rksLw" class="cyc_term">IslamicYear</a>. NationalDay-UnitedArabEmirates national day united arab emirates IndependenceDay-Qatar Qatar's Independence Day national day china NationalDay-China independence day greece IndependenceDay-Greece A subset of <a href="http://sw.opencyc.org/concept/Mx4rvViptZwpEbGdrcN5Y29ycA" class="cyc_term">Holiday</a>, instances of the collection <a href="http://sw.opencyc.org/concept/Mx4rvtJFMpwpEbGdrcN5Y29ycA" class="cyc_term">AprilFoolsDay</a> are characterized by the fact that, during them, people tell instances of the collection <a href="http://sw.opencyc.org/concept/Mx4rwB6f8pwpEbGdrcN5Y29ycA" class="cyc_term">AprilFoolsJoke</a>. April Fool's Day AprilFoolsDay A specialization of <a href="http://sw.opencyc.org/concept/Mx4rvViptZwpEbGdrcN5Y29ycA" class="cyc_term">Holiday</a> whose instances are such that, in cultures in which they are celebrated (see <a href="http://sw.opencyc.org/concept/Mx4rwS6W2ZwpEbGdrcN5Y29ycA" class="cyc_term">holidayCelebratedByCulture</a>) families tend to celebrate them together at home. family holiday FamilyHoliday A specialization of both <a href="http://sw.opencyc.org/concept/Mx4rwUIjJpwpEbGdrcN5Y29ycA" class="cyc_term">ReligiousEvent</a> and <a href="http://sw.opencyc.org/concept/Mx4rvViptZwpEbGdrcN5Y29ycA" class="cyc_term">Holiday</a>. Each instance of <a href="http://sw.opencyc.org/concept/Mx4rwP34YZwpEbGdrcN5Y29ycA" class="cyc_term">ReligiousHoliday</a> is a holiday observed by some religious tradition. Note that individuals may observe or otherwise participate in some instances of <a href="http://sw.opencyc.org/concept/Mx4rwP34YZwpEbGdrcN5Y29ycA" class="cyc_term">ReligiousHoliday</a> even if they are not members of the associated <a href="http://sw.opencyc.org/concept/Mx4rvVkCHZwpEbGdrcN5Y29ycA" class="cyc_term">Religion</a>. Notable specializations of <a href="http://sw.opencyc.org/concept/Mx4rwP34YZwpEbGdrcN5Y29ycA" class="cyc_term">ReligiousHoliday</a> include <a href="http://sw.opencyc.org/concept/Mx4rwQBhnZwpEbGdrcN5Y29ycA" class="cyc_term">ChristianHoliday</a>, <a href="http://sw.opencyc.org/concept/Mx4rwQBiypwpEbGdrcN5Y29ycA" class="cyc_term">JewishHoliday</a>, and <a href="http://sw.opencyc.org/concept/Mx4rwQBiaZwpEbGdrcN5Y29ycA" class="cyc_term">IslamicHoliday</a>. ReligiousHoliday holy day IslamicCalendarHoliday An instance of <a href="http://sw.opencyc.org/concept/Mx4rT7KxAFAxEdifMgACs5b6-g" class="cyc_term">HolidayTypeByCalendarSystem</a>. Each instance of <a href="http://sw.opencyc.org/concept/Mx4rT7KxAlAxEdifMgACs5b6-g" class="cyc_term">IslamicCalendarHoliday</a> is a <a href="http://sw.opencyc.org/concept/Mx4rvViptZwpEbGdrcN5Y29ycA" class="cyc_term">Holiday</a> whose temporal extent is specified in terms of the <a href="http://sw.opencyc.org/concept/Mx4rwIbldZwpEbGdrcN5Y29ycA" class="cyc_term">IslamicLunarCalendar</a> (q.v.). islamic calendar holiday Id al-Ghadir IdAlGhadir-IslamicHoliday An instance of <a href="http://sw.opencyc.org/concept/Mx4rjD_E2Fs1QdeOqs6SH7xb8w" class="cyc_term">AnnualHolidayType</a> and a specialization of <a href="http://sw.opencyc.org/concept/Mx4r4YZx8UwyEdiYeQACs5b6-g" class="cyc_term">IslamicHoliday_Shiite</a>. Each instance of <a href="http://sw.opencyc.org/concept/Mx4r4YZx8EwyEdiYeQACs5b6-g" class="cyc_term">IdAlGhadir_IslamicHoliday</a> falls on the 18th day of an instance of <a href="http://sw.opencyc.org/concept/Mx4r0idg4CyJEdaAAABQ2rksLw" class="cyc_term">DhuAlHijjah_IslamicMonth</a>. In <a href="http://sw.opencyc.org/concept/Mx4rvViP3ZwpEbGdrcN5Y29ycA" class="cyc_term">ShiiteIslam</a>, Id al-Ghadir commemorates the day <a href="http://sw.opencyc.org/concept/Mx4rvlRpdpwpEbGdrcN5Y29ycA" class="cyc_term">MuhammadTheProphet</a> made Ali his successor.). ReferendumDay-Armenia Referendum Day The birthday of the current emperor. In 1995, the emperor was Akihito, and his birthday is Dec. 23. Birthday of the Emperor BirthdayOfTheEmperor-Japan Australia Day An instance of <a href="http://sw.opencyc.org/concept/Mx4rjD_E2Fs1QdeOqs6SH7xb8w" class="cyc_term">AnnualHolidayType</a> and a specialization of <a href="http://sw.opencyc.org/concept/Mx4rT7KxAVAxEdifMgACs5b6-g" class="cyc_term">GregorianCalendarHoliday</a>. An instance of <a href="http://sw.opencyc.org/concept/Mx4rvtyP6JwpEbGdrcN5Y29ycA" class="cyc_term">AustraliaDay</a> occurs on the 26th day of every instance of <a href="http://sw.opencyc.org/concept/Mx4rvVi4M5wpEbGdrcN5Y29ycA" class="cyc_term">January</a>. <a href="http://sw.opencyc.org/concept/Mx4rvtyP6JwpEbGdrcN5Y29ycA" class="cyc_term">AustraliaDay</a> commemorates the day in (<a href="http://sw.opencyc.org/concept/Mx4rvVjympwpEbGdrcN5Y29ycA" class="cyc_term">YearFn</a> 1788) when Captain Arthur Phillip became the first governor of the colony of New South Wales (see <a href="http://sw.opencyc.org/concept/Mx4rvWnTRJwpEbGdrcN5Y29ycA" class="cyc_term">NewSouthWales_StateAustralia</a>). AustraliaDay annual holiday type AnnualHolidayType A specialization of <a href="http://sw.opencyc.org/concept/Mx4rjIcu4Fs1QdedO5fWVPpbiQ" class="cyc_term">ConventionallyClassifiedTemporalObjectSeries</a>. An instance X-DAY of <a href="http://sw.opencyc.org/concept/Mx4rjD_E2Fs1QdeOqs6SH7xb8w" class="cyc_term">AnnualHolidayType</a> is itself a specialization of <a href="http://sw.opencyc.org/concept/Mx4rvViptZwpEbGdrcN5Y29ycA" class="cyc_term">Holiday</a> (q.v.) such that each member of X-DAY is subsumed by one and only one calendar year. Facets-Generic facets-Generic A <a href="http://sw.opencyc.org/concept/Mx4rvVkGXJwpEbGdrcN5Y29ycA" class="cyc_term">TaxonomicSlotForCollections</a> and a specialization (via <a href="http://sw.opencyc.org/concept/Mx4rvWHsNJwpEbGdrcN5Y29ycA" class="cyc_term">genlInverse</a>) of <a href="http://sw.opencyc.org/concept/Mx4rvhOImJwpEbGdrcN5Y29ycA" class="cyc_term">typeGenls</a> (q.v.). This is the most general of the "faceting" predicates. <code>(<a href="http://sw.opencyc.org/concept/Mx4rvjldVJwpEbGdrcN5Y29ycA" class="cyc_term">facets_Generic</a> COL COLTYPE)</code> means that <code>COLTYPE</code> corresponds to one way of dividing <code>COL</code> into subcollections. The instances of <code>COLTYPE</code> are all "the same sort" of subcollection of <code>COL</code>. For example, <a href="http://sw.opencyc.org/concept/Mx4rhz6DbnSwEdaAAACgyZzFrg" class="cyc_term">MovieTypeByGenre</a> facets <a href="http://sw.opencyc.org/concept/Mx4rv973YpwpEbGdrcN5Y29ycA" class="cyc_term">Movie_CW</a> according to movie-genre; the former's instances thus include such collections as <a href="http://sw.opencyc.org/concept/Mx4rv0pzgpwpEbGdrcN5Y29ycA" class="cyc_term">WesternMovie</a> and <a href="http://sw.opencyc.org/concept/Mx4rwFmUH5wpEbGdrcN5Y29ycA" class="cyc_term">HorrorMovie</a>. And <a href="http://sw.opencyc.org/concept/Mx4rYZUSFovbQdeY8PrkLdTqKA" class="cyc_term">FunctionTypeByRangeType</a> facets <a href="http://sw.opencyc.org/concept/Mx4rvVxAsJwpEbGdrcN5Y29ycA" class="cyc_term">Function_Denotational</a> according to the type of thing a given function returns as values; the former's instances thus include such collections as <a href="http://sw.opencyc.org/concept/Mx4rvVj62ZwpEbGdrcN5Y29ycA" class="cyc_term">IndividualDenotingFunction</a> and <a href="http://sw.opencyc.org/concept/Mx4rvViAapwpEbGdrcN5Y29ycA" class="cyc_term">CollectionDenotingFunction</a>. Note that generic faceting does not entail that the instances of <code>COLTYPE</code> are mutually disjoint. Thus, a given film might be an instance of both <a href="http://sw.opencyc.org/concept/Mx4rwCRfN5wpEbGdrcN5Y29ycA" class="cyc_term">ChildrensMovie</a> and <a href="http://sw.opencyc.org/concept/Mx4rv2VcW5wpEbGdrcN5Y29ycA" class="cyc_term">ActionMovie</a>. Note also that generic faceting does not entail that every instance of <code>COL</code> falls under some instance of <code>COLTYPE</code>. Thus, consider the universal identity function <a href="http://sw.opencyc.org/concept/Mx4rwSspMZwpEbGdrcN5Y29ycA" class="cyc_term">IdentityFn</a>. Its range of values is so broad that it does not fall under any instance of <a href="http://sw.opencyc.org/concept/Mx4rYZUSFovbQdeY8PrkLdTqKA" class="cyc_term">FunctionTypeByRangeType</a>. Specializations of <a href="http://sw.opencyc.org/concept/Mx4rvjldVJwpEbGdrcN5Y29ycA" class="cyc_term">facets_Generic</a> include <a href="http://sw.opencyc.org/concept/Mx4rv86JWpwpEbGdrcN5Y29ycA" class="cyc_term">facets_Covering</a>, <a href="http://sw.opencyc.org/concept/Mx4rvcZ1FpwpEbGdrcN5Y29ycA" class="cyc_term">facets_Strict</a>, and <a href="http://sw.opencyc.org/concept/Mx4rwA9k15wpEbGdrcN5Y29ycA" class="cyc_term">facets_Partition</a>, as well as <a href="http://sw.opencyc.org/concept/Mx4rgQmwRl2xEdif1wACs2IMlQ" class="cyc_term">facets_NearCovering</a>, <a href="http://sw.opencyc.org/concept/Mx4rRA9CIljCEdiRSAACs2IMlQ" class="cyc_term">facets_NearStrict</a>, and <a href="http://sw.opencyc.org/concept/Mx4rRA9CJFjCEdiRSAACs2IMlQ" class="cyc_term">facets_NearPartition</a>. Whenever possible, one of these more specific predicates should be used. HolidayTypeByCalendarSystem holiday type by calendar system An instance of <a href="http://sw.opencyc.org/concept/Mx4rHQdVmB_TEdaAAABQ2rksLw" class="cyc_term">SecondOrderCollection</a> and a specialization of <a href="http://sw.opencyc.org/concept/Mx4rwVRUSZwpEbGdrcN5Y29ycA" class="cyc_term">CalendarBasedTemporalObjectType</a>. Each instance of <a href="http://sw.opencyc.org/concept/Mx4rT7KxAFAxEdifMgACs5b6-g" class="cyc_term">HolidayTypeByCalendarSystem</a> is a collection of <a href="http://sw.opencyc.org/concept/Mx4rvViptZwpEbGdrcN5Y29ycA" class="cyc_term">Holiday</a>s each of whose temporal extent is specified in terms of the same <a href="http://sw.opencyc.org/concept/Mx4rvVjPhpwpEbGdrcN5Y29ycA" class="cyc_term">CalendarSystem</a>. Instances of <a href="http://sw.opencyc.org/concept/Mx4rT7KxAFAxEdifMgACs5b6-g" class="cyc_term">HolidayTypeByCalendarSystem</a> include <a href="http://sw.opencyc.org/concept/Mx4rT7KxAVAxEdifMgACs5b6-g" class="cyc_term">GregorianCalendarHoliday</a>, <a href="http://sw.opencyc.org/concept/Mx4rT7KxAlAxEdifMgACs5b6-g" class="cyc_term">IslamicCalendarHoliday</a>, and <a href="http://sw.opencyc.org/concept/Mx4rT7KxA1AxEdifMgACs5b6-g" class="cyc_term">JewishCalendarHoliday</a>. 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> THING URI)</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 A <a href="http://sw.opencyc.org/concept/Mx4rvVkGXJwpEbGdrcN5Y29ycA" class="cyc_term">TaxonomicSlotForCollections</a> and a specialization of <a href="http://sw.opencyc.org/concept/Mx4rvcZ1FpwpEbGdrcN5Y29ycA" class="cyc_term">facets_Strict</a>, <a href="http://sw.opencyc.org/concept/Mx4rv86JWpwpEbGdrcN5Y29ycA" class="cyc_term">facets_Covering</a>, <a href="http://sw.opencyc.org/concept/Mx4rRA9CJFjCEdiRSAACs2IMlQ" class="cyc_term">facets_NearPartition</a>, and <a href="http://sw.opencyc.org/concept/Mx4rvVj1MJwpEbGdrcN5Y29ycA" class="cyc_term">partitionedInto</a> (qq.v.). (<a href="http://sw.opencyc.org/concept/Mx4rwA9k15wpEbGdrcN5Y29ycA" class="cyc_term">facets_Partition</a> COL COLTYPE) means that COLTYPE corresponds to one way of dividing the entirety of COL into disjoint subcollections. Specifically, (i) the instances of COLTYPE are all the same sort of subcollection of COL and (ii) each instance of COL is an instance of exactly one instance of of COLTYPE. For example, (<a href="http://sw.opencyc.org/concept/Mx4rwA9k15wpEbGdrcN5Y29ycA" class="cyc_term">facets_Partition</a> <a href="http://sw.opencyc.org/concept/Mx4rv-A-apwpEbGdrcN5Y29ycA" class="cyc_term">FixedArityFunction</a> <a href="http://sw.opencyc.org/concept/Mx4rvqt0TJwpEbGdrcN5Y29ycA" class="cyc_term">FixedArityFunctionTypeByArity</a>) holds, as each fixed-arity function has exactly one arity (see <a href="http://sw.opencyc.org/concept/Mx4rvViAzpwpEbGdrcN5Y29ycA" class="cyc_term">arity</a>). Facets-Partition facets-Partition A specialization of both <a href="http://sw.opencyc.org/concept/Mx4rvVieP5wpEbGdrcN5Y29ycA" class="cyc_term">PurposefulAction</a> and <a href="http://sw.opencyc.org/concept/Mx4rvViNJ5wpEbGdrcN5Y29ycA" class="cyc_term">CompositePhysicalAndMentalEvent</a>. Each instance of <a href="http://sw.opencyc.org/concept/Mx4rvViPO5wpEbGdrcN5Y29ycA" class="cyc_term">SocialOccurrence</a> is an action in which two or more agents take part. In many cases, <a href="http://sw.opencyc.org/concept/Mx4rvViPO5wpEbGdrcN5Y29ycA" class="cyc_term">SocialOccurrence</a>s involve communication among the participating agents. Some instances of <a href="http://sw.opencyc.org/concept/Mx4rvViPO5wpEbGdrcN5Y29ycA" class="cyc_term">SocialOccurrence</a> have very elaborate role structures (e.g. a typical lawsuit), while others have fairly simple role structures (e.g. greeting a colleague at work). social event SocialOccurrence A <a href="http://sw.opencyc.org/concept/Mx4rAmoSCGJbQdiSXZJvYiNhkQ" class="cyc_term">CycVocabularyTopic</a> and a <a href="http://sw.opencyc.org/concept/Mx4rtGXkHpNaEdqAAAACs0uFOQ" class="cyc_term">KBDependentCollection</a>. holidays-time-topic Holidays-Time-Topic SpecifiedHolidayType A collection that facets <a href="http://sw.opencyc.org/concept/Mx4rvViptZwpEbGdrcN5Y29ycA" class="cyc_term">Holiday</a> by name and celebration criteria. Instances include <a href="http://sw.opencyc.org/concept/Mx4rvVirVJwpEbGdrcN5Y29ycA" class="cyc_term">ChristmasHoliday</a> and <a href="http://sw.opencyc.org/concept/Mx4rvVi4dJwpEbGdrcN5Y29ycA" class="cyc_term">NewYearsDay</a> but exclude specializations of <a href="http://sw.opencyc.org/concept/Mx4rvViptZwpEbGdrcN5Y29ycA" class="cyc_term">Holiday</a> whose membership criteria allows them to include holidays with different celebration criteria (e.g., <a href="http://sw.opencyc.org/concept/Mx4rwP34YZwpEbGdrcN5Y29ycA" class="cyc_term">ReligiousHoliday</a>, subsumes both Christmas and Chanukka) or to exclude holiday instances with the same criteria (e.g., the collection of 'white' Christmases, Thanksgivings that occur during a leap year, etc. recognized holiday clarifying collection type ClarifyingCollectionType A specialization of <a href="http://sw.opencyc.org/concept/Mx4rvViAzJwpEbGdrcN5Y29ycA" class="cyc_term">Collection</a>. Instances are collections that are usefully invoked for purposes of resolving ambiguity and confusion that arise from the use of non-perspicuous languages. Suppose a human or other intelligent agent uses a language, such as a natural language, that is rife with ambiguity, and uses a word WORD of that language whose intended reference is unclear: in the context WORD might refer to THING1 or to THING2, but not both. One strategy for resolving this ambiguity is to find properties of THING1 and THING2, say P1 and P2, that distinguish them from one another, and ask the speaker whether by "WORD," s/he intended to refer to something with P1, or to something with P2. For example, the speaker might use the word "bank," and in response one might ask whether a financial institution or a piece of shoreline was meant. Clearly, what values of P1 and P2 are chosen cannot be arbitrary; asking whether the speaker meant to refer to a multi-individual agent versus a non-agentive place is not as effective as asking the speaker to choose between the "financial institution" and "shoreline" interpretations described above. Instances of <a href="http://sw.opencyc.org/concept/Mx4r_4bScKNtQdiVw7XtX-HN0Q" class="cyc_term">ClarifyingCollectionType</a> just are those collections -- such as the collection of financial institutions -- that might plausibly be invoked to resolve cases of ambiguity of the kind described here. In particular, suppose TYPE1 is an instance of <a href="http://sw.opencyc.org/concept/Mx4r_4bScKNtQdiVw7XtX-HN0Q" class="cyc_term">ClarifyingCollectionType</a> and TYPE2 is not, and THING is an instance of both TYPE1 and TYPE2. The fact that (<a href="http://sw.opencyc.org/concept/Mx4rvViBBJwpEbGdrcN5Y29ycA" class="cyc_term">isa</a> TYPE1 <a href="http://sw.opencyc.org/concept/Mx4r_4bScKNtQdiVw7XtX-HN0Q" class="cyc_term">ClarifyingCollectionType</a>) is a reason to prefer TYPE1 over TYPE2 when calculating possible clarifying properties for THING. extracted by noun learner from motley fool UK corpus ExtractedByNounLearnerFromMotleyFoolUKCorpus ScheduledAction scheduled activity A specialization of <a href="http://sw.opencyc.org/concept/Mx4rvVieP5wpEbGdrcN5Y29ycA" class="cyc_term">PurposefulAction</a>. Each instance of <a href="http://sw.opencyc.org/concept/Mx4ru_wFahrUQdiEeecBs5LMBQ" class="cyc_term">ScheduledAction</a> is an event that is intended by some agent to occur at a certain (at least vaguely specified) time. For example, <a href="http://sw.opencyc.org/concept/Mx4rvVkA9pwpEbGdrcN5Y29ycA" class="cyc_term">OlympicGames</a> is a specialization of <a href="http://sw.opencyc.org/concept/Mx4ru_wFahrUQdiEeecBs5LMBQ" class="cyc_term">ScheduledAction</a> because a necessary condition for the occurrence of an instance of <a href="http://sw.opencyc.org/concept/Mx4rvVkA9pwpEbGdrcN5Y29ycA" class="cyc_term">OlympicGames</a> is that it be scheduled to occur. For a general script that encompasses waiting for the time of a scheduled event and its performance, see <a href="http://sw.opencyc.org/concept/Mx4rsbM_tBrfQdidb8sjUxN8bA" class="cyc_term">PerformingAScheduledAction</a>. 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 A specialization of <a href="http://sw.opencyc.org/concept/Mx4rvViN65wpEbGdrcN5Y29ycA" class="cyc_term">HumanActivity</a>. Each instance of <a href="http://sw.opencyc.org/concept/Mx4rvViptZwpEbGdrcN5Y29ycA" class="cyc_term">Holiday</a> is an event featuring social celebrations and/or rituals. Instances of <a href="http://sw.opencyc.org/concept/Mx4rvViptZwpEbGdrcN5Y29ycA" class="cyc_term">Holiday</a> typically last for one day (see the constant <a href="http://sw.opencyc.org/concept/Mx4rvVjqr5wpEbGdrcN5Y29ycA" class="cyc_term">DaysDuration</a>) and typically coincide with some day of the year (see the constant <a href="http://sw.opencyc.org/concept/Mx4rvVjeCJwpEbGdrcN5Y29ycA" class="cyc_term">CalendarDay</a>). However, some instances of <a href="http://sw.opencyc.org/concept/Mx4rvViptZwpEbGdrcN5Y29ycA" class="cyc_term">Holiday</a> (such as the instances of <a href="http://sw.opencyc.org/concept/Mx4rvhn4KZwpEbGdrcN5Y29ycA" class="cyc_term">ChanukkahHoliday</a> or <a href="http://sw.opencyc.org/concept/Mx4rwP6yFZwpEbGdrcN5Y29ycA" class="cyc_term">Oktoberfest_Holiday</a>) last for several days. While instances of <a href="http://sw.opencyc.org/concept/Mx4rvViptZwpEbGdrcN5Y29ycA" class="cyc_term">Holiday</a> are often annual events, they may also be one-time events or scheduled in some other manner. They are also contextual, as different nationalities and ethnic groups celebrate different ones. holiday Holiday quotedIsa A binary <a href="http://sw.opencyc.org/concept/Mx4rDeDIGEW0EdaAAACgydogAg" class="cyc_term">MetaLanguagePredicate</a> (q.v.) that relates CycL expressions to the <a href="http://sw.opencyc.org/concept/Mx4raOoTci9qEdma4AACs1uxFw" class="cyc_term">SubLExpressionType</a>s (q.v.) of which they are instances. <a href="http://sw.opencyc.org/concept/Mx4rBVVEokNxEdaAAACgydogAg" class="cyc_term">quotedIsa</a> is thus like a restricted version of <a href="http://sw.opencyc.org/concept/Mx4rvViBBJwpEbGdrcN5Y29ycA" class="cyc_term">isa</a> (q.v.), but with one important difference: the first argument-place of <a href="http://sw.opencyc.org/concept/Mx4rBVVEokNxEdaAAACgydogAg" class="cyc_term">quotedIsa</a> is "implicitly quoted" (see <a href="http://sw.opencyc.org/concept/Mx4rwHb_bZwpEbGdrcN5Y29ycA" class="cyc_term">quotedArgument</a>). So a ground atomic sentence of the form <code>(<a href="http://sw.opencyc.org/concept/Mx4rBVVEokNxEdaAAACgydogAg" class="cyc_term">quotedIsa</a> THING EXPR-TYPE)</code> does not mean that <code>THING</code> itself is an instance of <code>EXPR-TYPE</code>. Rather, such a sentence is partly self-referential, and means that the particular CycL expression appearing in the sentence's own first argument-position is an instance of <code>EXPR-TYPE</code>. Thus, <a href="http://sw.opencyc.org/concept/Mx4rBVVEokNxEdaAAACgydogAg" class="cyc_term">quotedIsa</a> provides a convenient shorthand for stating certain things that would otherwise require explicit quotation (or some other device for naming expressions). This is better illustrated with a specific example. Suppose we wish to state that the CycL constant <code><a href="http://sw.opencyc.org/concept/Mx4rvViH35wpEbGdrcN5Y29ycA" class="cyc_term">IndianOcean</a></code> is an instance of the CycL expression type #$PublicConstant. We cannot express this with the straightforward <a href="http://sw.opencyc.org/concept/Mx4rvViBBJwpEbGdrcN5Y29ycA" class="cyc_term">isa</a> sentence <code>(<a href="http://sw.opencyc.org/concept/Mx4rvViBBJwpEbGdrcN5Y29ycA" class="cyc_term">isa</a> <a href="http://sw.opencyc.org/concept/Mx4rvViH35wpEbGdrcN5Y29ycA" class="cyc_term">IndianOcean</a> #$PublicConstant)</code>, as that states the falsehood that the IndianOcean itself -- which is not a constant but a body of water -- is a public constant. But we can express precisely what we want like this: <pre> (<a href="http://sw.opencyc.org/concept/Mx4rBVVEokNxEdaAAACgydogAg" class="cyc_term">quotedIsa</a> <a href="http://sw.opencyc.org/concept/Mx4rvViH35wpEbGdrcN5Y29ycA" class="cyc_term">IndianOcean</a> #$PublicConstant) . </pre> Now <a href="http://sw.opencyc.org/concept/Mx4rBVVEokNxEdaAAACgydogAg" class="cyc_term">quotedIsa</a> is a <a href="http://sw.opencyc.org/concept/Mx4rv4oJWZwpEbGdrcN5Y29ycA" class="cyc_term">MacroRelation</a> (q.v.), and by its <a href="http://sw.opencyc.org/concept/Mx4rvVjg7JwpEbGdrcN5Y29ycA" class="cyc_term">expansion</a> any given <a href="http://sw.opencyc.org/concept/Mx4rBVVEokNxEdaAAACgydogAg" class="cyc_term">quotedIsa</a> sentence is equivalent to some <a href="http://sw.opencyc.org/concept/Mx4rvViBBJwpEbGdrcN5Y29ycA" class="cyc_term">isa</a> sentence with an explicitly quoted first argument. The sentence displayed above turns out to be equivalent to: <pre> (<a href="http://sw.opencyc.org/concept/Mx4rvViBBJwpEbGdrcN5Y29ycA" class="cyc_term">isa</a> (<a href="http://sw.opencyc.org/concept/Mx4rgGBbEkNuEdaAAACgydogAg" class="cyc_term">Quote</a> <a href="http://sw.opencyc.org/concept/Mx4rvViH35wpEbGdrcN5Y29ycA" class="cyc_term">IndianOcean</a>) #$PublicConstant). </pre> But the <a href="http://sw.opencyc.org/concept/Mx4rBVVEokNxEdaAAACgydogAg" class="cyc_term">quotedIsa</a> version has two related practical advantages over the <a href="http://sw.opencyc.org/concept/Mx4rvViBBJwpEbGdrcN5Y29ycA" class="cyc_term">isa</a> version. First, the former is syntactically simpler than the latter. Second, the simpler syntax of the former makes it easier to browse in the Knowedge Base: while the <a href="http://sw.opencyc.org/concept/Mx4rBVVEokNxEdaAAACgydogAg" class="cyc_term">quotedIsa</a> version is conveniently indexed under the KB Browser page for the constant <code><a href="http://sw.opencyc.org/concept/Mx4rvViH35wpEbGdrcN5Y29ycA" class="cyc_term">IndianOcean</a></code>, the <a href="http://sw.opencyc.org/concept/Mx4rvViBBJwpEbGdrcN5Y29ycA" class="cyc_term">isa</a> version would apparently be indexed under a separate, brand new page for the term <code>(<a href="http://sw.opencyc.org/concept/Mx4rgGBbEkNuEdaAAACgydogAg" class="cyc_term">Quote</a> <a href="http://sw.opencyc.org/concept/Mx4rvViH35wpEbGdrcN5Y29ycA" class="cyc_term">IndianOcean</a>)</code>. Generalizing the point, <a href="http://sw.opencyc.org/concept/Mx4rBVVEokNxEdaAAACgydogAg" class="cyc_term">quotedIsa</a> lets us avoid having potentially to double the number of pages currently in the browser. For the semantically more complicated (but rarely encountered) case in which <a href="http://sw.opencyc.org/concept/Mx4rBVVEokNxEdaAAACgydogAg" class="cyc_term">quotedIsa</a>'s first argument-place is filled with an open expression, see the accompanying #$cyclistNotes. Quoted Isa TemporalObjectType temporal object type A specialization of <a href="http://sw.opencyc.org/concept/Mx4rvVirnZwpEbGdrcN5Y29ycA" class="cyc_term">ObjectType</a> (q.v.) whose instances are all and only those collections that are temporally object-like. A collection <code>COL</code> is temporally object-like just in case it generally holds that any proper purely temporal parts (see <a href="http://sw.opencyc.org/concept/Mx4rvWn4OZwpEbGdrcN5Y29ycA" class="cyc_term">timeSlices</a>) of an instance of <code>COL</code> is not itself an instance of <code>COL</code>. More precisely, a collection <code>COL</code> is an instance of <a href="http://sw.opencyc.org/concept/Mx4rvViq35wpEbGdrcN5Y29ycA" class="cyc_term">TemporalObjectType</a> just in case it satisfies the following: For any distinct <code>OBJ1</code> and <code>OBJ2</code>, if <code>(<a href="http://sw.opencyc.org/concept/Mx4rvViBBJwpEbGdrcN5Y29ycA" class="cyc_term">isa</a> OBJ1 COL)</code> and <code>(<a href="http://sw.opencyc.org/concept/Mx4rvWn4OZwpEbGdrcN5Y29ycA" class="cyc_term">timeSlices</a> OBJ1 OBJ2)</code>, then not <code>(<a href="http://sw.opencyc.org/concept/Mx4rvViBBJwpEbGdrcN5Y29ycA" class="cyc_term">isa</a> OBJ2 COL)</code>. For example, none of the proper time-slices of a <a href="http://sw.opencyc.org/concept/Mx4rvVjyV5wpEbGdrcN5Y29ycA" class="cyc_term">CalendarYear</a> is itself a calendar year. Likewise for <a href="http://sw.opencyc.org/concept/Mx4rvViYBpwpEbGdrcN5Y29ycA" class="cyc_term">TakingAStep</a>. So <a href="http://sw.opencyc.org/concept/Mx4rvVjyV5wpEbGdrcN5Y29ycA" class="cyc_term">CalendarYear</a> and <a href="http://sw.opencyc.org/concept/Mx4rvViYBpwpEbGdrcN5Y29ycA" class="cyc_term">TakingAStep</a> are both instances of <a href="http://sw.opencyc.org/concept/Mx4rvViq35wpEbGdrcN5Y29ycA" class="cyc_term">TemporalObjectType</a>. Conversely, a proper time-slice of a given <a href="http://sw.opencyc.org/concept/Mx4rvVisWZwpEbGdrcN5Y29ycA" class="cyc_term">Date</a> might itself be a <a href="http://sw.opencyc.org/concept/Mx4rvVisWZwpEbGdrcN5Y29ycA" class="cyc_term">Date</a> (e.g. an hour has minutes and seconds as time-slices); so <a href="http://sw.opencyc.org/concept/Mx4rvVisWZwpEbGdrcN5Y29ycA" class="cyc_term">Date</a> is not a temporal-object-type. See <a href="http://sw.opencyc.org/concept/Mx4rvVitN5wpEbGdrcN5Y29ycA" class="cyc_term">TemporalStuffType</a> for the disjoint notion of being temporally stuff-like. A specialization of <a href="http://sw.opencyc.org/concept/Mx4rvViN65wpEbGdrcN5Y29ycA" class="cyc_term">HumanActivity</a>. Each instance of <a href="http://sw.opencyc.org/concept/Mx4rvViptZwpEbGdrcN5Y29ycA" class="cyc_term">Holiday</a> is an event featuring social celebrations and/or rituals. Instances of <a href="http://sw.opencyc.org/concept/Mx4rvViptZwpEbGdrcN5Y29ycA" class="cyc_term">Holiday</a> typically last for one day (see the constant <a href="http://sw.opencyc.org/concept/Mx4rvVjqr5wpEbGdrcN5Y29ycA" class="cyc_term">DaysDuration</a>) and typically coincide with some day of the year (see the constant <a href="http://sw.opencyc.org/concept/Mx4rvVjeCJwpEbGdrcN5Y29ycA" class="cyc_term">CalendarDay</a>). However, some instances of <a href="http://sw.opencyc.org/concept/Mx4rvViptZwpEbGdrcN5Y29ycA" class="cyc_term">Holiday</a> (such as the instances of <a href="http://sw.opencyc.org/concept/Mx4rvhn4KZwpEbGdrcN5Y29ycA" class="cyc_term">ChanukkahHoliday</a> or <a href="http://sw.opencyc.org/concept/Mx4rwP6yFZwpEbGdrcN5Y29ycA" class="cyc_term">Oktoberfest_Holiday</a>) last for several days. While instances of <a href="http://sw.opencyc.org/concept/Mx4rvViptZwpEbGdrcN5Y29ycA" class="cyc_term">Holiday</a> are often annual events, they may also be one-time events or scheduled in some other manner. They are also contextual, as different nationalities and ethnic groups celebrate different ones. holiday Holiday A specialization of <a href="http://sw.opencyc.org/concept/Mx4rvViN65wpEbGdrcN5Y29ycA" class="cyc_term">HumanActivity</a>. Each instance of <a href="http://sw.opencyc.org/concept/Mx4rvViptZwpEbGdrcN5Y29ycA" class="cyc_term">Holiday</a> is an event featuring social celebrations and/or rituals. Instances of <a href="http://sw.opencyc.org/concept/Mx4rvViptZwpEbGdrcN5Y29ycA" class="cyc_term">Holiday</a> typically last for one day (see the constant <a href="http://sw.opencyc.org/concept/Mx4rvVjqr5wpEbGdrcN5Y29ycA" class="cyc_term">DaysDuration</a>) and typically coincide with some day of the year (see the constant <a href="http://sw.opencyc.org/concept/Mx4rvVjeCJwpEbGdrcN5Y29ycA" class="cyc_term">CalendarDay</a>). However, some instances of <a href="http://sw.opencyc.org/concept/Mx4rvViptZwpEbGdrcN5Y29ycA" class="cyc_term">Holiday</a> (such as the instances of <a href="http://sw.opencyc.org/concept/Mx4rvhn4KZwpEbGdrcN5Y29ycA" class="cyc_term">ChanukkahHoliday</a> or <a href="http://sw.opencyc.org/concept/Mx4rwP6yFZwpEbGdrcN5Y29ycA" class="cyc_term">Oktoberfest_Holiday</a>) last for several days. While instances of <a href="http://sw.opencyc.org/concept/Mx4rvViptZwpEbGdrcN5Y29ycA" class="cyc_term">Holiday</a> are often annual events, they may also be one-time events or scheduled in some other manner. They are also contextual, as different nationalities and ethnic groups celebrate different ones. holiday Holiday 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