]> 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. 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>. product names type of electronic product Each element of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvpzkUpwpEbGdrcN5Y29ycA" class="cyc_term">ElectronicsProductTypeByBrandVersion</a> are particular named models of electronic hardware. These elements are collections, each of which consists of all the instances of that type of electronic device. For example, 'SonyDSCD700' would be a collection of individual digital cameras, and this collection would be an instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvpzkUpwpEbGdrcN5Y29ycA" class="cyc_term">ElectronicsProductTypeByBrandVersion</a>. ElectronicsProductTypeByBrandVersion PfizerProductType pfizer product type A specialization of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rNGG0-mkfEdaAAAABAxv-7A" class="cyc_term">ComputerHardwareTypeByBrand</a> and <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwFrR-5wpEbGdrcN5Y29ycA" class="cyc_term">ProductTypeByBrandVersion</a>. Each instance of this (second-order) collection is a spec of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViQ2ZwpEbGdrcN5Y29ycA" class="cyc_term">ComputerHardwareItem</a> which is a version of a type of brand-name computer (for example, <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvY-gKZwpEbGdrcN5Y29ycA" class="cyc_term">AppleiMacComputer</a>) or a version of a type of brand-name computer hardware item (for example, <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViBdJwpEbGdrcN5Y29ycA" class="cyc_term">Motorola68C000Processor</a>). ComputerHardwareTypeByBrandVersion computer hardware type by brand version 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. Each element of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwP3kUJwpEbGdrcN5Y29ycA" class="cyc_term">BrandNamePharmacyProductType</a> is a trade name drug product, such as <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwP1fOpwpEbGdrcN5Y29ycA" class="cyc_term">ZoloftProduct</a>. brand-name drug BrandNamePharmacyProductType PharmacyFormalProductType pharmacy formal product type These are pharmaceutical products specified at <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwQre2ZwpEbGdrcN5Y29ycA" class="cyc_term">NationalDrugCode</a> (NDC) level. Instances are drug packages identified by the labeler/vendor, product, and trade package size.

Diet Cherry Coke DietCherryCoke The collection of instances of Diet Cherry Coke

AS-15 cruise missile CruiseMissile-AS15 A type of cruise missile. According to the CSIS source document 'Creeping Proliferation Could Mean a Paradigm Shift in the Cost of War and Terrorism', Egypt is possession of many of these cruise missiles and may use the missiles as delivery vehicles for weapons of mass destruction.

B-29-Bomber <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rHG4RNpJEQdiXlqQRzJVLJw" class="cyc_term">B_29_Bomber</a> is the collection of Boeing B-29 bomber aircraft, also known as "B-29 Superfortresses". B-29 Superfortress

Modified version of the <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rv6cfKpwpEbGdrcN5Y29ycA" class="cyc_term">FighterPlane_F16</a>, used by the U.S. in the Persian Gulf. FighterPlane-F16C F-16C jet

ERYX ATGM launcher ATGMLauncher-Eryx <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvmPaGJwpEbGdrcN5Y29ycA" class="cyc_term">ATGMLauncher_Eryx</a> is a Short Range Anti-Armour Weapon (Heavy) or SRAAW(H). It is a portable system including the firing post, the tripod, the Mirabel thermal imager and the missile tube. It provides the infantry section and the armoured reconnaissance assault troop with an improved capability in accuracy and penetration. Fired from the shoulder or using the tripod, Eryx can defeat all modern static or moving tanks. With its tandem high explosive warhead, it is effective against bunkers, earth works, and armour targets even when equipped with explosive reactive armour (ERA). Eryx can operate in all weather conditions, in normal battlefield smoke and at night. Its high flexibility allows it to operate in open ground, wooded zones or an enclosed space in built-up areas.

the Eurofighter Typhoon EurofighterTyphoon-FighterPlane

su 22 bomber Su-22-Bomber

Mirage2000EMFighterPlane A collection of a type of French <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvXTElZwpEbGdrcN5Y29ycA" class="cyc_term">FighterInterceptorPlane</a>. Mirage 2000 EM fighter plane

Nokia6110 Nokia 6110

Diet Coke DietCoke The collection of instances of the sugarless version of The Real Thing

A collection of a type of French <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvXTElZwpEbGdrcN5Y29ycA" class="cyc_term">FighterInterceptorPlane</a>. Mirage 5E2 fighter plane Mirage5E2FighterPlane

B-2-Bomber B-2 stealth bomber <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rveCbp5wpEbGdrcN5Y29ycA" class="cyc_term">B_2_Bomber</a> is the collection of B-2 bomber aircraft. They are American-made multi-role bombers capable of delivering both conventional and nuclear munitions. They are sometimes called "flying wings" or "stealth bombers".

the Segway I-Series Segway-ISeries

CruiseMissile-SSN2CStyx SS-N-2c Styx cruise missile

LGM-30A-MinutemanMissile The collection of all <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvZkuLJwpEbGdrcN5Y29ycA" class="cyc_term">LGM_30A_MinutemanMissile</a>s, the first type of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwAtGvZwpEbGdrcN5Y29ycA" class="cyc_term">MinutemanBallisticMissile</a>. LGM-30A Minuteman missile

A type of cruise missile. According to the CSIS source document 'Creeping Proliferation Could Mean a Paradigm Shift in the Cost of War and Terrorism', Egypt, Libya, and Iraq are in possession of many of these cruise missiles and may use the missiles as delivery vehicles for weapons of mass destruction. CruiseMissile-SSN2 SS-N-2 cruise missile

CiscoPIXFirewall-Network Cisco PIX firewall device

ATGMLauncher-AT13 The <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwRLEUZwpEbGdrcN5Y29ycA" class="cyc_term">ATGMLauncher_AT13</a> refers both to the launcher and the missile. atgm launcher at 13

A collection. The F-5E is an American light tactical fighter plane. F-5E-Fighter F-5E Tiger fighter

FighterPlane-F16A The collection of the original model of the <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rv6cfKpwpEbGdrcN5Y29ycA" class="cyc_term">FighterPlane_F16</a> aircraft. F-16A fighter jet

atgm launcher at7 ATGMLauncher-AT7 The <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rv72alJwpEbGdrcN5Y29ycA" class="cyc_term">ATGMLauncher_AT7</a> refers both to the launcher and the missile.

the Rooivalk Combat Helicopter RooivalkCombatHelicopter

Watchguard's popular firewall for networks. Watchguard Firebox 2 WatchguardFirebox2-Network

Cherry Coke The collection of instances Cherry Coke CherryCoke

The collection of Su-24 aircraft. They are Russian-made attack aircraft. They are often called 'FENCERS'. Su-24 bomber Su-24-Bomber

P51Mustang P51 Mustang fighter plane

F-4D-Fighter F-4D Phantom A collection. The F-4D is an American all-weather attack fighterplane.

Tornado ADV fighter plane TornadoADV A collection; a specialization of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVizdZwpEbGdrcN5Y29ycA" class="cyc_term">MilitaryAircraft</a>. The Tornado ADV (Air Defense Variant) is a fighter aircraft designed and built by a British, Italian, and German consortium.

power Macintosh PowerMacintoshComputer The Apple line of Power Macintosh computers.

MatraMica-AirToAirMissile A kind of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rv043t5wpEbGdrcN5Y29ycA" class="cyc_term">AirToAirMissile</a> currently (2000) used by <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVj6EJwpEbGdrcN5Y29ycA" class="cyc_term">France</a> (who designed it) as well as <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVigv5wpEbGdrcN5Y29ycA" class="cyc_term">Taiwan_RepublicOfChina</a>. Mica missile

Segway-ESeries the Segway E-Series

<a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwSGJhZwpEbGdrcN5Y29ycA" class="cyc_term">B_1_Bomber</a> is the collection of B-1 bomber aircraft, also called "B-1 Lancers". They are American-made long-range bombers. B-1-Bomber B-1 bomber

A type of cruise missile. According to the CSIS source document 'Creeping Proliferation Could Mean a Paradigm Shift in the Cost of War and Terrorism', Egypt is in possession of many of these cruise missiles and may use the missiles as delivery vehicles for weapons of mass destruction. CSSN1 cruise missile CruiseMissile-CSSN1

A type of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rveJnI5wpEbGdrcN5Y29ycA" class="cyc_term">Torpedo</a> with <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwF9B8ZwpEbGdrcN5Y29ycA" class="cyc_term">ActiveSonar_Device</a>. MK-44 torpedo Torpedo-MK-44

BallisticMissile-Minuteman1 Minuteman I ballistic missile The collection of all Minuteman I missiles. The Minuteman I was an early type of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwAtGvZwpEbGdrcN5Y29ycA" class="cyc_term">MinutemanBallisticMissile</a> developed by the U.S. during the early 1960's.

The <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwUEJBJwpEbGdrcN5Y29ycA" class="cyc_term">ATGMLauncher_Milan</a> consists of two main components, the launcher and the missile; these are simply clipped together to prepare the system for use. On firing, the operator has only to keep his aiming mark on the target and the Semi Automatic Command to Line of Sight (SACLOS) guidance system will do the rest. The missile is guided for its entire trajectory by an automatic device of remote control using the infra-red radiation (MILAN 1) or an electronic-flash lamp (MILAN 2). Milan, which was initially developed for the French and German infantry, is now in service in 41 countries all over the world. ATGMLauncher-Milan atgm launcher milan

ABSM10Hovercraft the ABS M10 a type of hovercraft, made by <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwQ1W9pwpEbGdrcN5Y29ycA" class="cyc_term">ABSHovercraftLtd_ManufacturingOrganization</a>.

Tornado IDS fighter plane TornadoIDS A collection; a specialization of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVizdZwpEbGdrcN5Y29ycA" class="cyc_term">MilitaryAircraft</a>. The Tornado IDS (Interdiction and Strike) is a ground attack aircraft designed and built by a British, Italian, and German consortium.

Torpedo-MK-50 MK-50 torpedo

LGM-30B Minuteman missile The collection of all <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rv-PlDJwpEbGdrcN5Y29ycA" class="cyc_term">LGM_30B_MinutemanMissile</a>s, the second (and last) type of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rv8tmo5wpEbGdrcN5Y29ycA" class="cyc_term">BallisticMissile_Minuteman1</a>. LGM-30B-MinutemanMissile

IMS2000-ChemicalWarfareAgentDetector the IMS 2000 The IMS 2000 is a hand held instrument designed for military applications such as detection of nerve gases and blister agents as well as industrial applications.

iPhone-AppleCellphone iPhone

M1 Abrams tank series BattleTankSeries-Abrams-M1 the collection of all tanks made by <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rv-7OupwpEbGdrcN5Y29ycA" class="cyc_term">GeneralDynamicsCorporation</a> using the 'Abrams' design specifications.

RAZR-MotorolaCellphone RAZR

FROG-7 rocket launcher A collection of rocket launchers with a 40 kilometer range. FROG7RocketLauncher

ApplePowerCD A <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjFUZwpEbGdrcN5Y29ycA" class="cyc_term">CD_ROM</a> drive made by Apple. Apple Power CD

douglas DC 3 DouglasDC-3

BallisticMissile-Minuteman3 the Minuteman III ICBM

9P135M2 ATGM launch ATGMLauncher-9P135M2

CokeClassic The collection of instances of The Real Thing Coca-Cola Classic

Rio pmp300 player The collection of all Rio PMP300 <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvbXAbJwpEbGdrcN5Y29ycA" class="cyc_term">MP3Player</a>s. This is a specific version of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwJkiqpwpEbGdrcN5Y29ycA" class="cyc_term">RioMP3Player</a>. RioPMP300

Coleman Powermate ColemanPowermate

A kind of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjoMpwpEbGdrcN5Y29ycA" class="cyc_term">BallisticMissile</a>. BallisticMissile-SS1 SS-1 ballistic missile

F-4E Phantom F-4E-Fighter A collection. The F-4E is an American fighter-bomber plane.

Torpedo-MK-46 MK-46 torpedo A type of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rveJnI5wpEbGdrcN5Y29ycA" class="cyc_term">Torpedo</a> with <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwF9B8ZwpEbGdrcN5Y29ycA" class="cyc_term">ActiveSonar_Device</a> and <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwG-5ZJwpEbGdrcN5Y29ycA" class="cyc_term">PassiveSonar_Device</a> to provide guidance. The <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvn9wR5wpEbGdrcN5Y29ycA" class="cyc_term">Torpedo_MK_46</a> was designed specifically for attacking high performance <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViMW5wpEbGdrcN5Y29ycA" class="cyc_term">Submarine</a>s and is the preferred <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvbKIcZwpEbGdrcN5Y29ycA" class="cyc_term">Warhead</a> for <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rv7YE1ZwpEbGdrcN5Y29ycA" class="cyc_term">AntiSubmarineRocket</a>s.

SLVR-MotorolaCellphone SLVR

B-52 bomber <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvsuc9ZwpEbGdrcN5Y29ycA" class="cyc_term">B_52_Bomber</a> is the collection of B-52 bomber aircraft, also known as "B-52 Stratofortresses". They are American-made multi-role bombers capable of flying at high subsonic speeds at altitudes up to 50,000 feet (15,166.6 meters). They can carry nuclear or precision guided conventional munitions. B-52-Bomber

the Minuteman II ICBM BallisticMissile-Minuteman2

type of standardized product FormalProductType A collection of collections. Each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViqfpwpEbGdrcN5Y29ycA" class="cyc_term">FormalProductType</a> is a collection of products (i.e. a subcollection of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVkFYpwpEbGdrcN5Y29ycA" class="cyc_term">Product</a> (q.v.)), all of which conform to the same standardized product specification (or "form"). In Western-style capitalistic markets, instances of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViqfpwpEbGdrcN5Y29ycA" class="cyc_term">FormalProductType</a> are often associated with a particular brand name (and perhaps model), since competing providers of products design them to be distinctive. For example, the collection <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViyXpwpEbGdrcN5Y29ycA" class="cyc_term">InternalCombustionEngine</a> is not an instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViqfpwpEbGdrcN5Y29ycA" class="cyc_term">FormalProductType</a>, but a specific collection of engines manufactured by (e.g.) Mazda might be. On the service side, the collection <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViw4JwpEbGdrcN5Y29ycA" class="cyc_term">HairCuttingEvent</a> is not a formal product-type, but a subcollection of hair stylings for men (e.g. at a particular salon) might be. 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 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>. 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>. 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>. A collection of collections. Elements of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvom2E5wpEbGdrcN5Y29ycA" class="cyc_term">ProductTypeByBrand</a> are collections of products distinguished not only by being of the same generic ProductType, but also by sharing the same brand name (see <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViYmJwpEbGdrcN5Y29ycA" class="cyc_term">brandNameOfProductType</a>). Examples include MicrosoftOperatingSystem, and JosephSchmidtChocolates. For versions of product brands, see the spec <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwFrR-5wpEbGdrcN5Y29ycA" class="cyc_term">ProductTypeByBrandVersion</a>. ProductTypeByBrand brand-name product 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