]> 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. type of organism constituent The collection of all collections whose instances are frequently <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjzYpwpEbGdrcN5Y29ycA" class="cyc_term">physicalDecompositions</a> of an <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjE1pwpEbGdrcN5Y29ycA" class="cyc_term">Organism_Whole</a>. Instances of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvxc48pwpEbGdrcN5Y29ycA" class="cyc_term">OrganismConstituentType</a> include all specs of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwQBXZpwpEbGdrcN5Y29ycA" class="cyc_term">OrganismPart</a>, as well as things like (<a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwPzX35wpEbGdrcN5Y29ycA" class="cyc_term">LiquidFn</a> <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjAHZwpEbGdrcN5Y29ycA" class="cyc_term">Water</a>) and <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjuY5wpEbGdrcN5Y29ycA" class="cyc_term">Cell</a>. OrganismConstituentType kinds of organism constituents types of organism constituent type of organism constituents typical constituents of organisms typical constituent of organisms types of organism constituents kinds of organism constituent kind of organism constituents kind of organism constituent organism constituent type organism constituent types ExternalAnimalBodyRegionType A <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rHQdVmB_TEdaAAABQ2rksLw" class="cyc_term">SecondOrderCollection</a> and a specialization of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvxc48pwpEbGdrcN5Y29ycA" class="cyc_term">OrganismConstituentType</a>. Each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rFRCrfjQ4QdmLuKByH71oGQ" class="cyc_term">ExternalAnimalBodyRegionType</a> is a specialization of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVraoZwpEbGdrcN5Y29ycA" class="cyc_term">AnimalBodyRegion</a> whose instances are, under normal circumstances, at least partially on the outside surface of animal. Instances include <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVi6YJwpEbGdrcN5Y29ycA" class="cyc_term">Head_AnimalBodyPart</a>, <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVkBpJwpEbGdrcN5Y29ycA" class="cyc_term">Wing_AnimalBodyPart</a>,and <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4reD9GUO1TQdiOaOGRBoFR1w" class="cyc_term">UpperBody_Human</a>. Non-instances include <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjvDpwpEbGdrcN5Y29ycA" class="cyc_term">Heart</a>, <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjT65wpEbGdrcN5Y29ycA" class="cyc_term">Brain</a>, and <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVkCG5wpEbGdrcN5Y29ycA" class="cyc_term">Bone_BodyPart</a>. Borderline cases include <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjUEZwpEbGdrcN5Y29ycA" class="cyc_term">Tooth</a> and <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjMX5wpEbGdrcN5Y29ycA" class="cyc_term">Eardrum</a>. external animal body region type InternalAnimalBodyRegionType A <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rHQdVmB_TEdaAAABQ2rksLw" class="cyc_term">SecondOrderCollection</a> and a specialization of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvxc48pwpEbGdrcN5Y29ycA" class="cyc_term">OrganismConstituentType</a>. Each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rHrmSNDQ-QdmercrM6Bw1mg" class="cyc_term">InternalAnimalBodyRegionType</a> is a specialization of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVraoZwpEbGdrcN5Y29ycA" class="cyc_term">AnimalBodyRegion</a> whose instances are, under normal circumstances, located completely within (i.e. <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvuIDVpwpEbGdrcN5Y29ycA" class="cyc_term">in_ContCompletely</a>) the outer surface of an animal. Instances include <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjvDpwpEbGdrcN5Y29ycA" class="cyc_term">Heart</a>, <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjT65wpEbGdrcN5Y29ycA" class="cyc_term">Brain</a>, and <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVkCG5wpEbGdrcN5Y29ycA" class="cyc_term">Bone_BodyPart</a>. Non-instances include <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVi6YJwpEbGdrcN5Y29ycA" class="cyc_term">Head_AnimalBodyPart</a>, <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVkBpJwpEbGdrcN5Y29ycA" class="cyc_term">Wing_AnimalBodyPart</a>,and <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4reD9GUO1TQdiOaOGRBoFR1w" class="cyc_term">UpperBody_Human</a>, which are instances of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rFRCrfjQ4QdmLuKByH71oGQ" class="cyc_term">ExternalAnimalBodyRegionType</a> (q.v.). internal animal body region type OrganismPartType The collection of all the types of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwQBXZpwpEbGdrcN5Y29ycA" class="cyc_term">OrganismPart</a>s. An <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwKTnSJwpEbGdrcN5Y29ycA" class="cyc_term">OrganismPartType</a> is a characterization of body parts of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViwMZwpEbGdrcN5Y29ycA" class="cyc_term">Animal</a>s, <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjub5wpEbGdrcN5Y29ycA" class="cyc_term">PlantPart</a>s, or parts of other organisms by structure and/or function. Some instances of this collection include <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVkFEpwpEbGdrcN5Y29ycA" class="cyc_term">SpinalColumn</a>, <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVi41pwpEbGdrcN5Y29ycA" class="cyc_term">Eyelash</a>, <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjvuZwpEbGdrcN5Y29ycA" class="cyc_term">Petal</a>, etc. <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwKTnSJwpEbGdrcN5Y29ycA" class="cyc_term">OrganismPartType</a> is not organized along species/order/class/phylum/... taxonomic lines. type of organism part NerveTissue The collection of individual nerve tissues. Nerve tissues make up the <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvzYt3pwpEbGdrcN5Y29ycA" class="cyc_term">CentralNervousSystem</a> and peripheral nervous systems. This includes neurons and other supporting cells (e.g neuroglia). nerve tissue The living part of the cell within the plasma membrane. That within the nucleus is the <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rbA2nxhUSEdaAAABQ2rksLw" class="cyc_term">Nucleoplasm</a>, that without is the <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjC5pwpEbGdrcN5Y29ycA" class="cyc_term">Cytoplasm</a>. protoplasm Protoplasm <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvzBHPJwpEbGdrcN5Y29ycA" class="cyc_term">ExternalAnatomicalPart</a> is a specialization of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwQBXZpwpEbGdrcN5Y29ycA" class="cyc_term">OrganismPart</a>. Each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvzBHPJwpEbGdrcN5Y29ycA" class="cyc_term">ExternalAnatomicalPart</a> is a part of the external anatomy of an organism. Example subcollections include <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjghpwpEbGdrcN5Y29ycA" class="cyc_term">Earlobe</a> and <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjvNZwpEbGdrcN5Y29ycA" class="cyc_term">Leaf</a>. external anatomical part ExternalAnatomicalPart Carbon A piece of carbon; here on Earth, this is of course usually a solid, but it needn't necessarily be. carbon RNA The collection of all instances of RNA, the chemical compound composed of individual <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwSlbUpwpEbGdrcN5Y29ycA" class="cyc_term">RNAMolecule</a>s. RNAStuff Tissue that is found in the center of bones Marrow bone marrow cell The collection of living cells; a specialization of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVim7ZwpEbGdrcN5Y29ycA" class="cyc_term">BiologicalLivingObject</a>. Each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjuY5wpEbGdrcN5Y29ycA" class="cyc_term">Cell</a> is one of the basic structural units of nearly all living things, consisting (at least) of cytoplasm bounded by a cell membrane. Only the living structures viruses, mitochondria, and plastids are not composed of cells. Cell The collection of all <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjc_ZwpEbGdrcN5Y29ycA" class="cyc_term">FattyTissue</a> found in the body of an <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViwMZwpEbGdrcN5Y29ycA" class="cyc_term">Animal</a>. See <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjaapwpEbGdrcN5Y29ycA" class="cyc_term">EdibleFat</a> for the fat that one eats. fatty tissue FattyTissue The <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViAzJwpEbGdrcN5Y29ycA" class="cyc_term">Collection</a> of all instances of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rv-aBgZwpEbGdrcN5Y29ycA" class="cyc_term">ConnectiveTissue</a>. Subsets of this collection include <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwFbIRZwpEbGdrcN5Y29ycA" class="cyc_term">Aponeurosis</a>, <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjefJwpEbGdrcN5Y29ycA" class="cyc_term">Tendon</a>, Fascia, Collagen, etc. ConnectiveTissue connective tissue Blood blood The collection of all volumes of live blood. Each instance is a portion of fluid that circulates in an <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViwMZwpEbGdrcN5Y29ycA" class="cyc_term">Animal</a>'s <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjzG5wpEbGdrcN5Y29ycA" class="cyc_term">CirculatorySystem</a> or that is preserved in a living state outside of a body. Dried blood, blood stains, and scabs are not considered to be <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjI8JwpEbGdrcN5Y29ycA" class="cyc_term">Blood</a> but (<a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwPzUgpwpEbGdrcN5Y29ycA" class="cyc_term">DeadPhysicalRemainsFn</a> <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjI8JwpEbGdrcN5Y29ycA" class="cyc_term">Blood</a>). GrayMatter grey matter The collection of all instances of gray matter tissue, considered as an #$OrganicStuff. <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwDdKMpwpEbGdrcN5Y29ycA" class="cyc_term">GrayMatter</a> is nervous tissue where the bodies of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjjUpwpEbGdrcN5Y29ycA" class="cyc_term">Neuron</a>s are concentrated, as opposed to <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwOAsDZwpEbGdrcN5Y29ycA" class="cyc_term">WhiteMatter</a> which is nervous tissue consisting of myelinated <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwE1naZwpEbGdrcN5Y29ycA" class="cyc_term">Axon</a>s with no cell bodies. The collection of all instances of DNA, the chemical compound composed of individual <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvpIyn5wpEbGdrcN5Y29ycA" class="cyc_term">DNAMolecule</a>s. DNA DNAStuff solid animal matter SolidAnimalMatter All pieces of solid animal material. cytoplasm The collection of all cytoplasm, material found in cells outside of the nucleus and within the plasma membrane. Cytoplasm septal tissue SeptalTissue Nucleoplasm The collection of all <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rbEhSVBUSEdaAAABQ2rksLw" class="cyc_term">Protoplasm</a> within the nuclear membrane of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVju55wpEbGdrcN5Y29ycA" class="cyc_term">EukaryoticCell</a>s. That without the nucleus is the <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjC5pwpEbGdrcN5Y29ycA" class="cyc_term">Cytoplasm</a>. nucleoplasm water (LiquidFn Water) type of organism constituent The collection of all collections whose instances are frequently <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjzYpwpEbGdrcN5Y29ycA" class="cyc_term">physicalDecompositions</a> of an <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjE1pwpEbGdrcN5Y29ycA" class="cyc_term">Organism_Whole</a>. Instances of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvxc48pwpEbGdrcN5Y29ycA" class="cyc_term">OrganismConstituentType</a> include all specs of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwQBXZpwpEbGdrcN5Y29ycA" class="cyc_term">OrganismPart</a>, as well as things like (<a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwPzX35wpEbGdrcN5Y29ycA" class="cyc_term">LiquidFn</a> <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjAHZwpEbGdrcN5Y29ycA" class="cyc_term">Water</a>) and <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjuY5wpEbGdrcN5Y29ycA" class="cyc_term">Cell</a>. OrganismConstituentType The collection of all specializations of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rHIBS0h_TEdaAAABQ2rksLw" class="cyc_term">FirstOrderCollection</a>, that is, of all collections of (first-order) collections, and an instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rHUFI8h_TEdaAAABQ2rksLw" class="cyc_term">ThirdOrderCollection</a>. Instances of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rHQdVmB_TEdaAAABQ2rksLw" class="cyc_term">SecondOrderCollection</a> are collections of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rHIBS0h_TEdaAAABQ2rksLw" class="cyc_term">FirstOrderCollection</a>s. Any instance of any instance of any instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rHQdVmB_TEdaAAABQ2rksLw" class="cyc_term">SecondOrderCollection</a> is an <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjaApwpEbGdrcN5Y29ycA" class="cyc_term">Individual</a>. SecondOrderCollection second-order Cyc collection A <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rtGXkHpNaEdqAAAACs0uFOQ" class="cyc_term">KBDependentCollection</a> of collections of collections (and thus an instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rviPYH5wpEbGdrcN5Y29ycA" class="cyc_term">CollectionTypeType</a> and a specialization of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvtppU5wpEbGdrcN5Y29ycA" class="cyc_term">CollectionType</a>). A sibling-disjoint collection type is such that its known (i.e. KB-represented) instances are collections that -- save for any that are related to each other by <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViBDpwpEbGdrcN5Y29ycA" class="cyc_term">genls</a> and any that are explicitly asserted to be exceptions (see <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwQtVmpwpEbGdrcN5Y29ycA" class="cyc_term">siblingDisjointExceptions</a>) -- are disjoint from each other. 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 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 type of temporally stuff-like thing A specialization of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVir35wpEbGdrcN5Y29ycA" class="cyc_term">StuffType</a> (q.v.) whose instances are all and only those collections that are temporally stuff-like. A collection <code>COL</code> is temporally stuff-like just in case every purely temporal part (see <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvWn4OZwpEbGdrcN5Y29ycA" class="cyc_term">timeSlices</a>) of an instance of <code>COL</code> is itself an instance of <code>COL</code>, unless it is a temporal part of a temporal granule of <code>COL</code> (see <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjaJJwpEbGdrcN5Y29ycA" class="cyc_term">granuleOfTemporalStuff</a>). More precisely, for a collection <code>COL</code> to be an instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVitN5wpEbGdrcN5Y29ycA" class="cyc_term">TemporalStuffType</a> it is both a necessary and sufficient condition that for any <code>OBJ1</code> and <code>OBJ2</code> (with <code>OBJ2</code> at or above <code>COL</code>'s temporal granularity level), if <code>(<a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViBBJwpEbGdrcN5Y29ycA" class="cyc_term">isa</a> OBJ1 COL)</code> and <code>(<a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvWn4OZwpEbGdrcN5Y29ycA" class="cyc_term">timeSlices</a> OBJ1 OBJ2)</code>, then <code>(<a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViBBJwpEbGdrcN5Y29ycA" class="cyc_term">isa</a> OBJ2 COL)</code>. Consider <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVi0gpwpEbGdrcN5Y29ycA" class="cyc_term">WalkingOnTwoLegs</a>. Take an arbitrary instance <code>WALK</code> of this collection (say Miss America 2000's victory walk down the runway and back); and then take an arbitrary time-slice <code>SUBWALK</code> of <code>WALK</code> that subsumes at least one instance of (the <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjaJJwpEbGdrcN5Y29ycA" class="cyc_term">granuleOfTemporalStuff</a> for <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVi0gpwpEbGdrcN5Y29ycA" class="cyc_term">WalkingOnTwoLegs</a>) <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViYBpwpEbGdrcN5Y29ycA" class="cyc_term">TakingAStep</a> (say her trip back from the end of the runway). <code>SUBWALK</code> is itself an instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVi0gpwpEbGdrcN5Y29ycA" class="cyc_term">WalkingOnTwoLegs</a>. So <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVi0gpwpEbGdrcN5Y29ycA" class="cyc_term">WalkingOnTwoLegs</a> is an instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVitN5wpEbGdrcN5Y29ycA" class="cyc_term">TemporalStuffType</a>. See <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViq35wpEbGdrcN5Y29ycA" class="cyc_term">TemporalObjectType</a> for the disjoint notion of being temporally object-like. TemporalStuffType type of organism constituent The collection of all collections whose instances are frequently <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjzYpwpEbGdrcN5Y29ycA" class="cyc_term">physicalDecompositions</a> of an <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjE1pwpEbGdrcN5Y29ycA" class="cyc_term">Organism_Whole</a>. Instances of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvxc48pwpEbGdrcN5Y29ycA" class="cyc_term">OrganismConstituentType</a> include all specs of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwQBXZpwpEbGdrcN5Y29ycA" class="cyc_term">OrganismPart</a>, as well as things like (<a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwPzX35wpEbGdrcN5Y29ycA" class="cyc_term">LiquidFn</a> <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjAHZwpEbGdrcN5Y29ycA" class="cyc_term">Water</a>) and <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjuY5wpEbGdrcN5Y29ycA" class="cyc_term">Cell</a>. OrganismConstituentType