]> 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. PCWTypeByGenre narrative genre A collection of collections. Each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rhDkzbHSwEdaAAACgyZzFrg" class="cyc_term">PCWTypeByGenre</a> is a collection of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rv5L5vZwpEbGdrcN5Y29ycA" class="cyc_term">PropositionalConceptualWork</a>s that are of a certain genre. A conceptual work (a movie, book, play, etc.) may have attributes of several instances of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rhDkzbHSwEdaAAACgyZzFrg" class="cyc_term">PCWTypeByGenre</a> at the same time. The instances of this collection (broadly) divide up a major portion of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rv5L5vZwpEbGdrcN5Y29ycA" class="cyc_term">PropositionalConceptualWork</a> into subcollections. narrative genres The collection of instances of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rv5L5vZwpEbGdrcN5Y29ycA" class="cyc_term">PropositionalConceptualWork</a> that are of the "short" genre. The term "short" is usually applied to films that are significantly shorter than the average feature length film. short work PropositionalConceptualWork-ShortGenre PropositionalConceptualWork-HorrorGenre horror work The collection of instances of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rv5L5vZwpEbGdrcN5Y29ycA" class="cyc_term">PropositionalConceptualWork</a> that are of the horror genre. <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvjBv6ZwpEbGdrcN5Y29ycA" class="cyc_term">JohnCarpenter_MovieDirector</a>'s <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rv3F4Y5wpEbGdrcN5Y29ycA" class="cyc_term">Halloween_TheMovie</a> is an example of a movie in this genre. PropositionalConceptualWork-SuspenseGenre The collection of instances of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rv5L5vZwpEbGdrcN5Y29ycA" class="cyc_term">PropositionalConceptualWork</a> that are of the suspense genre. Many of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rv5-yw5wpEbGdrcN5Y29ycA" class="cyc_term">AlfredHitchcock</a>'s movies are in this genre. work of suspense The collection of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rv5L5vZwpEbGdrcN5Y29ycA" class="cyc_term">PropositionalConceptualWork</a>s that are of the action genre. Very similar to the <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4r0z-BqnS_EdaAAACgyZzFrg" class="cyc_term">PropositionalConceptualWork_AdventureGenre</a> but often with less focus on traveling. action work PropositionalConceptualWork-ActionGenre historical fiction PropositionalConceptualWork-HistoricalFictionGenre The collection of instances of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rv5L5vZwpEbGdrcN5Y29ycA" class="cyc_term">PropositionalConceptualWork</a> that are of the historical fiction genre. Works that are set in the past which utilize many actual historical facts to build a framework for a fictional story. (TheNthFn PCWTypeByGenre 1) the first narrative genre erotic drama The collection of instances of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rv5L5vZwpEbGdrcN5Y29ycA" class="cyc_term">PropositionalConceptualWork</a> that are of the erotic drama genre. PropositionalConceptualWork-EroticDramaGenre PropositionalConceptualWork-MemoirGenre memoir An instance of #$NarrativeGenreType. Each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4ryd005inGQdiYa-t-tJZxmA" class="cyc_term">PropositionalConceptualWork_MemoirGenre</a> is a narrative emphasizing the author's personal experience of, and interaction with, the events, situations, and people described in that narrative. family work The collection of instances of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rv5L5vZwpEbGdrcN5Y29ycA" class="cyc_term">PropositionalConceptualWork</a> that are of the family genre. Instances of this genre are intended to be suitable for children and adults. PropositionalConceptualWork-FamilyGenre PropositionalConceptualWork-RomanticComedyGenre romantic comedy The collection of instances of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rv5L5vZwpEbGdrcN5Y29ycA" class="cyc_term">PropositionalConceptualWork</a> that are of the romantic comedy genre. <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvzjmiZwpEbGdrcN5Y29ycA" class="cyc_term">BreakfastAtTiffanys_TheMovie</a> is a movie of this genre. The collection of instances of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rv5L5vZwpEbGdrcN5Y29ycA" class="cyc_term">PropositionalConceptualWork</a> that are of the basketball genre. <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjG0ZwpEbGdrcN5Y29ycA" class="cyc_term">Basketball_TheGame</a> is prominently featured in works of this genre. <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvm7t1ZwpEbGdrcN5Y29ycA" class="cyc_term">WhiteMenCantJump_TheMovie</a> is an example of a movie in this genre. work about basketball PropositionalConceptualWork-BasketballGenre PropositionalConceptualWork-FantasyGenre fantasy The collection of instances of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rv5L5vZwpEbGdrcN5Y29ycA" class="cyc_term">PropositionalConceptualWork</a> that are of the fantasy genre. <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rv_B8pZwpEbGdrcN5Y29ycA" class="cyc_term">RobertEHoward</a>'s stories about Conan the barbarian are examples of this genre. experimental work The collection of instances of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rv5L5vZwpEbGdrcN5Y29ycA" class="cyc_term">PropositionalConceptualWork</a> that are considered "experimental" in nature. PropositionalConceptualWork-ExperimentalGenre PropositionalConceptualWork-SportsGenre The collection of instances of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rv5L5vZwpEbGdrcN5Y29ycA" class="cyc_term">PropositionalConceptualWork</a> that are of the sports genre. Sports and sporting events are prominently featured in works of this genre. work about sports The collection of instances of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rv5L5vZwpEbGdrcN5Y29ycA" class="cyc_term">PropositionalConceptualWork</a> that are of the literary criticism genre. PropositionalConceptualWork-LiteraryCriticismGenre literary criticism PropositionalConceptualWork-GangsterGenre The collection of instances of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rv5L5vZwpEbGdrcN5Y29ycA" class="cyc_term">PropositionalConceptualWork</a> that are of the gangster genre. <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvqxcNpwpEbGdrcN5Y29ycA" class="cyc_term">TheGodfather_TheMovie</a> is a good example of a movie in this genre. gangster work comedy PropositionalConceptualWork-ComedyGenre The collection of instances of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rv5L5vZwpEbGdrcN5Y29ycA" class="cyc_term">PropositionalConceptualWork</a> that are of the comedy genre. A very popular genre for movies. Instances of this genre are designed to be funny or humorous. PropositionalConceptualWork-ChildrensNarrativeGenre children's narrative The collection of instances of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rv5L5vZwpEbGdrcN5Y29ycA" class="cyc_term">PropositionalConceptualWork</a> that are of the children's narrative genre. These are narratives written for audiences pre-teen and younger. musical The collection of instances of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rv5L5vZwpEbGdrcN5Y29ycA" class="cyc_term">PropositionalConceptualWork</a> (usually movies or plays) that prominently feature singing, dancing, and music. PropositionalConceptualWork-MusicalGenre The collection of instances of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rv5L5vZwpEbGdrcN5Y29ycA" class="cyc_term">PropositionalConceptualWork</a> that are of the adventure genre. These are works that portray people in dangerous exciting situations, often in far-off lands. Famous authors that write in this genre include <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwSvGS5wpEbGdrcN5Y29ycA" class="cyc_term">HRiderHaggard</a> and <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwUTJ-5wpEbGdrcN5Y29ycA" class="cyc_term">EdgarRiceBurroughs</a>. adventure PropositionalConceptualWork-AdventureGenre western The collection of instances of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rv5L5vZwpEbGdrcN5Y29ycA" class="cyc_term">PropositionalConceptualWork</a> that are of the western genre. Louis L'Amour is a famous writer of this genre. PropositionalConceptualWork-WesternGenre The collection of instances of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rv5L5vZwpEbGdrcN5Y29ycA" class="cyc_term">PropositionalConceptualWork</a> that are of the tragedy genre. Usually something bad happens to someone in these works. PropositionalConceptualWork-TragedyGenre tragedy science fiction PropositionalConceptualWork-ScienceFictionGenre The collection of instances of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rv5L5vZwpEbGdrcN5Y29ycA" class="cyc_term">PropositionalConceptualWork</a> that are of the science fiction genre. <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvX6CAJwpEbGdrcN5Y29ycA" class="cyc_term">RobertHeinlein</a> and <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvmwZvpwpEbGdrcN5Y29ycA" class="cyc_term">IsaacAsimov</a> are famous writers of this genre. PropositionalConceptualWork-ThrillerGenre thriller The collection of instances of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rv5L5vZwpEbGdrcN5Y29ycA" class="cyc_term">PropositionalConceptualWork</a> that are of the thriller genre. <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rv5-yw5wpEbGdrcN5Y29ycA" class="cyc_term">AlfredHitchcock</a>'s <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwC0fXpwpEbGdrcN5Y29ycA" class="cyc_term">Psycho_TheMovie</a> is an example of a movie in this genre. biblical epic The collection of instances of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rv5L5vZwpEbGdrcN5Y29ycA" class="cyc_term">PropositionalConceptualWork</a> that are of the biblical epic genre. The movie <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvfCH9ZwpEbGdrcN5Y29ycA" class="cyc_term">TheTenCommandments_TheMovie</a> is a prime example of something in this genre. PropositionalConceptualWork-BiblicalEpicGenre mystery The collection of instances of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rv5L5vZwpEbGdrcN5Y29ycA" class="cyc_term">PropositionalConceptualWork</a> that are of the mystery genre. <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwLehQpwpEbGdrcN5Y29ycA" class="cyc_term">SirArthurConanDoyle</a> is a famous writer that wrote stories in this genre. PropositionalConceptualWork-MysteryGenre PropositionalConceptualWork-AdultGenre adult work The collection of instances of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rv5L5vZwpEbGdrcN5Y29ycA" class="cyc_term">PropositionalConceptualWork</a> that are of the adult genre. Works in this genre are aimed at an audience of adults. The collection of instances of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rv5L5vZwpEbGdrcN5Y29ycA" class="cyc_term">PropositionalConceptualWork</a> that are of the dark comedy genre. <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvizm0JwpEbGdrcN5Y29ycA" class="cyc_term">Brazil_TheMovie</a> is a movie in this genre. dark comedy PropositionalConceptualWork-DarkComedyGenre PropositionalConceptualWork-InstructionalGenre The collection of instances of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rv5L5vZwpEbGdrcN5Y29ycA" class="cyc_term">PropositionalConceptualWork</a> that are of the instructional genre. How-To books and exercise videos are all of this genre. instructional work PropositionalConceptualWork-CrimeGenre The collection of instances of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rv5L5vZwpEbGdrcN5Y29ycA" class="cyc_term">PropositionalConceptualWork</a> that are of the crime genre. <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwU70MZwpEbGdrcN5Y29ycA" class="cyc_term">DirtyHarry_TheMovie</a> and CrimeStory-TheTVShow are examples of this genre. crime work PropositionalConceptualWork-HistoricalNarrativeGenre historical narrative The collection of instances of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rv5L5vZwpEbGdrcN5Y29ycA" class="cyc_term">PropositionalConceptualWork</a> that are of the historical narrative genre. These are often slightly fictionalized accounts of real-life events. The collection of instances of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rv5L5vZwpEbGdrcN5Y29ycA" class="cyc_term">PropositionalConceptualWork</a> that are of the biography genre. Works in this genre usually detail the life of some famous or significant person. PropositionalConceptualWork-BiographyGenre biography romance PropositionalConceptualWork-RomanceGenre The collection of instances of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rv5L5vZwpEbGdrcN5Y29ycA" class="cyc_term">PropositionalConceptualWork</a> that are of the romance genre. satire The collection of instances of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rv5L5vZwpEbGdrcN5Y29ycA" class="cyc_term">PropositionalConceptualWork</a> that are of the satire genre. A genre in which the intent is to use irony or sarcasm to make fun of certain aspects of people, places or things often with the understanding that these things are silly in some way. PropositionalConceptualWork-SatireGenre documentary The collection of instances of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rv5L5vZwpEbGdrcN5Y29ycA" class="cyc_term">PropositionalConceptualWork</a> that document, usually as they occur, real life events. Documentary-Genre parody PropositionalConceptualWork-ParodyGenre The collection of instances of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rv5L5vZwpEbGdrcN5Y29ycA" class="cyc_term">PropositionalConceptualWork</a> that are of the parody genre. Works that make fun of or ridicule other works or things for the purposes of satire or comedy appeal are often instances of this genre. Harvard Lampoon's "Bored Of The Rings" is an example of a book in this genre. PropositionalConceptualWork-ClassicGenre The collection of instances of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rv5L5vZwpEbGdrcN5Y29ycA" class="cyc_term">PropositionalConceptualWork</a> that are of the classic genre. This is not a "true" genre in that it doesn't describe the style of a work. Works thought to be classics (i.e. works that have stood the test of time) are instances of this genre. classic The collection of instances of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rv5L5vZwpEbGdrcN5Y29ycA" class="cyc_term">PropositionalConceptualWork</a> that are of the teen genre. These are books, movies, T.V. shows, etc. that are written for an audience that is in their teens. PropositionalConceptualWork-TeenGenre work for teens The collection of instances of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rv5L5vZwpEbGdrcN5Y29ycA" class="cyc_term">PropositionalConceptualWork</a> that are of the cult genre. Works of this genre usually have an obsessive appeal to some sub-group of the fans of a particular genre. There is usually some element of "camp" in instances of this genre. <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvZ9jj5wpEbGdrcN5Y29ycA" class="cyc_term">EvilDead_TheMovie</a> is a good example of a movie in this genre. This is not a "true" genre in that it doesn't actually describe the style of the work. In many cases the creator of the work had no intent to make something of this genre. <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvxMob5wpEbGdrcN5Y29ycA" class="cyc_term">EdWood_MovieDirector</a> is a good example of someone with no such intent. His movies are considered, by most film critics, to be universally bad. Yet, in spite of this (or more likely, because of this) his movies are considered by certain people to be very fun to watch and have attracted a large "cult" following. PropositionalConceptualWork-CultGenre cult work PropositionalConceptualWork-WarGenre work about war The collection of instances of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rv5L5vZwpEbGdrcN5Y29ycA" class="cyc_term">PropositionalConceptualWork</a> that are of the war genre. <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvenQPJwpEbGdrcN5Y29ycA" class="cyc_term">SavingPrivateRyan_TheMovie</a> and <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwVdZ1pwpEbGdrcN5Y29ycA" class="cyc_term">ApocalypseNow_TheMovie</a> are examples of movies in this genre. PropositionalConceptualWork-DramaGenre The collection of instances of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rv5L5vZwpEbGdrcN5Y29ycA" class="cyc_term">PropositionalConceptualWork</a> that are of the drama genre. A very broad genre which includes instances of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwSFu1pwpEbGdrcN5Y29ycA" class="cyc_term">SoapOpera</a> as well as instances of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvbN0FpwpEbGdrcN5Y29ycA" class="cyc_term">DramaticMovie</a>. The underlying similarity is that the stories in this genre all revolve around conflict driven interactions between people. drama educational work The collection of instances of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rv5L5vZwpEbGdrcN5Y29ycA" class="cyc_term">PropositionalConceptualWork</a> that are of the educational genre. <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvexgc5wpEbGdrcN5Y29ycA" class="cyc_term">SesameStreet_TheTVShow</a> is a prime example of a T.V. show in this genre. PropositionalConceptualWork-EducationalGenre PCWTypeByGenre narrative genre A collection of collections. Each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rhDkzbHSwEdaAAACgyZzFrg" class="cyc_term">PCWTypeByGenre</a> is a collection of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rv5L5vZwpEbGdrcN5Y29ycA" class="cyc_term">PropositionalConceptualWork</a>s that are of a certain genre. A conceptual work (a movie, book, play, etc.) may have attributes of several instances of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rhDkzbHSwEdaAAACgyZzFrg" class="cyc_term">PCWTypeByGenre</a> at the same time. The instances of this collection (broadly) divide up a major portion of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rv5L5vZwpEbGdrcN5Y29ycA" class="cyc_term">PropositionalConceptualWork</a> into subcollections. 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 ArtisticTypeByStyle A collection of collections. Each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4re7SDpHSwEdaAAACgyZzFrg" class="cyc_term">ArtisticTypeByStyle</a> is a collection of the things that are of the represented genre/school/type. The various specializations of this collection are collections of collections that all are genres of a single type of thing. For instance, <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rgkiTmnSwEdaAAACgyZzFrg" class="cyc_term">ArchitecturalTypeByStyle</a> is the collection of collections of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVidpZwpEbGdrcN5Y29ycA" class="cyc_term">ConstructionArtifact</a>s each one representing a particular architectural style. artistic style PCWTypeByGenre narrative genre A collection of collections. Each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rhDkzbHSwEdaAAACgyZzFrg" class="cyc_term">PCWTypeByGenre</a> is a collection of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rv5L5vZwpEbGdrcN5Y29ycA" class="cyc_term">PropositionalConceptualWork</a>s that are of a certain genre. A conceptual work (a movie, book, play, etc.) may have attributes of several instances of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rhDkzbHSwEdaAAACgyZzFrg" class="cyc_term">PCWTypeByGenre</a> at the same time. The instances of this collection (broadly) divide up a major portion of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rv5L5vZwpEbGdrcN5Y29ycA" class="cyc_term">PropositionalConceptualWork</a> into subcollections. AtemporalNecessarilyEssentialCollectionType A collection of collections. Each instance <code>COL</code> of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rqEYnNVMqEdaSKAACs0x8nw" class="cyc_term">AtemporalNecessarilyEssentialCollectionType</a> (ANECT) is a collection satisfying three conditions: (1) <code>COL</code> is disjoint with (see <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViA45wpEbGdrcN5Y29ycA" class="cyc_term">disjointWith</a>) <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViAxJwpEbGdrcN5Y29ycA" class="cyc_term">TemporalThing</a>, (2) every instance <code>INST</code> of <code>COL</code> is an instance of <code>COL</code> essentially (i.e. <code>INST</code> is an instance of <code>COL</code>, and could not exist without being an instance of <code>COL</code>), and (3) condition (2) is a necessary truth about <code>COL</code>. Positive examples of ANECTs include <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViAzJwpEbGdrcN5Y29ycA" class="cyc_term">Collection</a>, <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVieEpwpEbGdrcN5Y29ycA" class="cyc_term">Integer</a>, and <a href="http://sw.opencyc.org/2008/06/10/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/2008/06/10/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/2008/06/10/concept/Mx4rvViAxJwpEbGdrcN5Y29ycA" class="cyc_term">TemporalThing</a>) and <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwP4FM5wpEbGdrcN5Y29ycA" class="cyc_term">UniqueAnatomicalPartType</a> (which, though disjoint with <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViAxJwpEbGdrcN5Y29ycA" class="cyc_term">TemporalThing</a>, has instances, such as <a href="http://sw.opencyc.org/2008/06/10/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: (<a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvrhK-JwpEbGdrcN5Y29ycA" class="cyc_term">CollectionUnionFn</a> (<a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjkdpwpEbGdrcN5Y29ycA" class="cyc_term">TheSet</a> <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjrdZwpEbGdrcN5Y29ycA" class="cyc_term">PrimeNumber</a> TodaysWinningLotteryNumbers)) This collection is clearly disjoint with <a href="http://sw.opencyc.org/2008/06/10/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 necessarily 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. 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/2008/06/10/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. Cf. <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rGeylLJTfEdqAAAACs0uFOQ" class="cyc_term">PragmaticallyDecontextualizedCollection</a>. type of atemporal collection in which membership is necessarily essential A collection of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvtppU5wpEbGdrcN5Y29ycA" class="cyc_term">CollectionType</a>s. Each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvprlOZwpEbGdrcN5Y29ycA" class="cyc_term">FacetingCollectionType</a> is a collection-type that "facets" -- i.e. stands in the <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvjldVJwpEbGdrcN5Y29ycA" class="cyc_term">facets_Generic</a> (q.v.) relation to -- another collection. Examples include <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVibOJwpEbGdrcN5Y29ycA" class="cyc_term">AutomobileTypeByBrand</a> and <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rANFO8Ec-EdaEKABQ2sS97g" class="cyc_term">MusicTypeByGenre</a>, which facet <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViVwZwpEbGdrcN5Y29ycA" class="cyc_term">Automobile</a> and <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjOJpwpEbGdrcN5Y29ycA" class="cyc_term">Music</a>, respectively. faceting collection type FacetingCollectionType