]> 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. ElectromagneticRadiationTypeByWaveFrequency type of electromagnetic radiation A collection of collections. Each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvWy_oJwpEbGdrcN5Y29ycA" class="cyc_term">ElectromagneticRadiationTypeByWaveFrequency</a> is a specialization of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwQCWA5wpEbGdrcN5Y29ycA" class="cyc_term">ElectromagneticRadiation</a>. Notable instances of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvWy_oJwpEbGdrcN5Y29ycA" class="cyc_term">ElectromagneticRadiationTypeByWaveFrequency</a> include the collections <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwQCWK5wpEbGdrcN5Y29ycA" class="cyc_term">RadioWave</a>, <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rv4XIApwpEbGdrcN5Y29ycA" class="cyc_term">XRay</a>, <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwFzkt5wpEbGdrcN5Y29ycA" class="cyc_term">GammaRay</a>, and <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVvykZwpEbGdrcN5Y29ycA" class="cyc_term">UltravioletLight</a>. types of electromagnetic radiation Sunlight The collection of all sunlight. A type of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rv6bf0ZwpEbGdrcN5Y29ycA" class="cyc_term">Light</a>. <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViVapwpEbGdrcN5Y29ycA" class="cyc_term">Sunlight</a> is an <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvWy_oJwpEbGdrcN5Y29ycA" class="cyc_term">ElectromagneticRadiationTypeByWaveFrequency</a>. sunlight C Band microwave radiation Microwave-CBand A collection of events; a subset of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwCEQM5wpEbGdrcN5Y29ycA" class="cyc_term">MicrowaveRadiation</a>. Each element of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvuIx-5wpEbGdrcN5Y29ycA" class="cyc_term">Microwave_CBand</a> is an instance of electromagnetic radiation having a frequency of approximately 4X10^9 <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViOB5wpEbGdrcN5Y29ycA" class="cyc_term">Hertz</a> to 8X10^9 <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViOB5wpEbGdrcN5Y29ycA" class="cyc_term">Hertz</a>. A collection of events; a subset of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwQCWA5wpEbGdrcN5Y29ycA" class="cyc_term">ElectromagneticRadiation</a>. Each element of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwCEQM5wpEbGdrcN5Y29ycA" class="cyc_term">MicrowaveRadiation</a> is an instance of electromagnetic radiation having a wavelength in the range from approximately .01 centimeters (1X10^6 <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwQB5bJwpEbGdrcN5Y29ycA" class="cyc_term">Angstrom</a>) to 10 centimeters (1X10^9 <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwQB5bJwpEbGdrcN5Y29ycA" class="cyc_term">Angstrom</a>), and a frequency of approximately 3X10^9 <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViOB5wpEbGdrcN5Y29ycA" class="cyc_term">Hertz</a> to 3X10^12 <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViOB5wpEbGdrcN5Y29ycA" class="cyc_term">Hertz</a>. This includes transmissions of super high frequency (SHF) including <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwEKjp5wpEbGdrcN5Y29ycA" class="cyc_term">Microwave_SBand</a>, <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvuIx-5wpEbGdrcN5Y29ycA" class="cyc_term">Microwave_CBand</a>, <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvY63VpwpEbGdrcN5Y29ycA" class="cyc_term">Microwave_XBand</a>, <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvWXt2ZwpEbGdrcN5Y29ycA" class="cyc_term">Microwave_KuBand</a>, <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvsJon5wpEbGdrcN5Y29ycA" class="cyc_term">Microwave_KaBand</a>. MicrowaveRadiation microwave x-ray XRay A specialization of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwQCWA5wpEbGdrcN5Y29ycA" class="cyc_term">ElectromagneticRadiation</a>. Each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rv4XIApwpEbGdrcN5Y29ycA" class="cyc_term">XRay</a> is some electromagnetic radiation with a wavelength (see the predicate <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwQCW1pwpEbGdrcN5Y29ycA" class="cyc_term">wavelength</a>) ranging from about 1 <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwQB5bJwpEbGdrcN5Y29ycA" class="cyc_term">Angstrom</a> to 1x10^-3 <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwQB5bJwpEbGdrcN5Y29ycA" class="cyc_term">Angstrom</a>s. Microwave-KaBand Ka Band microwave radiation A collection of events; a subset of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwCEQM5wpEbGdrcN5Y29ycA" class="cyc_term">MicrowaveRadiation</a>. Each element of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvWXt2ZwpEbGdrcN5Y29ycA" class="cyc_term">Microwave_KuBand</a> is an instance of electromagnetic radiation having a frequency of approximately 27X10^9 <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViOB5wpEbGdrcN5Y29ycA" class="cyc_term">Hertz</a> to 40X10^9 <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViOB5wpEbGdrcN5Y29ycA" class="cyc_term">Hertz</a>. Microwave-XBand X Band microwave radiation A collection of events; a subset of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwCEQM5wpEbGdrcN5Y29ycA" class="cyc_term">MicrowaveRadiation</a>. Each element of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvY63VpwpEbGdrcN5Y29ycA" class="cyc_term">Microwave_XBand</a> is an instance of electromagnetic radiation having a frequency of approximately 8X10^9 <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViOB5wpEbGdrcN5Y29ycA" class="cyc_term">Hertz</a> to 12X10^9 <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViOB5wpEbGdrcN5Y29ycA" class="cyc_term">Hertz</a>. This is the collection of events consisting of the propogation of electromagnetic radiation and associated with photons, a particle which lacks rest mass. Somewhat paradoxically, light has both a wavelike and a particle-like nature. Light light K Band microwave radiation Microwave-KBand A collection of events; a subset of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwCEQM5wpEbGdrcN5Y29ycA" class="cyc_term">MicrowaveRadiation</a>. Each element of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rTwJSmEbBEd2AAAACs6hRXg" class="cyc_term">Microwave_KBand</a> is an instance of electromagnetic radiation having a frequency of approximately 18X10^9 <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViOB5wpEbGdrcN5Y29ycA" class="cyc_term">Hertz</a> to 27X10^9 <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViOB5wpEbGdrcN5Y29ycA" class="cyc_term">Hertz</a>. A specialization of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwQCWA5wpEbGdrcN5Y29ycA" class="cyc_term">ElectromagneticRadiation</a>. Each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwQCWK5wpEbGdrcN5Y29ycA" class="cyc_term">RadioWave</a> is an instance of electromagnetic radiation having a wavelength in the range from approximately 1 centimeter (1x108 <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwQB5bJwpEbGdrcN5Y29ycA" class="cyc_term">Angstrom</a>) to 3,000,000 meters (3x1018 <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwQB5bJwpEbGdrcN5Y29ycA" class="cyc_term">Angstrom</a>), and a frequency of approximately 108 <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViOB5wpEbGdrcN5Y29ycA" class="cyc_term">Hertz</a> to 102 <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViOB5wpEbGdrcN5Y29ycA" class="cyc_term">Hertz</a>. radio wave RadioWave A collection of events; a subcollection of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rv6bf0ZwpEbGdrcN5Y29ycA" class="cyc_term">Light</a>. Every instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVj2CJwpEbGdrcN5Y29ycA" class="cyc_term">VisibleLight</a> is an instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwQCWA5wpEbGdrcN5Y29ycA" class="cyc_term">ElectromagneticRadiation</a> having a wavelength approximately between 3800 and 7750 <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwQB5bJwpEbGdrcN5Y29ycA" class="cyc_term">Angstrom</a>s, i.e., light visible to human eyes. Notable specializations include #$MoonLight and <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvaSD-pwpEbGdrcN5Y29ycA" class="cyc_term">Rainbow</a>. VisibleLight light wave Airwaves airwave The collection of all airwaves. A type of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwQCWA5wpEbGdrcN5Y29ycA" class="cyc_term">ElectromagneticRadiation</a>. <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rxiLAsjFwQdiWmtUAkzgPRg" class="cyc_term">Airwaves</a> is an <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvWy_oJwpEbGdrcN5Y29ycA" class="cyc_term">ElectromagneticRadiationTypeByWaveFrequency</a>. A collection of events; a subset of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwCEQM5wpEbGdrcN5Y29ycA" class="cyc_term">MicrowaveRadiation</a>. Each element of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvWXt2ZwpEbGdrcN5Y29ycA" class="cyc_term">Microwave_KuBand</a> is an instance of electromagnetic radiation having a frequency of approximately 12X10^9 <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViOB5wpEbGdrcN5Y29ycA" class="cyc_term">Hertz</a> to 18X10^9 <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViOB5wpEbGdrcN5Y29ycA" class="cyc_term">Hertz</a>. Ku Band microwave radiation Microwave-KuBand moonlight Moonlight The light that comes from the moon. infrared radiation InfraredRadiation A collection of events; a subset of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwQCWA5wpEbGdrcN5Y29ycA" class="cyc_term">ElectromagneticRadiation</a>. Each element of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwPR7LpwpEbGdrcN5Y29ycA" class="cyc_term">InfraredRadiation</a> is an instance of electromagnetic radiation having a wavelength in the range from approximately 7X10^5 centimeters (7000 <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwQB5bJwpEbGdrcN5Y29ycA" class="cyc_term">Angstrom</a>) to .01 centimeters (1X10^6 <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwQB5bJwpEbGdrcN5Y29ycA" class="cyc_term">Angstrom</a>), and a frequency of approximately 3X10^12 <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViOB5wpEbGdrcN5Y29ycA" class="cyc_term">Hertz</a> to 4.3X10^14 <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViOB5wpEbGdrcN5Y29ycA" class="cyc_term">Hertz</a>. ultraviolet light A collection of events; a subset of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwQCWA5wpEbGdrcN5Y29ycA" class="cyc_term">ElectromagneticRadiation</a>. Each element of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVvykZwpEbGdrcN5Y29ycA" class="cyc_term">UltravioletLight</a> is an instance of electromagnetic radiation having a wavelength in the range from approximately 1X10^-7 centimeters (10 <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwQB5bJwpEbGdrcN5Y29ycA" class="cyc_term">Angstrom</a>) to 4X10^-5 centimeters (4000 <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwQB5bJwpEbGdrcN5Y29ycA" class="cyc_term">Angstrom</a>), and a frequency of approximately 7.5X10^14 <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViOB5wpEbGdrcN5Y29ycA" class="cyc_term">Hertz</a> to 3X10^17 <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViOB5wpEbGdrcN5Y29ycA" class="cyc_term">Hertz</a>. UltravioletLight L Band microwave radiation A collection of events; a subset of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwCEQM5wpEbGdrcN5Y29ycA" class="cyc_term">MicrowaveRadiation</a>. Each element of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rn_dexka-Ed2AAAACs6hRXg" class="cyc_term">Microwave_LBand</a> is an instance of electromagnetic radiation having a frequency of approximately 1X10^9 <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViOB5wpEbGdrcN5Y29ycA" class="cyc_term">Hertz</a> to 2X10^9 <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViOB5wpEbGdrcN5Y29ycA" class="cyc_term">Hertz</a>. Microwave-LBand A collection of events; a subset of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwCEQM5wpEbGdrcN5Y29ycA" class="cyc_term">MicrowaveRadiation</a>. Each element of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwEKjp5wpEbGdrcN5Y29ycA" class="cyc_term">Microwave_SBand</a> is an instance of electromagnetic radiation having a frequency of approximately 2X10^9 <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViOB5wpEbGdrcN5Y29ycA" class="cyc_term">Hertz</a> to 4X10^9 <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViOB5wpEbGdrcN5Y29ycA" class="cyc_term">Hertz</a>. S Band microwave radiation Microwave-SBand gamma ray A specialization of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwQCWA5wpEbGdrcN5Y29ycA" class="cyc_term">ElectromagneticRadiation</a>. Each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwFzkt5wpEbGdrcN5Y29ycA" class="cyc_term">GammaRay</a> is an instance of electromagnetic radiation that has a wavelength (see the predicate <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwQCW1pwpEbGdrcN5Y29ycA" class="cyc_term">wavelength</a>) of less than 1x10^-2 angstroms (see the constant <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwQB5bJwpEbGdrcN5Y29ycA" class="cyc_term">Angstrom</a>). Low power instances of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwFzkt5wpEbGdrcN5Y29ycA" class="cyc_term">GammaRay</a> overlap with high power instances of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rv4XIApwpEbGdrcN5Y29ycA" class="cyc_term">XRay</a> (q.v.). GammaRay ScannerRadioWave scanner frequency 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 ElectromagneticRadiationTypeByWaveFrequency type of electromagnetic radiation A collection of collections. Each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvWy_oJwpEbGdrcN5Y29ycA" class="cyc_term">ElectromagneticRadiationTypeByWaveFrequency</a> is a specialization of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwQCWA5wpEbGdrcN5Y29ycA" class="cyc_term">ElectromagneticRadiation</a>. Notable instances of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvWy_oJwpEbGdrcN5Y29ycA" class="cyc_term">ElectromagneticRadiationTypeByWaveFrequency</a> include the collections <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwQCWK5wpEbGdrcN5Y29ycA" class="cyc_term">RadioWave</a>, <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rv4XIApwpEbGdrcN5Y29ycA" class="cyc_term">XRay</a>, <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwFzkt5wpEbGdrcN5Y29ycA" class="cyc_term">GammaRay</a>, and <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVvykZwpEbGdrcN5Y29ycA" class="cyc_term">UltravioletLight</a>. ElectromagneticRadiationTypeByWaveFrequency type of electromagnetic radiation A collection of collections. Each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvWy_oJwpEbGdrcN5Y29ycA" class="cyc_term">ElectromagneticRadiationTypeByWaveFrequency</a> is a specialization of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwQCWA5wpEbGdrcN5Y29ycA" class="cyc_term">ElectromagneticRadiation</a>. Notable instances of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvWy_oJwpEbGdrcN5Y29ycA" class="cyc_term">ElectromagneticRadiationTypeByWaveFrequency</a> include the collections <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwQCWK5wpEbGdrcN5Y29ycA" class="cyc_term">RadioWave</a>, <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rv4XIApwpEbGdrcN5Y29ycA" class="cyc_term">XRay</a>, <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwFzkt5wpEbGdrcN5Y29ycA" class="cyc_term">GammaRay</a>, and <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVvykZwpEbGdrcN5Y29ycA" class="cyc_term">UltravioletLight</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. More precisely, each instance <code>SIB</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: For any two known instances <code>COL1</code> and <code>COL2</code> of <code>SIB</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> COL1 COL2) (b) (<a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViBDpwpEbGdrcN5Y29ycA" class="cyc_term">genls</a> COL2 COL1) (c) (<a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwQtVmpwpEbGdrcN5Y29ycA" class="cyc_term">siblingDisjointExceptions</a> COL1 COL2) (d) (<a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViA45wpEbGdrcN5Y29ycA" class="cyc_term">disjointWith</a> COL1 COL2) </pre> Moreover, note that if <code>MT</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> COL1 SIB)</code> and <code>(<a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViBBJwpEbGdrcN5Y29ycA" class="cyc_term">isa</a> COL2 SIB)</code> hold and (ii) neither <code>(<a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViBDpwpEbGdrcN5Y29ycA" class="cyc_term">genls</a> COL1 COL2)</code> nor <code>(<a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViBDpwpEbGdrcN5Y29ycA" class="cyc_term">genls</a> COL2 COL1)</code> nor <code>(<a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwQtVmpwpEbGdrcN5Y29ycA" class="cyc_term">siblingDisjointExceptions</a> COL1 COL2)</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> COL1 COL2)</code> holds by default in <code>MT</code>. 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>. 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 type of wave propogation A collection of collections. Each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvzMdb5wpEbGdrcN5Y29ycA" class="cyc_term">WavePropagationType</a> is a specialization of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwQCA9ZwpEbGdrcN5Y29ycA" class="cyc_term">WavePropagation</a> (q.v). Instances of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvzMdb5wpEbGdrcN5Y29ycA" class="cyc_term">WavePropagationType</a> include the collections <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwQCWA5wpEbGdrcN5Y29ycA" class="cyc_term">ElectromagneticRadiation</a>, <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvpmpZ5wpEbGdrcN5Y29ycA" class="cyc_term">Sound</a>, <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVj2CJwpEbGdrcN5Y29ycA" class="cyc_term">VisibleLight</a>, and <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rv4XIApwpEbGdrcN5Y29ycA" class="cyc_term">XRay</a>. WavePropagationType 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 "facets" -- 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>.