]> 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. brand of computer ComputerTypeByBrand A collection of collections. Each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvx9fVJwpEbGdrcN5Y29ycA" class="cyc_term">ComputerTypeByBrand</a> is a collection of computers, where that collection is a <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvom2E5wpEbGdrcN5Y29ycA" class="cyc_term">ProductTypeByBrand</a>. brands of computer brand of computers computer types by brand computer brand computer type by brand brands of computers computer brands AppleiMacComputer imac Vectra HPVectraComputer The collection of all Macintosh computers. A type of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4r9UgJzAJNQdeSQf_L8gnwUA" class="cyc_term">AppleComputer</a>. The collection <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViqupwpEbGdrcN5Y29ycA" class="cyc_term">MacintoshComputer</a> is a <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvx9fVJwpEbGdrcN5Y29ycA" class="cyc_term">ComputerTypeByBrand</a> and a <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rpPHhAOB1EdqAAAACs6hRXg" class="cyc_term">SpatiallyDisjointObjectType</a>. MacintoshComputer Macintosh computer toshiba computer ToshibaComputer The collection of all Toshiba-brand computers. A type of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVitf5wpEbGdrcN5Y29ycA" class="cyc_term">PersonalComputer</a>. The concept <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4r8sCC-gFZQdeHJ4d82pczAw" class="cyc_term">ToshibaComputer</a> is a <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvx9fVJwpEbGdrcN5Y29ycA" class="cyc_term">ComputerTypeByBrand</a> and a <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rpPHhAOB1EdqAAAACs6hRXg" class="cyc_term">SpatiallyDisjointObjectType</a>. SuperNintendo-TheProduct the Super Nintendo The 16-bit video game system manufactured by Nintendo as an improvement to the original NES (<a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvkXqfpwpEbGdrcN5Y29ycA" class="cyc_term">NintendoEntertainmentSystem_TheProduct</a>). The two systems are not backward-compatible, however. Gateway PC GatewayPC A specialization of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVitf5wpEbGdrcN5Y29ycA" class="cyc_term">PersonalComputer</a>. Each instance of this collection is a (popular) desktop computer manufactured by <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjcvpwpEbGdrcN5Y29ycA" class="cyc_term">GatewayInc</a>. Many are built around a <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4ro4zGgjH8EdaeygACs0uFOQ" class="cyc_term">PentiumProcessor</a>. NCR computer The collection of all NCR computers. A type of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVitf5wpEbGdrcN5Y29ycA" class="cyc_term">PersonalComputer</a>. The collection <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVj6-5wpEbGdrcN5Y29ycA" class="cyc_term">NCRComputer</a> is a <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvx9fVJwpEbGdrcN5Y29ycA" class="cyc_term">ComputerTypeByBrand</a> and a <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rpPHhAOB1EdqAAAACs6hRXg" class="cyc_term">SpatiallyDisjointObjectType</a>. NCRComputer HPOmnibookComputer Omnibook PS/2 IBMPS2Computer Power Edge DellPowerEdgeComputer LMILambda LMI Lambda computer Toshiba Equium computer ToshibaEquiumComputer HertzComputer The collection of all Hertz computers. A type of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVitf5wpEbGdrcN5Y29ycA" class="cyc_term">PersonalComputer</a>. The collection <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVj1k5wpEbGdrcN5Y29ycA" class="cyc_term">HertzComputer</a> is a <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvx9fVJwpEbGdrcN5Y29ycA" class="cyc_term">ComputerTypeByBrand</a> and a <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rpPHhAOB1EdqAAAACs6hRXg" class="cyc_term">SpatiallyDisjointObjectType</a>. Hertz computer Personal computer made by Texas Instruments TI personal computer TIPersonalComputer Kayak HPKayakComputer Acer computer AcerComputer The collection of all Acer computers. A type of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVitf5wpEbGdrcN5Y29ycA" class="cyc_term">PersonalComputer</a>. The collection <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViqOJwpEbGdrcN5Y29ycA" class="cyc_term">AcerComputer</a> is a <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvx9fVJwpEbGdrcN5Y29ycA" class="cyc_term">ComputerTypeByBrand</a> and a <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rpPHhAOB1EdqAAAACs6hRXg" class="cyc_term">SpatiallyDisjointObjectType</a>. Pavillion HPPavillionComputer CompuAdd computer CompuaddComputer The collection of all CompuAdd computers. A type of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVitf5wpEbGdrcN5Y29ycA" class="cyc_term">PersonalComputer</a>. The collection <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVj47ZwpEbGdrcN5Y29ycA" class="cyc_term">CompuaddComputer</a> is a <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvx9fVJwpEbGdrcN5Y29ycA" class="cyc_term">ComputerTypeByBrand</a> and a <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rpPHhAOB1EdqAAAACs6hRXg" class="cyc_term">SpatiallyDisjointObjectType</a>. CordataComputer CorData computer Arche computer ArcheComputer The collection of all <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvbT2xZwpEbGdrcN5Y29ycA" class="cyc_term">VideoGameSystem</a>s manufactured by Nintendo. Nintendo system NintendoSystem G3 AppleG3Computer A small personal computer manufactured by a non-member company, with a lot of games software available for it. IBMPC IBM PC CompaqDeskproComputer Deskpro the Sony PlayStation SonyPlayStation-TheProduct Powerbook ApplePowerbookComputer IBMAptivaComputer Aptiva Commodore64 A brand of personal computer popular in the 1980s. C64 CiscoPIXFirewall-Network Cisco PIX firewall device Vax VAX The set of DEC VAX machines. CompaqPresarioComputer Presario Dimension DellDimensionComputer AcerAcernoteComputer Acernote G4 AppleG4Computer Gameboy-TheProduct the Game Boy PET computer PETComputer The Commodore <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwKsAeJwpEbGdrcN5Y29ycA" class="cyc_term">PETComputer</a> was the first computer introduced by <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvk-fQZwpEbGdrcN5Y29ycA" class="cyc_term">CommodoreBusinessMachines</a>. The <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwKsAeJwpEbGdrcN5Y29ycA" class="cyc_term">PETComputer</a> was introduced in 1977. It was one of the most 'complete' portable all-in one systems for its time. Prolinea CompaqProlineaComputer 300 Series IBM300SeriesComputer Watchguard's popular firewall for networks. Watchguard Firebox 2 WatchguardFirebox2-Network A kind of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjWl5wpEbGdrcN5Y29ycA" class="cyc_term">MainframeComputer</a>. It was the first computer to use a byte-addressable word length. The 360 system popularized remote computing, with terminals communicating to the host via phone lines. IBM 360 IBM360Mainframe ASX-1000 switch ASX-1000Switch ToshibaTecraComputer Tecra Amiga AmigaComputer <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvm4g_5wpEbGdrcN5Y29ycA" class="cyc_term">AmigaComputer</a> is type of personal computer first released by <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvk-fQZwpEbGdrcN5Y29ycA" class="cyc_term">CommodoreBusinessMachines</a> in 1985. DECVenturisComputer Venturis Proliant CompaqProliantComputer The collection of all Hewlett-Packard computers. A type of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVitf5wpEbGdrcN5Y29ycA" class="cyc_term">PersonalComputer</a>. The collection <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVj1TJwpEbGdrcN5Y29ycA" class="cyc_term">HPComputer</a> is a <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvx9fVJwpEbGdrcN5Y29ycA" class="cyc_term">ComputerTypeByBrand</a> and a <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rpPHhAOB1EdqAAAACs6hRXg" class="cyc_term">SpatiallyDisjointObjectType</a>. HPComputer Hewlett-Packard computer DECAlphaComputer Alpha computers The collection of all Compaq computers. A type of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVitf5wpEbGdrcN5Y29ycA" class="cyc_term">PersonalComputer</a>. The collection <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVj5KZwpEbGdrcN5Y29ycA" class="cyc_term">CompaqComputer</a> is a <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvx9fVJwpEbGdrcN5Y29ycA" class="cyc_term">ComputerTypeByBrand</a> and a <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rpPHhAOB1EdqAAAACs6hRXg" class="cyc_term">SpatiallyDisjointObjectType</a>. Compaq computer CompaqComputer power Macintosh PowerMacintoshComputer The Apple line of Power Macintosh computers. Infinia ToshibaInfiniaComputer The collection of all Epson computers. A type of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVitf5wpEbGdrcN5Y29ycA" class="cyc_term">PersonalComputer</a>. The collection <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVj0ApwpEbGdrcN5Y29ycA" class="cyc_term">EpsonComputer</a> is a <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvx9fVJwpEbGdrcN5Y29ycA" class="cyc_term">ComputerTypeByBrand</a> and a <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rpPHhAOB1EdqAAAACs6hRXg" class="cyc_term">SpatiallyDisjointObjectType</a>. Epson computer EpsonComputer IBM computer The collection of all IBM computers. A type of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4r7vIPDnS5EdaAAACgyZzFrg" class="cyc_term">IBMCompatibleComputer</a>. The collection <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViMoJwpEbGdrcN5Y29ycA" class="cyc_term">IBMComputer</a> is a <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvx9fVJwpEbGdrcN5Y29ycA" class="cyc_term">ComputerTypeByBrand</a> and a <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rpPHhAOB1EdqAAAACs6hRXg" class="cyc_term">SpatiallyDisjointObjectType</a>. IBMComputer The collection of all Wang computers. A type of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVitf5wpEbGdrcN5Y29ycA" class="cyc_term">PersonalComputer</a>. The collection <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVj0gpwpEbGdrcN5Y29ycA" class="cyc_term">WangComputer</a> is a <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvx9fVJwpEbGdrcN5Y29ycA" class="cyc_term">ComputerTypeByBrand</a> and a <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rpPHhAOB1EdqAAAACs6hRXg" class="cyc_term">SpatiallyDisjointObjectType</a>. WangComputer Wang computer MicroVax microvax Brio HPBrioComputer The 64-bit video game system manufactured by Nintendo beginning around 1996. Nintendo64-TheProduct Nintendo 64 Magnia ToshibaMagniaComputer C128 Commodore128 A brand of personal computer popular in the 1980s. HPWorkstation The Unix-based workstations manufactured by HP Hewlett-Packard workstation The collection of all Commodore-brand computers. A type of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVitf5wpEbGdrcN5Y29ycA" class="cyc_term">PersonalComputer</a>. The concept <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rAdYrTgFXQdeZR-brLw-V3Q" class="cyc_term">CommodoreComputer</a> is a <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvx9fVJwpEbGdrcN5Y29ycA" class="cyc_term">ComputerTypeByBrand</a> and a <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rpPHhAOB1EdqAAAACs6hRXg" class="cyc_term">SpatiallyDisjointObjectType</a>. CommodoreComputer commodore computer NeoGeoPocket-TheProduct neo geo pocket This is a compact portable video game platform. NintendoEntertainmentSystem-TheProduct NES The original 8-bit video game system manufactured by Nintendo. SunMachine The collection of all Sun computers. A type of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVj1LJwpEbGdrcN5Y29ycA" class="cyc_term">ComputerWorkstation</a>. The concept <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjYkZwpEbGdrcN5Y29ycA" class="cyc_term">SunMachine</a> is a <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvx9fVJwpEbGdrcN5Y29ycA" class="cyc_term">ComputerTypeByBrand</a> and a <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rpPHhAOB1EdqAAAACs6hRXg" class="cyc_term">SpatiallyDisjointObjectType</a>. Sun computer Contura CompaqConturaComputer The set of Symbolics LispMachines, ie., 3640, 3650... Symbolics machine SymbolicsMachine AcerAltosComputer Altos AppleComputer apple computer The collection of all personal computers made by <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjfjpwpEbGdrcN5Y29ycA" class="cyc_term">AppleInc</a> with the Apple brand name. Celebris DECCelebrisComputer IBMNetfinityComputer Netfinity Prioris DECPriorisComputer the Performa PerformaComputer The Apple line of Performa computers. NorthgateEleganceComputer Northgate Elegance computer NeXTComputer NeXT computer The collection of all NeXT computers. A type of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4r48qqxHpSQdecGrDTWG4lAw" class="cyc_term">ScientificComputingUse</a> and <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVj1LJwpEbGdrcN5Y29ycA" class="cyc_term">ComputerWorkstation</a>. The collection <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjt3ZwpEbGdrcN5Y29ycA" class="cyc_term">NeXTComputer</a> is a <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvx9fVJwpEbGdrcN5Y29ycA" class="cyc_term">ComputerTypeByBrand</a> and a <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rpPHhAOB1EdqAAAACs6hRXg" class="cyc_term">SpatiallyDisjointObjectType</a>. CompaqArmadaComputer Armada AT&T computer The collection of all AT&amp;T computers. A type of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVitf5wpEbGdrcN5Y29ycA" class="cyc_term">PersonalComputer</a>. The collection <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjibJwpEbGdrcN5Y29ycA" class="cyc_term">ATandTComputer</a> is a <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvx9fVJwpEbGdrcN5Y29ycA" class="cyc_term">ComputerTypeByBrand</a> and a <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rpPHhAOB1EdqAAAACs6hRXg" class="cyc_term">SpatiallyDisjointObjectType</a>. ATandTComputer Portege ToshibaPortegeComputer Cray computer Multi-user supercomputer. CrayMachine CanonComputer Canon computer The collection of all Canon computers. A type of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVitf5wpEbGdrcN5Y29ycA" class="cyc_term">PersonalComputer</a>. The collection <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVj5cJwpEbGdrcN5Y29ycA" class="cyc_term">CanonComputer</a> is a <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvx9fVJwpEbGdrcN5Y29ycA" class="cyc_term">ComputerTypeByBrand</a> and a <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rpPHhAOB1EdqAAAACs6hRXg" class="cyc_term">SpatiallyDisjointObjectType</a>. Extensa AcerExtensaComputer C16 Commodore16 Intellistation IBMIntellistationComputer Netserver HPNetserverComputer Tandy computer The collection of all Tandy computers. A type of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVitf5wpEbGdrcN5Y29ycA" class="cyc_term">PersonalComputer</a>. The collection <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVj0xJwpEbGdrcN5Y29ycA" class="cyc_term">TandyComputer</a> is a <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvx9fVJwpEbGdrcN5Y29ycA" class="cyc_term">ComputerTypeByBrand</a> and a <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rpPHhAOB1EdqAAAACs6hRXg" class="cyc_term">SpatiallyDisjointObjectType</a>. TandyComputer DellInspironComputer Inspiron The collection of Apollo machines. apollo computer ApolloComputer Prosignia CompaqProsigniaComputer Thinkpad IBMThinkpadComputer AcerAspireComputer Aspire TI Lisp machine TILispM QuadraComputer the Quadra EverexComputer Everex computer ToshibaSatelliteComputer Satellite The collection of all Dell-brand computers. A type of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVitf5wpEbGdrcN5Y29ycA" class="cyc_term">PersonalComputer</a>. The concept <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4r0SNsqAFYQdeDZ6rNMSVTSg" class="cyc_term">DellComputer</a> is a <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvx9fVJwpEbGdrcN5Y29ycA" class="cyc_term">ComputerTypeByBrand</a> and a <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rpPHhAOB1EdqAAAACs6hRXg" class="cyc_term">SpatiallyDisjointObjectType</a>. dell computer DellComputer 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 brand of computer ComputerTypeByBrand A collection of collections. Each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvx9fVJwpEbGdrcN5Y29ycA" class="cyc_term">ComputerTypeByBrand</a> is a collection of computers, where that collection is a <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvom2E5wpEbGdrcN5Y29ycA" class="cyc_term">ProductTypeByBrand</a>. 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 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 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 FacetInstanceCollection facet collection A <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvtppU5wpEbGdrcN5Y29ycA" class="cyc_term">CollectionType</a>. Each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rv1fLiZwpEbGdrcN5Y29ycA" class="cyc_term">FacetInstanceCollection</a> is a collection that is an instance of a <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvprlOZwpEbGdrcN5Y29ycA" class="cyc_term">FacetingCollectionType</a> (q.v.). For example, the facet-instance-collection (<a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rBVDJsPLMQdiZD5jLVkyKUw" class="cyc_term">WineOfVintageFn</a> (<a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjympwpEbGdrcN5Y29ycA" class="cyc_term">YearFn</a> 1926)) is an instance of the faceting-collection-type <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rWdpZhPLLQdiKEtsuZMndzQ" class="cyc_term">WineTypeByVintage</a>. brand of computer ComputerTypeByBrand A collection of collections. Each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvx9fVJwpEbGdrcN5Y29ycA" class="cyc_term">ComputerTypeByBrand</a> is a collection of computers, where that collection is a <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvom2E5wpEbGdrcN5Y29ycA" class="cyc_term">ProductTypeByBrand</a>.