]> 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. 1980sPopMusicPerformer The collection of bands and solo artists that perform 1980s pop music. 1980's pop music performer 1980's pop music performers Motley Crue MotleyCrue-MusicGroup Simple Minds SimpleMinds-MusicGroup Toto Toto-MusicGroup Reo Speedwagon ReoSpeedwagon-MusicGroup Def Leppard DefLeppard-MusicGroup Asia The pop group Asia, popular in the early to mid eighties, when they quit. Asia-MusicGroup Janet Jackson JanetJackson BillyIdol Billy Idol EchoAndTheBunnymen-MusicGroup Echo and the Bunnymen Adam Ant AdamAnt RATT RATT-MusicGroup MichaelJackson Michael Jackson Erasure Erasure-MusicGroup Robert Smith RobertSmith TheArtistFormerlyKnownAsPrince Prince PatBenatar Pat Benatar DuranDuran Duran Duran Matt Johnson MattJohnson Van Halen VanHalen-MusicGroup Talking Heads TalkingHeads-MusicGroup Bon Jovi BonJovi-MusicGroup RunDMC-MusicGroup Run-D.M.C Triumph Triumph-MusicGroup Art Of Noise ArtOfNoise-MusicGroup Poison Poison-MusicGroup Dead Milkmen DeadMilkmen-MusicGroup ABC-MusicGroup ABC Siouxsie and the Banshees SiouxsieAndTheBanshees-MusicGroup HueyLewisAndTheNews-MusicGroup Huey Lewis and the News Elvis Costello ElvisCostello-MusicalPerformer Inxs Inxs-MusicGroup Pet Shop Boys PetShopBoys-MusicGroup Madness-MusicGroup Madness 10000 Maniacs 10000Maniacs-MusicGroup REM-MusicGroup REM Bel Canto BelCanto-MusicGroup Suzanne Vega SuzanneVega-MusicalPerformer Culture Club CultureClub-MusicGroup WallOfVoodoo-MusicGroup Wall Of Voodoo NewOrder-MusicGroup New Order Dire Straits DireStraits-MusicGroup DavidLeeRoth David Lee Roth TearsForFears-MusicGroup Tears For Fears the Cure TheCure-MusicGroup Steve Vai SteveVai-MusicalPerformer DebbieGibson Debbie Gibson Aha A-ha-MusicGroup James-MusicGroup James Falco-MusicGroup Falco Men Without Hats MenWithoutHats-MusicGroup Level 42 Level42-MusicGroup U2-MusicGroup U2 CyndiLauper Cyndi Lauper NewKidsOnTheBlock-MusicGroup New Kids On The Block DepecheMode-MusicGroup Depeche Mode ThomasDolby-MusicalPerformer Thomas Dolby (CollectionUnionFn (TheSet MusicalPerformer Band-MusicGroup)) the union of { musical performers, bands } 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 The collection of collections of performers and bands who play a certain type of music. Each instance of this collection is a collection of musical performers or bands that play a certain genre of music. Specifically, for every instance, PERFORMER, of an instance of this collection (<a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwWtTZH8AEdaAAAABAjVgzA" class="cyc_term">styleOfArtist</a> PERFORMER GENRE) holds for some GENRE that is an instance of <font color="#ff0000">#$MusicalGenreType</font>. And for each instance, PERFORMER-TYPE, of this collection every instance of PERFORMER-TYPE is related via <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwWtTZH8AEdaAAAABAjVgzA" class="cyc_term">styleOfArtist</a> assertions to the same GENRE musical performance agent type by genre MusicalPerformanceAgentTypeByGenre 1980sPopMusicPerformer 1980's pop music performer The collection of bands and solo artists that perform 1980s pop music. 1980sPopMusicPerformer 1980's pop music performer The collection of bands and solo artists that perform 1980s pop music.