]> 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. AutomobileTypeByModel automobile model A collection of collections, each element of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rveV7eZwpEbGdrcN5Y29ycA" class="cyc_term">AutomobileTypeByModel</a> is a collection of automobiles - i.e., cars, light trucks, vans (see <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViVwZwpEbGdrcN5Y29ycA" class="cyc_term">Automobile</a>) - categorized by model. For example, the collection of Subaru Imprezas would be an element of this collection. automobile models car models car model A collection of collections. Each instance is a spec of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVic6JwpEbGdrcN5Y29ycA" class="cyc_term">GeoCar</a> whose instances are all of the same model. GeoCarTypeByModel geo car type by model the Aspire FordAspireCar Ram Wagon DodgeRamWagonCar Chevrolet Greenbrier ChevroletGreenbrierCar Rover 416iS Rover416iSCar Ford Futura FordFuturaCar Porsche 928 Porsche928Car Jeep Wrangler JeepWranglerCar Vanden Plas JaguarXJ6Car The collection of all Ford Country Sedans. A type of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVifqJwpEbGdrcN5Y29ycA" class="cyc_term">FordCar</a>. <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwBQbsJwpEbGdrcN5Y29ycA" class="cyc_term">CountrySedanCar</a> is an <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rveV7eZwpEbGdrcN5Y29ycA" class="cyc_term">AutomobileTypeByModel</a> and a <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rpPHhAOB1EdqAAAACs6hRXg" class="cyc_term">SpatiallyDisjointObjectType</a>. Ford Country Sedan CountrySedanCar DodgeDemonCar Dodge Demon BMW528Car BMW 528 Renault18IWagonCar Renault 18I Wagon Hyundai Scoupe HyundaiScoupeCar Vega ChevroletVegaCar Chevrolet Lumina APV ChevroletLuminaAPVCar Daewoo Super Salon DaewooSuperSalonCar Isuzu I-Mark IsuzuI-MarkCar 930 Porsche930Car FordFairmontCar Ford Fairmont AMC Concord AMCConcordCar VW beetle VolkswagenBeetleCar NissanNXCar Nissan NX VolvoPV445Car PV445 Subaru 360 Subaru360Car Rover 211SE Rover211SECar Dodge Neon DodgeNeonCar VW passat VolkswagenPassatCar Mercedes218Car Mercedes 218 Pontiac 6000 Pontiac6000Car the Land Cruiser ToyotaLandCruiserCar Volvo960SeriesCar Volvo 960 Series MercuryTracerCar Mercury Tracer Beta LanciaBetaCar Fiat124SpiderCar 124 Spider the Dakota DodgeDakotaCar Rover 220iS TD Rover220iSTDCar Rapier Series SunbeamRapierSeriesCar Oldsmobile Aurora OldsmobileAuroraCar MercedesCClassCar C Class Audi S6 AudiS6Car SubaruJustyCar Subaru Justy Rover 420iE TD Rover420iETDCar Mazda323Car Mazda 323 Alfa-Romeo GTV6 Alfa-RomeoGTV6Car Rover 420iL TD Rover420iLTDCar SaturnSLCar SL Jaguar120Car Jaguar 120 FordGranTorinoCar Gran Torino JaguarMark10 Jaguar Mark 10 GMC S15 The collection of all GMC S15 cars. A type of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwIPIjJwpEbGdrcN5Y29ycA" class="cyc_term">GMCTruck</a>. <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwNQuEpwpEbGdrcN5Y29ycA" class="cyc_term">GMCS15Car</a> is an <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rveV7eZwpEbGdrcN5Y29ycA" class="cyc_term">AutomobileTypeByModel</a> and a <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rpPHhAOB1EdqAAAACs6hRXg" class="cyc_term">SpatiallyDisjointObjectType</a>. GMCS15Car GMCSavana Savana Oxford V MorrisOxfordVCar Subaru Legacy SubaruLegacyCar a BMW car with a removable top BMWConvertible BMW convertible C/R Series Pkup GMCC-RSeriesPkupCar ChryslerNewYorkerSalonCar Chrysler New Yorker Salon Beta Hardtop LanciaBetaHardtopCar GMCSafariCar GMC Safari XJS JaguarXJSCar ChevroletChevelleCar Chevrolet Chevelle the Venture ChevroletVentureCar OpelKadettCar Kadett 940 Series Volvo940SeriesCar DodgeColtVistaCar Dodge Colt Vista Nissan 240SX Nissan240SXCar BMW 320 BMW320Car OldsmobileLSSCar Oldsmobile LSS Mercedes380Car Mercedes 380 BMW850Car BMW 850 Nissan Quest NissanQuestCar Austin A55 Mark II AustinA55MarkIICar Lanos DaewooLanosCar chevrolet sportvan car ChevroletSportvanCar Mercedes280Car Mercedes 280 AudiSportCoupe Audi Sport Coupe PontiacTransSportCar Trans Sport Mercedes240Car Mercedes 240 Mazda929Car Mazda 929 CadillacBroughamCar Cadillac Brougham BMW Z3 BMWZ3Car VolkswagenSciroccoCar Scirocco Rover 200Vi Rover200ViCar Plymouth Breeze PlymouthBreezeCar Oldsmobile 98 Oldsmobile98Car Volkswagen Cabriolet VolkswagenCabrioletCar Maserati Mistral MaseratiMistralCar Chrysler New Yorker ChryslerNewYorkerCar Mercedes S Class MercedesSClassCar RoverFastbackCar Rover Fastback FordFocusCar Ford Focus Rover 620Si Rover620SiCar ShelbyAmericanCobraCar The collection of all Shelby Cobra. A type of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwCMia5wpEbGdrcN5Y29ycA" class="cyc_term">ShelbyAmericanCar</a>. <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwOZjZ5wpEbGdrcN5Y29ycA" class="cyc_term">ShelbyAmericanCobraCar</a> is an <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rveV7eZwpEbGdrcN5Y29ycA" class="cyc_term">AutomobileTypeByModel</a> and a <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rpPHhAOB1EdqAAAACs6hRXg" class="cyc_term">SpatiallyDisjointObjectType</a>. Shelby Cobra BMW 633 BMW633Car MazdaCosmosCar Mazda Cosmos sebring PlymouthSebringCar The collection of all Aston Martin cars. A type of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvyGRM5wpEbGdrcN5Y29ycA" class="cyc_term">AstonMartinCar</a>. <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvunKlpwpEbGdrcN5Y29ycA" class="cyc_term">Aston_MartinAstonMartinCar</a> is an <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rveV7eZwpEbGdrcN5Y29ycA" class="cyc_term">AutomobileTypeByModel</a> and a <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rpPHhAOB1EdqAAAACs6hRXg" class="cyc_term">SpatiallyDisjointObjectType</a>. Aston-MartinAstonMartinCar Aston Martin Ford Explorer FordExplorerCar ToyotaPreviaCar the Previa ChevroletElCaminoCar Chevrolet El Camino GMCSierraKSeriesCar Sierra K Series LexusES250Car ES250 VegaFacelliaCar Facel Vega Facellia FordFairlaneCar fairlane Ford Mustang FordMustangCar MorrisMinor1000Car Morris Minor 1000 JaguarModel340Car Jaguar Model 340 Lancia Beta Coupe LanciaBetaCoupeCar FordGranadaCar AMC Granada FordBroncoIICar the Bronco II Checker Superba SuperbaCar LotusEuropaCar Lotus Europa BMW735Car BMW 735 Nissan280ZXCar 280ZX DaewooPrinceCar Daewoo Prince FordFSeriesPickup Ford F Series Pkup GrandNationalCar Buick Grand National Honda Civic HondaCivicCar SunbeamTigerSeriesCar Sunbeam Tiger Series ford f 250 hd pickup FordF-250HDPickup Rover 216iL Rover216iLCar Mercedes 250 Mercedes250Car MitsubishiGalantCar Mitsubishi Galant cadillac allante car CadillacAllanteCar the Cadillac convertible Allante DodgeStRegisCar Dodge St. Regis Nissan620Car Nissan 620 BMW 530 BMW530Car Ford LTD II FordLTDIICar Mercedes230Car Mercedes 230 HondaCRVCar the CRV DodgeColtVistaWagonCar Colt Vista wagon Austin850MiniCooperCar 850 Mini Cooper Acadian PontiacAcadianCar HondaAccordCar the Accord FordProbeCar the Probe KiaSportageCar Kia Sportage PlymouthCaravelleCar Caravelle Rover618iSCar Rover 618iS Volvo1800SeriesCar Volvo 1800 Rover414iSCar Rover 414iS Oldsmobile Bravada OldsmobileBravadaCar VolkswagenFastBackCar Volkswagen FastBack MazdaBSeriesPkupCar B Series Pkup NissanVanGC22Car Nissan Van GC 22 HondaCRXCar the CRX PlymouthReliantCar Plymouth Reliant Mini-Minor The collection of all Mini-Minor. A type of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwRMq-ZwpEbGdrcN5Y29ycA" class="cyc_term">MorrisCar</a>. <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvquQkJwpEbGdrcN5Y29ycA" class="cyc_term">MorrisMini_MinorCar</a> is an <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rveV7eZwpEbGdrcN5Y29ycA" class="cyc_term">AutomobileTypeByModel</a> and a <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rpPHhAOB1EdqAAAACs6hRXg" class="cyc_term">SpatiallyDisjointObjectType</a>. MorrisMini-MinorCar BMW 535 BMW535Car LincolnPremiereCar Premiere MercuryCougarCar Mercury Cougar Sierra C Series GMCSierraCSeriesCar Pontiac Firebird PontiacFirebirdCar PlymouthSundanceCar Plymouth Sundance NissanPathfinderCar Nissan Pathfinder Herald TriumphHeraldCar SimcaSeries1000Car Series 1000 MercuryGrandMarquisCar Grand Marquis Rover 214SE Rover214SECar SubaruSTDSeriesCar STD Series Chevrolet Caprice ChevroletCapriceCar JaguarXJSeriesCar XJ Series JeepCJ5Car Jeep CJ5 LTD FordLTDCar Morgan4SeriesCar Morgan 4 Series LincolnVersaillesCar Versailles ToyotaTundraCar the Tundra Lexus SC300 LexusSC300Car CadillacFleetwoodCar Cadillac Fleetwood Ford Courier FordCourierCar ChevroletMonteCarloCar Chevrolet Monte Carlo Audi4000QuattroCar 4000 Quattro Renault Fuego RenaultFuegoCar MercuryMystiqueCar Mercury Mystique AlfaRomeo164Car 164 HJ Mulliner BentleyHJMullinerCar OldsmobileTouringSedanCar Oldsmobile Touring Sedan Ariane SimcaArianeCar FordTorinoCar Ford Torino LanciaZagatoCar Lancia Zagato OldsmobileRegencyCar Regency ChevroletC-KSeriesPkupCar C-K Series Pkup the Mirada DodgeMiradaCar Bentley Mulsanne BentleyMulsanneCar ChevroletCavalierCar Chevrolet Cavalier Mazda 626 Mazda626Car Chevrolet Lumina ChevroletLuminaCar Mitsubishi Montero MitsubishiMonteroCar Indy MaseratiIndyCar CadillacSeventyFiveCar Cadillac Seventy Five Valiant PlymouthValiantCar HondaPreludeCar Honda Prelude FiatSpider2000Car Fiat Spider 2000 Porsche924Car 924 VolvoP1800Car P1800 the 4Runner Toyota4RunnerCar DodgeAvengerCar the Avenger Rover214iL Rover 214iL LexusSC400Car Lexus SC400 Lincoln Mark VII LincolnMarkVIICar Datsun Fairlady Roadster DatsunFairladyRoadsterCar Series 1204 SimcaSeries1204Car Custom Cruiser OldsmobileCustomCruiserCar Chevrolet Corsica ChevroletCorsicaCar Rover 618i Rover618iCar SuzukiForsaCar Suzuki Forsa TerraPickupCar International Terra Pickup Nissan 200SX Nissan200SXCar the Expedition FordExpeditionCar Datsun260ZCar Nissan 260Z Sunbeam Venezia VeneziaCar Desoto Adventurer DesotoAdventurerCar Honda S2000 HondaS2000Car Honda Odyssey HondaOdysseyCar Rover 618iL Rover618iLCar PontiacCatalinaCar Pontiac Catalina Mercedes 500 Mercedes500Car the Challenger DodgeChallengerCar Mark IX JaguarMarkIXCar RL AcuraRLCar Alfa-RomeoSpiderVeloceCar Alfa Veloce 2000 Nissan300ZXCar Nissan 300ZX Coupe Quattro AudiCoupeQuattroCar MitsubishiMightyMaxCar Mitsubishi Mighty Max the Supra ToyotaSupraCar Discovery DiscoveryCar RenaultR-16Car R16 OldsmobileToronadoCar Toronado Rover Coupe RoverCoupeCar RenaultR-15Car R-15 BMW524Car BMW 524 BMW630Car BMW 630 VW corrado VolkswagenCorradoCar StudebakerCommanderCar Studebaker Commander Pontiac Sunburst PontiacSunburstCar FordThunderbirdCar the Thunderbird VolkswagenJettaCar VW jetta Rover 420 Exec Rover420ExecCar BMW732Car BMW 732 VW golf VolkswagenGolfCar 2000 GTX Eagle2000GTXCar JeepComancheCar Jeep Comanche Lincoln Town Car LincolnTownCarCar LandRoverDiscoveryCar Land Rover Discovery Rover416iLCar Rover 416iL MaseratiGhibliCar Maserati Ghibli AustinA60Car A60 Chrysler Cordoba ChryslerCordobaCar Porsche 912/e Porsche912eCar Lexus ES300 LexusES300Car Mercedes200Car Mercedes 200 BMW733iCar 733i Dodge Viper DodgeViperCar Plymouth Scamp PlymouthScampCar Mercury Montclair MercuryMontclairCar PontiacGrandPrixCar Pontiac Grand Prix Series 1118 SimcaSeries1118Car Saab 9000 Series Saab9000Car FordCortinaCar Ford Cortina V8 Quattro AudiV8QuattroCar Kyalami MaseratiKyalamiCar BMW M5 BMWM5Car Cadillac convertible CadillacConvertible a cadillac car with a removable top Mercedes300Car Mercedes 300 Miata MazdaMiataCar MercedesEClassCar Mercedes E Class Lexus GS300 LexusGS300Car ChevroletCheyenneCar Chevrolet Cheyenne BuickRivieraCar Riviera PlymouthSavoyCar Plymouth Savoy Aston-Martin Lagonda Aston-MartinLagondaCar Austin Midget MK IV AustinMidgetMKIVCar LamborghiniP300Car P300 Rover 416iE Rover416iECar Sonoma GMCSonomaPickupCar LotusEspritCar Lotus Esprit MG MGB MGBCar OldsmobileSupremeCar Supreme Mercedes 350 Mercedes350Car Mercedes 219 Mercedes219Car RenaultR-10Car R-10 Nissan1200Car Nissan 1200 TriumphTR250Car Triumph TR250 FiatBravaCar Fiat Brava FordF-150Pickup Ford F-150 Triumph 2000 Triumph2000Car FacelVegaExcellenceCar Facel Vega Excellence Vedette Beaulieu SimcaVedetteBeaulieuCar MazdaMillenniaCar Mazda Millenia the Carina ToyotaCarinaCar ChevroletCitationCar Chevrolet Citation AcuraIntegraCar Acura Integra chevrolet pickup car ChevroletPickupCar QuattroCar Audi Quattro Biscayne ChevroletBiscayneCar Minx HillmanMinxCar Acura Legend AcuraLegendCar AustinHealy1004Car Austin Healy 1004 MorganPlusFourCar Plus Four Mercedes300SDCar Mercedes 300SD Rover 420iL Rover420iLCar DodgeMaxiVanCar Dodge Maxi Van MitsubishiPrecisCar Mitsubishi Precis 911 Porsche911Car BMW30Car BMW 30 BMW 318 BMW318Car Mercedes400Car Mercedes 400 Pontiac Grandville PontiacGrandvilleCar ChryslerLeBaronCar Chrysler Le Baron Jaguar Mark X JaguarMarkXCar PontiacSunfireCar Pontiac Sunfire Rover 420iXL Rover420iXLCar Khamsin MaseratiKhamsinCar the Rocky DaihatsuRockyCar Plymouth VIP PlymouthVIPCar MaseratiA6SeriesCar A6 Series Volkswagen Square Back SquareBackCar the Camry ToyotaCamryCar MercuryS-55Car Mercury S-55 Rover 620GSi Rover620GSiCar Rolls-RoyceSilverWraithCar Silver Wraith GMC Wideside GMCWidesideCar Toyota Corolla ToyotaCorollaCar Lamborghini P200 LamborghiniP200Car AcuraSLXCar SLX Rover414iECar Rover 414iE Nissan Stanza NissanStanzaCar InfinitiQX4Car Infiniti QX4 Festiva FordFestivaCar the Camaro ChevroletCamaroCar LanciaBetaSedanCar Lancia Beta Sedan Nissan 240Z Datsun240ZCar Saratoga ChryslerSaratogaCar CadillacSixtySpecialCar Sixty Special Rover620GSDiCar Rover 620GSDi the T100 ToyotaT100Car ChevroletS10PickupCar Chevrolet S10 pickup Sunbird PontiacSunbirdCar Mercedes180Car Mercedes 180 DodgeUtilineCar Utiline MercuryMarauderCar Mercury Marauder VegaFacel6Car Facel Vega Facel 6 IsuzuAmigoCar Amigo Audi TT AudiTTCar S4 AudiS4Car DeTomasoMangustaCar Tomaso Mangusta AlfaSpyder1600Car Alfa Spyder 1600 Ford Bronco FordBroncoCar 5000 Quattro Audi5000QuattroCar Hyundai Accent HyundaiAccentCar Hombre IsuzuHombreCar Sprite Mark III Austin-HealeySpriteMarkIIICar JaguarXKSeriesCar Jaguar XK Series AMC Renault Encore RenaultEncoreCar Chevrolet Parkwood Wagon ChevroletParkwoodWagonCar PlymouthFleetSpecialCar Plymouth Fleet Special Yugo GV YugoGVCar PlymouthFuryCar Fury Bora MaseratiBoraCar Cherokee JeepCherokeeCar DodgePioneerCar Dodge Pioneer Eldorado CadillacEldoradoCar Audi S8 AudiS8Car AcuraNSXCar acura nsx Chevrolet Nova ChevroletNovaCar Jeep CJ7 JeepCJ7Car Oldsmobile Omega OldsmobileOmegaCar DodgePolaraCar Polara Q45 InfinitiQ45Car Silver Spirit Rolls-RoyceSilverSpiritCar FordAstreCar the Astre Rover620iSDCar Rover 620iSD Fiat 124 Fiat124Car 4CV Renault4CVCar Subaru Impreza SubaruImprezaCar AlfaRomeoMilanoCar Alfa Milano BuickSkyhawkCar Buick Skyhawk Chevy Blazer ChevroletBlazerCar SVX SubaruSVXCar FordClubWagonCar Club Wagon ChryslerNewportCar Newport BMW 635 BMW635Car Park Ave BuickParkAveCar Roadmaster BuickRoadmasterCar Pontiac2000Car Pontiac 2000 DodgeIntrepidCar intrepid Mercedes 450 Mercedes450Car IHScoutIICar Scout II LamborghiniLP5000Car Lamborghini LP5000 Cadillac Coupe de Ville CadillacCoupeDeVille Rover216iECar Rover 216iE Rover620DiCar Rover 620Di Ford Ranger FordRangerCar BMW728Car BMW 728 Lecar RenaultLecarCar Rover 420iE Rover420iECar DodgeChargerCar Dodge Charger MitsubishiEclipseCar Mitsubishi Eclipse Audi100QuattroCar Audi 100 Quattro ToyotaAvalonCar the Avalon Mitsubishi Mirage MitsubishiMirageCar the EV Plus HondaEVPlusCar the Tercel ToyotaTercelCar ChevroletS10BlazerCar Chevy S10 Blazer GMCJimmyCar GMC Jimmy LamborghiniP350Car Lamborghini P350 KarmannGhiaCar Karmann Ghia PlymouthVanCar Plymouth Van Volvo 260 Volvo260SeriesCar Mercedes 190 Mercedes190Car Rolls-RoyceJamesYoungCar Rolls-Royce James Young TriumphGT6Car GT6 GT OpelGTCar BMW750Car BMW 750 oldsmobile eighty eight car OldsmobileEighty-EightCar Tempest PontiacTempestCar Audi Super 90 AudiSuper90Car Volkswagen Transporter VolkswagenTransporterCar HyundaiElantraCar Elantra DodgeOmni2DRCar Dodge Omni Fiat 128AC Fiat128ACCar Mitsubishi Sigma MitsubishiSigmaCar BuickCenturyCar Century BMW325Car BMW 325 Plymouth GTX PlymouthGTXCar Dodge Lancer DodgeLancerCar Hyundai Tiburon HyundaiTiburonCar Starfire OldsmobileStarfireCar FordLTDCrownVictoriaCar Ford Crown Victoria Volvo 210S Volvo210SCar Mazda Navajo MazdaNavajoCar Fiesta FordFiestaCar Aston-MartinDB6Car DB6 DodgeRamCar Dodge Ram FordAerostarCar the Aerostar ChevroletSuburbanCar chevrolet suburban MercuryMontereyCar Mercury Monterey Rover416iXLCar Rover 416iXL Datsun 2000 Datsun2000Car BMW30CSCar 3.0CS Rover 620ti Rover620tiCar Alpine Series SunbeamAlpineSeriesCar Parklane MercuryParklaneCar LincolnMarkVCar Mark V FordTaurusCar Ford Taurus the Aspen DodgeAspenCar MGACar a Series VolkswagenVanagonCar Volkswagen Vanagon RenaultGordiniCar Renault Gordini the Durango DodgeDurangoCar OpelRallyeCar Rallye Honda Civic EX HondaCivicExCar Rover 220iE TD Rover220iETDCar GMC High Sierra GMCHighSierraCar Rover 220SE TD Rover220SETDCar DodgeDSeriesPickupCar D-series pickup DodgeStratusCar Dodge Stratus Chevrolet Tahoe ChevroletTahoeCar Mazda RX7 MazdaRX7Car Vega HK500 FacelVegaHK500Car Jetstar OldsmobileJetstarCar Aston-Martin DB4GT DB4GTCar Dodge Mini Ram Van DodgeMiniRamVanCar Mondeo FordMondeoCar Enzo AlfaEnzoCar Nissan B210 NissanB210Car BMW318iCar 318i Porsche 356 Series Porsche356Car BuickReattaCar Buick Reatta Mercury Villager MercuryVillagerCar Ford Maverick FordMaverickCar SuzukiSamuraiCar Suzuki Samurai Volvo122SCar Volvo 122S Buick GSX BuickGSXCar AcuraTLCar TL FordEconolineVanCar Econoline Van Strada FiatStradaCar MonteCarloCar Saab Monte Carlo Isuzu Trooper II IsuzuTrooperIICar Dodge Magnum DodgeMagnumCar Fiat128Car Fiat 128 ChevroletBerettaCar Chevrolet Beretta ChevroletCorvairCar Chevrolet Corvair BMW M3 BMWM3Car AMV8 Aston-MartinAMV8Car FordTempoCar Ford Tempo Triumph 1500 Triumph1500Car Phantom VI PhantomVICar MitsubishiCordiaCar Mitsubishi Cordia Eagle Medallion RenaultMedallionCar Volvo PV544 VolvoPV544Car RenaultDauphineCar Renault Dauphine BMW633SiCar 633Si MitsubishiDiamanteCar Mitsubishi Diamante R-17 RenaultR-17Car the MR2 ToyotaMR2Car 900/Turbo Saab900TurboCar BMW 533 BMW533Car 914 Porsche914Car BMW 320i BMW320iCar Rover 623GSi Rover623GSiCar Rover 214iE Rover214iECar Daewoo Espero DaewooEsperoCar StudebakerLarkCar Lark P250 LamborghiniP250Car ChryslerCirrusCar Chrysler Cirrus Rover420ExecTDCar Rover 420 Exec TD MercuryCapriCar Mercury Capri PontiacParisienneCar Pontiac Parisienne MazdaVanCar Mazda Van Pontiac1000Car Pontiac 1000 Pontiac Bonneville PontiacBonnevilleCar Astre PontiacAstreCar Plymouth Trailduster PlymouthTraildusterCar Rover420iSCar Rover 420iS 323 BMW323Car MercuryMontegoCar Montego Ford F-350 FordF-350Pickup Mercedes Wagon MercedesWagonCar PlymouthVolareCar Plymouth Volare Rover216iSCar Rover 216iS Mountaineer MercuryMountaineerCar GMCGSeriesVan Chevrolet G Series Van Aston-MartinDBRCar Aston-Martin DBR Rover211iECar Rover 211iE ToyotaPaseoCar the Paseo PlymouthConquestCar Plymouth Conquest Lincoln Continental LincolnContinentalCar RenaultR30Car R30 Cielo DaewooCieloCar Z71 GMCZ71Car MercurySableCar Mercury Sable BuickSkylarkCar Skylark Rover 214iS Rover214iSCar Volvo164SeriesCar Volvo 164 Austin Healy 1006 AustinHealy1006Car Cadillac Seville CadillacSevilleCar ACAcecaCar Aceca CadillacCateraCar Cadillac Catera Plymouth Sapporo PlymouthSapporoCar FordGalaxieCar Galaxie LexusLS400Car LS400 Chevrolet Van ChevroletVanCar Rover 420iXL TD Rover420iXLTDCar NissanAxxessCar Nissan Axxess ChevroletLuminaVanCar Chevrolet Lumina van BuickLesabreCar Lesabre Volvo140SeriesCar Volvo 140 Mark II Princes AustinMarkIIPrincesCar Dodge Caravan DodgeCaravanCar PlymouthChampCar Champ Pontiac Firefly PontiacFireflyCar MitsubishiTrediaCar Tredia The collection of all Range Rover cars. A type of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvarKkZwpEbGdrcN5Y29ycA" class="cyc_term">LandRoverCar</a> and <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViZO5wpEbGdrcN5Y29ycA" class="cyc_term">SportUtilityVehicle</a>. <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvlf-XpwpEbGdrcN5Y29ycA" class="cyc_term">RangeRoverCar</a> is an <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rveV7eZwpEbGdrcN5Y29ycA" class="cyc_term">AutomobileTypeByModel</a> and a <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rpPHhAOB1EdqAAAACs6hRXg" class="cyc_term">SpatiallyDisjointObjectType</a>. Range Rover RangeRoverCar Nissan720Car Nissan 720 HyundaiExcelCar Excel DodgeOmni4DRCar Omni 4 Door MazdaProtegeCar Mazda Protege Nissan Sentra NissanSentraCar Phoenix DodgePhoenixCar Rover 620SLi Rover620SLiCar Renault R-12 RenaultR-12Car PontiacT1000Car Pontiac T1000 Rover620iLDCar Rover 620iLD Rover620SLDi Rover 620SLDi F-250 Pickup FordF-250Pickup Rolls-RoyceSilverCloudCar Silver Cloud SC SaturnSCCar Super Minx HillmanSuperMinxCar Austin 850 Austin850Car XKE JaguarXKECar Rover 220iL TD Rover220iLTDCar Oldsmobile 88 Oldsmobile88Car Porsche968Car 968 Series the Del Sol HondaDelSolCar Yukon GMCYukonCar Sunrunner PontiacSunrunnerCar Volvo240SeriesCar Volvo 240 Series Star Chief PontiacStarChiefCar a mercedes car with a removable top MercedesConvertible Mercedes convertible Stealth DodgeStealthCar Radford BentleyRadfordCar 533i BMW533iCar Escort FordEscortCar Chevrolet Astro ChevroletAstroCar PontiacFieroCar Fiero SuzukiSidekickCar Sidekick Cutlass Supreme OldsmobileCutlassSupremeCar Humvee HMMWV The collection of 'high mobility, multi-purpose, wheeled vehicles' used by the U.S. Army. The collection of all Nash cars. A type of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVigKJwpEbGdrcN5Y29ycA" class="cyc_term">AmericanAutomobile</a>. <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvckyjpwpEbGdrcN5Y29ycA" class="cyc_term">NashCar</a> is an <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rveV7eZwpEbGdrcN5Y29ycA" class="cyc_term">AutomobileTypeByModel</a> and a <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rpPHhAOB1EdqAAAACs6hRXg" class="cyc_term">SpatiallyDisjointObjectType</a>. Nash NashCar FordContourCar Ford Contour Nissan Maxima NissanMaximaCar ToyotaCelicaCar the Celica ChevroletCorvetteCar Chevrolet Corvette The collection of all Chevrolet Corvettes, which are sports cars whose productin started in 1953. A type of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVi1pZwpEbGdrcN5Y29ycA" class="cyc_term">ChevroletCar</a> and <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViHlZwpEbGdrcN5Y29ycA" class="cyc_term">SportsCar</a>. <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwPN4V5wpEbGdrcN5Y29ycA" class="cyc_term">ChevroletCorvetteCar</a> is an <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rveV7eZwpEbGdrcN5Y29ycA" class="cyc_term">AutomobileTypeByModel</a> and a <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rpPHhAOB1EdqAAAACs6hRXg" class="cyc_term">SpatiallyDisjointObjectType</a>. BMW733Car BMW 733 MazdaRX-3SPCar Mazda RX-3SP AudiA4Car Audi A4 MazdaMizerCar Mizer ChevroletMalibuCar Chevrolet Malibu Volvo850SeriesCar 850 Series Mercedes 600 Mercedes600Car RoverSaloonCar Rover Saloon Hyundai Sonata HyundaiSonataCar Datsun 1500 Datsun1500Car Calais OldsmobileCalaisCar SL Class MercedesSLClassCar Saturn SW SaturnSWCar LamborghiniP400Car P400 AcuraCLCar Acura CL PontiacJ2000Car Pontiac J2000 DeTomasoPanteraCar De Tomaso Pantera OldsmobileNinetyEightCar oldsmobile ninety eight car Mitsubishi 3000 GT Mitsubishi3000GTCar Belvedere PlymouthBelvedereCar VolkwagenBeetleCar Volkwagen Bug The collection of all Volkwagen Bug. A type of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjKU5wpEbGdrcN5Y29ycA" class="cyc_term">VolkswagenCar</a>. <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwQ2405wpEbGdrcN5Y29ycA" class="cyc_term">VolkwagenBeetleCar</a> is an <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rveV7eZwpEbGdrcN5Y29ycA" class="cyc_term">AutomobileTypeByModel</a> and a <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rpPHhAOB1EdqAAAACs6hRXg" class="cyc_term">SpatiallyDisjointObjectType</a>. Espada LamborghiniEspadaCar the Corona ToyotaCoronaCar BMW 525 BMW525Car DodgeVanCar Dodge van Land Rover Defender LandRoverDefenderCar BuickElectraCar Buick Ellectra MercuryTopazCar Mercury Topaz PontiacVenturaIICar Pontiac Ventura II Grand Cherokee JeepGrandCherokeeCar Chevrolet Chevette ChevroletChevetteCar SS Sport ChevroletSSSportCar the Crestwood DodgeCrestwoodCar The collection of all specializations of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rHIBS0h_TEdaAAABQ2rksLw" class="cyc_term">FirstOrderCollection</a>, that is, of all collections of (first-order) collections, and an instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rHUFI8h_TEdaAAABQ2rksLw" class="cyc_term">ThirdOrderCollection</a>. Instances of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rHQdVmB_TEdaAAABQ2rksLw" class="cyc_term">SecondOrderCollection</a> are collections of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rHIBS0h_TEdaAAABQ2rksLw" class="cyc_term">FirstOrderCollection</a>s. Any instance of any instance of any instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rHQdVmB_TEdaAAABQ2rksLw" class="cyc_term">SecondOrderCollection</a> is an <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjaApwpEbGdrcN5Y29ycA" class="cyc_term">Individual</a>. SecondOrderCollection second-order Cyc collection A <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rtGXkHpNaEdqAAAACs0uFOQ" class="cyc_term">KBDependentCollection</a> of collections of collections (and thus an instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rviPYH5wpEbGdrcN5Y29ycA" class="cyc_term">CollectionTypeType</a> and a specialization of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvtppU5wpEbGdrcN5Y29ycA" class="cyc_term">CollectionType</a>). A sibling-disjoint collection type is such that its known (i.e. KB-represented) instances are collections that -- save for any that are related to each other by <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViBDpwpEbGdrcN5Y29ycA" class="cyc_term">genls</a> and any that are explicitly asserted to be exceptions (see <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwQtVmpwpEbGdrcN5Y29ycA" class="cyc_term">siblingDisjointExceptions</a>) -- are disjoint from each other. <p/> More precisely, each instance <code><b>SIB</b></code> of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViA4pwpEbGdrcN5Y29ycA" class="cyc_term">SiblingDisjointCollectionType</a> is a collection of collections that has the following KB-dependent property: <p/> For any two known instances <code><b>COL1</b></code> and <code><b>COL2</b></code> of <code><b>SIB</b></code>, at least one of the following is known to hold: <pre> (a) (<a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViBDpwpEbGdrcN5Y29ycA" class="cyc_term">genls</a> <b>COL1</b> <b>COL2</b>) (b) (<a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViBDpwpEbGdrcN5Y29ycA" class="cyc_term">genls</a> <b>COL2</b> <b>COL1</b>) (c) (<a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwQtVmpwpEbGdrcN5Y29ycA" class="cyc_term">siblingDisjointExceptions</a> <b>COL1</b> <b>COL2</b>) (d) (<a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViA45wpEbGdrcN5Y29ycA" class="cyc_term">disjointWith</a> <b>COL1</b> <b>COL2</b>) </pre> Moreover, note that if <code><b>MT</b></code> is a context (see <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViA1ZwpEbGdrcN5Y29ycA" class="cyc_term">Microtheory</a>) in which (i) both <code>(<a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViBBJwpEbGdrcN5Y29ycA" class="cyc_term">isa</a> <b>COL1</b> <b>SIB</b>)</code> and <code>(<a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViBBJwpEbGdrcN5Y29ycA" class="cyc_term">isa</a> <b>COL2</b> <b>SIB</b>)</code> hold and (ii) neither <code>(<a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViBDpwpEbGdrcN5Y29ycA" class="cyc_term">genls</a> <b>COL1</b> <b>COL2</b>)</code> nor <code>(<a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViBDpwpEbGdrcN5Y29ycA" class="cyc_term">genls</a> <b>COL2</b> <b>COL1</b>)</code> nor <code>(<a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwQtVmpwpEbGdrcN5Y29ycA" class="cyc_term">siblingDisjointExceptions</a> <b>COL1</b> <b>COL2</b>)</code> is known to hold (see <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwP-JvpwpEbGdrcN5Y29ycA" class="cyc_term">knownSentence</a>), then <code>(<a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViA45wpEbGdrcN5Y29ycA" class="cyc_term">disjointWith</a> <b>COL1</b> <b>COL2</b>)</code> holds by default in <code><b>MT</b></code>. <p/> For example, in <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjakJwpEbGdrcN5Y29ycA" class="cyc_term">BiologyMt</a> both <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViAkpwpEbGdrcN5Y29ycA" class="cyc_term">Person</a> and <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjaoJwpEbGdrcN5Y29ycA" class="cyc_term">Dog</a> are instances of the sibling-disjoint collection type <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjK65wpEbGdrcN5Y29ycA" class="cyc_term">BiologicalSpecies</a>, while neither (<a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViBDpwpEbGdrcN5Y29ycA" class="cyc_term">genls</a> <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViAkpwpEbGdrcN5Y29ycA" class="cyc_term">Person</a> <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjaoJwpEbGdrcN5Y29ycA" class="cyc_term">Dog</a>) nor (<a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViBDpwpEbGdrcN5Y29ycA" class="cyc_term">genls</a> <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjaoJwpEbGdrcN5Y29ycA" class="cyc_term">Dog</a> <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViAkpwpEbGdrcN5Y29ycA" class="cyc_term">Person</a>) nor (<a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwQtVmpwpEbGdrcN5Y29ycA" class="cyc_term">siblingDisjointExceptions</a> <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViAkpwpEbGdrcN5Y29ycA" class="cyc_term">Person</a> <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjaoJwpEbGdrcN5Y29ycA" class="cyc_term">Dog</a>) is known to hold in that context; consequently, (<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/Mx4rvViAkpwpEbGdrcN5Y29ycA" class="cyc_term">Person</a> <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjaoJwpEbGdrcN5Y29ycA" class="cyc_term">Dog</a>) holds by default in <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjakJwpEbGdrcN5Y29ycA" class="cyc_term">BiologyMt</a>. Instances of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViA4pwpEbGdrcN5Y29ycA" class="cyc_term">SiblingDisjointCollectionType</a> include <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVji6JwpEbGdrcN5Y29ycA" class="cyc_term">BiologicalTaxon</a> (and its specializations), <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwKTnSJwpEbGdrcN5Y29ycA" class="cyc_term">OrganismPartType</a>, and <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwE01SZwpEbGdrcN5Y29ycA" class="cyc_term">RelationshipTypeByArity</a>. <p/> See the generalization <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rk8dxOFcGEdaLwgACs0uFOQ" class="cyc_term">SiblingDisjointSetOrCollectionType</a>. Also cf. the stronger notion of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvWPoRpwpEbGdrcN5Y29ycA" class="cyc_term">DisjointCollectionType</a>. sibling disjoint collection type SiblingDisjointCollectionType AutomobileTypeByModel automobile model A collection of collections, each element of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rveV7eZwpEbGdrcN5Y29ycA" class="cyc_term">AutomobileTypeByModel</a> is a collection of automobiles - i.e., cars, light trucks, vans (see <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViVwZwpEbGdrcN5Y29ycA" class="cyc_term">Automobile</a>) - categorized by model. For example, the collection of Subaru Imprezas would be an element of this collection. ProductTypeByBrandVersion product name A collection of collections. Each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwFrR-5wpEbGdrcN5Y29ycA" class="cyc_term">ProductTypeByBrandVersion</a> is a collection of all instances of a particular version of a <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvom2E5wpEbGdrcN5Y29ycA" class="cyc_term">ProductTypeByBrand</a>. The level of specificity here can vary. For example, VolkswagenJetta and VolkswagenJettaGTI would both be instances of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwFrR-5wpEbGdrcN5Y29ycA" class="cyc_term">ProductTypeByBrandVersion</a>, since both pick out not just a <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvom2E5wpEbGdrcN5Y29ycA" class="cyc_term">ProductTypeByBrand</a> (<a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjKU5wpEbGdrcN5Y29ycA" class="cyc_term">VolkswagenCar</a>) but a specific, named version of that <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvom2E5wpEbGdrcN5Y29ycA" class="cyc_term">ProductTypeByBrand</a>. However, since it is a more specific subset, VolkswagenJettaGTI would be a spec of VolkswagenJetta. Those instances of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViqfpwpEbGdrcN5Y29ycA" class="cyc_term">FormalProductType</a> in which the product specification is restricted to a single <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViYmJwpEbGdrcN5Y29ycA" class="cyc_term">brandNameOfProductType</a>, such as PetcoGroomingPoodlePuppyCut are also instances of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwFrR-5wpEbGdrcN5Y29ycA" class="cyc_term">ProductTypeByBrandVersion</a>. AutomobileTypeByModel automobile model A collection of collections, each element of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rveV7eZwpEbGdrcN5Y29ycA" class="cyc_term">AutomobileTypeByModel</a> is a collection of automobiles - i.e., cars, light trucks, vans (see <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViVwZwpEbGdrcN5Y29ycA" class="cyc_term">Automobile</a>) - categorized by model. For example, the collection of Subaru Imprezas would be an element of this collection. 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 AutomobileTypeByModel automobile model A collection of collections, each element of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rveV7eZwpEbGdrcN5Y29ycA" class="cyc_term">AutomobileTypeByModel</a> is a collection of automobiles - i.e., cars, light trucks, vans (see <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViVwZwpEbGdrcN5Y29ycA" class="cyc_term">Automobile</a>) - categorized by model. For example, the collection of Subaru Imprezas would be an element of this collection. A collection of collections, each element of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwImUIpwpEbGdrcN5Y29ycA" class="cyc_term">RoadVehicleTypeByModel</a> is a collection of road vehicle types categorized by model. For example, <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjJS5wpEbGdrcN5Y29ycA" class="cyc_term">HondaCivicCar</a>, the collection of Honda Civics, would be an element of this collection, as would be the collection of Harley Davidson Sportster motorcycles. road vehicle model RoadVehicleTypeByModel 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 &quot;facets&quot; -- 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