]> 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. InfectionTypeByPathogenType A collection of Collection. Elements of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvX3UYJwpEbGdrcN5Y29ycA" class="cyc_term">InfectionTypeByPathogenType</a> are specs of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwQwvf5wpEbGdrcN5Y29ycA" class="cyc_term">Infection</a> of which instances share the common property of being caused by pathogenic organisms of the same type. See <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwAVkfZwpEbGdrcN5Y29ycA" class="cyc_term">pathogenCausesConditionType</a>, <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwC0k0JwpEbGdrcN5Y29ycA" class="cyc_term">InfectionDueToFn</a>. infection type by pathogen type infection types by pathogen type Campylobacter infection (InfectionDueToFn Campylobacter) hepatitis D infection A collection of Infections. A spec of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rv2VYmpwpEbGdrcN5Y29ycA" class="cyc_term">ViralHepatitis</a>. Instances of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rve-wXpwpEbGdrcN5Y29ycA" class="cyc_term">HepatitisD_Infection</a> are viral infections caused by the hepatitis D virus, see <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvnLdvZwpEbGdrcN5Y29ycA" class="cyc_term">HepatitisD_Virus</a>. HepatitisD-Infection ProtozoanInfection A specialization of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwQwvf5wpEbGdrcN5Y29ycA" class="cyc_term">Infection</a>. Each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwQwxF5wpEbGdrcN5Y29ycA" class="cyc_term">ProtozoanInfection</a> is an infection caused by protozoa (see the collection <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVil55wpEbGdrcN5Y29ycA" class="cyc_term">Protozoan</a>). Notable specializations of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwQwxF5wpEbGdrcN5Y29ycA" class="cyc_term">ProtozoanInfection</a> include <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwP1WSJwpEbGdrcN5Y29ycA" class="cyc_term">Giardiasis</a> and <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwP1H1JwpEbGdrcN5Y29ycA" class="cyc_term">Malaria</a>. protozoan infection An instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvX3UYJwpEbGdrcN5Y29ycA" class="cyc_term">InfectionTypeByPathogenType</a>, and a specialization of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwQww85wpEbGdrcN5Y29ycA" class="cyc_term">BacterialInfection</a>. Each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rv7ukd5wpEbGdrcN5Y29ycA" class="cyc_term">AnthraxInfection</a> is an infection caused by the bacterium Bacillus anthracis (see the collection <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwNDvQpwpEbGdrcN5Y29ycA" class="cyc_term">Anthrax_Bacterium</a>). Important specializations of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rv7ukd5wpEbGdrcN5Y29ycA" class="cyc_term">AnthraxInfection</a> include the collections <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvnFv6pwpEbGdrcN5Y29ycA" class="cyc_term">InhalationalAnthrax</a> and <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rv8NdwJwpEbGdrcN5Y29ycA" class="cyc_term">CutaneousAnthrax</a>. anthrax infection AnthraxInfection (InfectionDueToFn EscherichiaColi) E. coli infection viral infection An instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvX3UYJwpEbGdrcN5Y29ycA" class="cyc_term">InfectionTypeByPathogenType</a>, and a specialization of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwQwvf5wpEbGdrcN5Y29ycA" class="cyc_term">Infection</a>. Each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwQww_JwpEbGdrcN5Y29ycA" class="cyc_term">ViralInfection</a> is an infectious disease caused by a virus (see the collection <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViXQpwpEbGdrcN5Y29ycA" class="cyc_term">Virus</a>). Some specializations of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwQww_JwpEbGdrcN5Y29ycA" class="cyc_term">ViralInfection</a> are <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwP1JDpwpEbGdrcN5Y29ycA" class="cyc_term">Measles</a>, <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwP1HVpwpEbGdrcN5Y29ycA" class="cyc_term">Mumps</a>, and <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwJqMr5wpEbGdrcN5Y29ycA" class="cyc_term">EbolaHemorrhagicFeverInfection</a>. ViralInfection bacterial infection BacterialInfection An instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvX3UYJwpEbGdrcN5Y29ycA" class="cyc_term">InfectionTypeByPathogenType</a>, and a specialization of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwQwvf5wpEbGdrcN5Y29ycA" class="cyc_term">Infection</a>. Each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwQww85wpEbGdrcN5Y29ycA" class="cyc_term">BacterialInfection</a> is an infection caused by bacteria (see the constant <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjU-5wpEbGdrcN5Y29ycA" class="cyc_term">Bacterium</a>). Notable specializations of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwQww85wpEbGdrcN5Y29ycA" class="cyc_term">BacterialInfection</a> include <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rv7ukd5wpEbGdrcN5Y29ycA" class="cyc_term">AnthraxInfection</a>, <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwP1Ue5wpEbGdrcN5Y29ycA" class="cyc_term">Diphtheria</a>, <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwP1iKZwpEbGdrcN5Y29ycA" class="cyc_term">Acne</a>, and <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwFuhkpwpEbGdrcN5Y29ycA" class="cyc_term">Leprosy</a>. The collection of all polio infections. A type of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwQww_JwpEbGdrcN5Y29ycA" class="cyc_term">ViralInfection</a> and <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwP1QsZwpEbGdrcN5Y29ycA" class="cyc_term">LifeThreateningCondition</a>. <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rf_HMOCwLQdiYFZfhE5q7-g" class="cyc_term">PolioInfection</a> is an <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvX3UYJwpEbGdrcN5Y29ycA" class="cyc_term">InfectionTypeByPathogenType</a>. polio PolioInfection HIV infection The precursor to AIDS. HIVPositive hepatitis A infection A collection of Infections. A spec of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rv2VYmpwpEbGdrcN5Y29ycA" class="cyc_term">ViralHepatitis</a>. Instances of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvmdh2JwpEbGdrcN5Y29ycA" class="cyc_term">HepatitisA_Infection</a> are viral infections caused by the hepatitis A virus, see <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rv__eOpwpEbGdrcN5Y29ycA" class="cyc_term">HepatitisA_Virus</a>. HepatitisA-Infection streptococcus infection (InfectionDueToFn Streptococcus) The collection of all streptococcus infections. A type of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwQww85wpEbGdrcN5Y29ycA" class="cyc_term">BacterialInfection</a>. A collection of Infections. A spec of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rv2VYmpwpEbGdrcN5Y29ycA" class="cyc_term">ViralHepatitis</a>. Instances of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwLKd0JwpEbGdrcN5Y29ycA" class="cyc_term">HepatitisE_Infection</a> are viral infections caused by the hepatitis E virus, see <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rve5BU5wpEbGdrcN5Y29ycA" class="cyc_term">HepatitisE_Virus</a>. hepatitis E Infection HepatitisE-Infection Micobacterium leprae infection (InfectionDueToFn MycobacteriumLeprae) A collection of Infections. A spec of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rv2VYmpwpEbGdrcN5Y29ycA" class="cyc_term">ViralHepatitis</a>. Instances of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rv6wV85wpEbGdrcN5Y29ycA" class="cyc_term">HepatitisB_Infection</a> are viral infections caused by the hepatitis B virus, see <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwCM7spwpEbGdrcN5Y29ycA" class="cyc_term">HepatitisB_Virus</a>. hepatitis B infection HepatitisB-Infection tetanus Tetanus A condition caused by the toxin of a bacterium, which causes the muscles (esp. jaw) to contract tightly. It is frequently contracted through puncture wounds. fungal infection An instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvX3UYJwpEbGdrcN5Y29ycA" class="cyc_term">InfectionTypeByPathogenType</a>, and a specialization of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwQwvf5wpEbGdrcN5Y29ycA" class="cyc_term">Infection</a>. Each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwQwxC5wpEbGdrcN5Y29ycA" class="cyc_term">FungalInfection</a> is an infection caused by fungi (see the constant <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViZCZwpEbGdrcN5Y29ycA" class="cyc_term">Fungus</a>). Specializations of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwQwxC5wpEbGdrcN5Y29ycA" class="cyc_term">FungalInfection</a> include <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwSiibJwpEbGdrcN5Y29ycA" class="cyc_term">Histoplasmosis</a> and <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwP1Nr5wpEbGdrcN5Y29ycA" class="cyc_term">AthletesFoot</a>. FungalInfection (InfectionDueToFn Anthrax-Bacterium) The collection of all anthrax infections. A type of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwQww85wpEbGdrcN5Y29ycA" class="cyc_term">BacterialInfection</a>.. anthrax infection (InfectionDueToFn (BacterialSporeFn ClostridiumBotulinum-Species)) Clostridium botulinum spores infection BacterialPneumonia bacterial pneumonia A bacterial infection of the lungs. Viral pneumonia also exists but is not treated in this unit. Causes coughing, sputum and difficulty in breathing. A collection of infections. Instances of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwP1VgJwpEbGdrcN5Y29ycA" class="cyc_term">Salmonellosis</a> are infectious diseases due to pathogen belonging to the Salmonelleae genus. They can be manifested as food poisoning or as typhoid or paratyphoid fever, symptoms related are more serious in immunocompromised victims. salmonellosis Salmonellosis RSV infection (InfectionDueToFn RespiratorySyncytialVirus) A collection of Infections. A spec of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rv2VYmpwpEbGdrcN5Y29ycA" class="cyc_term">ViralHepatitis</a>. Instances of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rv9P2uZwpEbGdrcN5Y29ycA" class="cyc_term">HepatitisC_Infection</a> are viral infections caused by the hepatitis C virus, <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwFoB35wpEbGdrcN5Y29ycA" class="cyc_term">HepatitisC_Virus</a>. hepatitis C infection HepatitisC-Infection (InfectionDueToFn Bacterium) bacterial infection The collection of all virus infections. A type of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwQwvf5wpEbGdrcN5Y29ycA" class="cyc_term">Infection</a>. virus infection (InfectionDueToFn Virus) viral pneumonia ViralPneumonia A collection of infections. Instances of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvWborJwpEbGdrcN5Y29ycA" class="cyc_term">ViralPneumonia</a> are pneumonia caused by a virus. Most common pathogen responsible for this kind of diseases are influenza, parainfluenza and varicella viri. parasitic infection A specialization of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwQwvf5wpEbGdrcN5Y29ycA" class="cyc_term">Infection</a>. Each specialization of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwQwxb5wpEbGdrcN5Y29ycA" class="cyc_term">ParasiticInfection</a> is a type of infection caused by instances of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvdW_tpwpEbGdrcN5Y29ycA" class="cyc_term">ParasiticOrganism</a> (q.v.). ParasiticInfection 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 type of infection InfectionType A collection of collections. Each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwP1fRZwpEbGdrcN5Y29ycA" class="cyc_term">InfectionType</a> is a specialization of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwQwvf5wpEbGdrcN5Y29ycA" class="cyc_term">Infection</a>. Instances include <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvnCbwpwpEbGdrcN5Y29ycA" class="cyc_term">BubonicPlague</a>, <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwFuhkpwpEbGdrcN5Y29ycA" class="cyc_term">Leprosy</a>, and <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvxt3dZwpEbGdrcN5Y29ycA" class="cyc_term">Herpes</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 InfectionTypeByPathogenType A collection of Collection. Elements of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvX3UYJwpEbGdrcN5Y29ycA" class="cyc_term">InfectionTypeByPathogenType</a> are specs of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwQwvf5wpEbGdrcN5Y29ycA" class="cyc_term">Infection</a> of which instances share the common property of being caused by pathogenic organisms of the same type. See <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwAVkfZwpEbGdrcN5Y29ycA" class="cyc_term">pathogenCausesConditionType</a>, <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwC0k0JwpEbGdrcN5Y29ycA" class="cyc_term">InfectionDueToFn</a>. infection type by pathogen type InfectionTypeByPathogenType A collection of Collection. Elements of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvX3UYJwpEbGdrcN5Y29ycA" class="cyc_term">InfectionTypeByPathogenType</a> are specs of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwQwvf5wpEbGdrcN5Y29ycA" class="cyc_term">Infection</a> of which instances share the common property of being caused by pathogenic organisms of the same type. See <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwAVkfZwpEbGdrcN5Y29ycA" class="cyc_term">pathogenCausesConditionType</a>, <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwC0k0JwpEbGdrcN5Y29ycA" class="cyc_term">InfectionDueToFn</a>. infection type by pathogen type 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>.