]> 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. AnimalByTaxonomicPhylumWithSamples-Biology-Topic A <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rAmoSCGJbQdiSXZJvYiNhkQ" class="cyc_term">CycVocabularyTopic</a> and a <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rtGXkHpNaEdqAAAACs0uFOQ" class="cyc_term">KBDependentCollection</a>. animal by taxonomic phylum with samples biology topic Insect An instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViXTJwpEbGdrcN5Y29ycA" class="cyc_term">BiologicalClass</a>, and a specialization of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViwSJwpEbGdrcN5Y29ycA" class="cyc_term">Arthropod</a>. Each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVi495wpEbGdrcN5Y29ycA" class="cyc_term">Insect</a> is an arthropod whose body is segmented into thirds, with three pairs of legs, a pair of antennae, and sometimes two pairs of wings. Specializations of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVi495wpEbGdrcN5Y29ycA" class="cyc_term">Insect</a> include <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVkHLZwpEbGdrcN5Y29ycA" class="cyc_term">Bee</a>, <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjecpwpEbGdrcN5Y29ycA" class="cyc_term">Ant</a>, and <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwP1eaJwpEbGdrcN5Y29ycA" class="cyc_term">Butterfly</a>. insect arthropod Arthropod A <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViYE5wpEbGdrcN5Y29ycA" class="cyc_term">BiologicalPhylum</a> and a specialization of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViYS5wpEbGdrcN5Y29ycA" class="cyc_term">Invertebrate</a>. Each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViwSJwpEbGdrcN5Y29ycA" class="cyc_term">Arthropod</a> is a member of a species whose members are typically chitin-armored invertebrates with jointed bodies and limbs. Specializations include <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVi495wpEbGdrcN5Y29ycA" class="cyc_term">Insect</a>, <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVizJ5wpEbGdrcN5Y29ycA" class="cyc_term">Crustacean</a>, and <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVifK5wpEbGdrcN5Y29ycA" class="cyc_term">Arachnid</a>. vertebrate An instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVji6JwpEbGdrcN5Y29ycA" class="cyc_term">BiologicalTaxon</a> within the <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViYE5wpEbGdrcN5Y29ycA" class="cyc_term">BiologicalPhylum</a> <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVkGO5wpEbGdrcN5Y29ycA" class="cyc_term">ChordataPhylum</a>. Each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVil5pwpEbGdrcN5Y29ycA" class="cyc_term">Vertebrate</a> is an animal that has a backbone or spine made of bony or cartilaginous vertebrae, which may be separate or fused. Notable specializations of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVil5pwpEbGdrcN5Y29ycA" class="cyc_term">Vertebrate</a> include <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVimKJwpEbGdrcN5Y29ycA" class="cyc_term">Mammal</a>, <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjyMJwpEbGdrcN5Y29ycA" class="cyc_term">Reptile</a>, <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVi8SJwpEbGdrcN5Y29ycA" class="cyc_term">Bird</a>, and <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjfU5wpEbGdrcN5Y29ycA" class="cyc_term">Fish</a>. Vertebrate invertebrate Invertebrate A specialization of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvmJ4oZwpEbGdrcN5Y29ycA" class="cyc_term">Poikilotherm</a>. Each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViYS5wpEbGdrcN5Y29ycA" class="cyc_term">Invertebrate</a> is an animal that lacks a backbone. <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViYS5wpEbGdrcN5Y29ycA" class="cyc_term">Invertebrate</a> includes insects, molluscs, sea squirts, worms (in a large variety of worm phyla), and many others. Note: Although <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViYS5wpEbGdrcN5Y29ycA" class="cyc_term">Invertebrate</a> is a scientific category, it is not a standard taxon in the biological taxonomy, hence it is not an instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVji6JwpEbGdrcN5Y29ycA" class="cyc_term">BiologicalTaxon</a>. chordate ChordataPhylum An instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViYE5wpEbGdrcN5Y29ycA" class="cyc_term">BiologicalPhylum</a> within the <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViYmpwpEbGdrcN5Y29ycA" class="cyc_term">BiologicalKingdom</a> <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViwMZwpEbGdrcN5Y29ycA" class="cyc_term">Animal</a>, the <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVkGO5wpEbGdrcN5Y29ycA" class="cyc_term">ChordataPhylum</a> contains the many chordate taxa. All chordate taxa have members who have a notochord (a flexible rod running the length of the body) at some stage of development and pharyngeal gills at some stage of development. The <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVkGO5wpEbGdrcN5Y29ycA" class="cyc_term">ChordataPhylum</a> has as <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjj7pwpEbGdrcN5Y29ycA" class="cyc_term">taxonMembers</a> all the specializations of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVil5pwpEbGdrcN5Y29ycA" class="cyc_term">Vertebrate</a> (including <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViAkpwpEbGdrcN5Y29ycA" class="cyc_term">Person</a>), as well as some non-vertebrate chordates like Amphioxus. AnimalByTaxonomicPhylumWithSamples-Biology-Topic A <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rAmoSCGJbQdiSXZJvYiNhkQ" class="cyc_term">CycVocabularyTopic</a> and a <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rtGXkHpNaEdqAAAACs0uFOQ" class="cyc_term">KBDependentCollection</a>. animal by taxonomic phylum with samples biology topic AnimalByTaxonomicPhylumWithSamples-Biology-Topic A <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rAmoSCGJbQdiSXZJvYiNhkQ" class="cyc_term">CycVocabularyTopic</a> and a <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rtGXkHpNaEdqAAAACs0uFOQ" class="cyc_term">KBDependentCollection</a>. animal by taxonomic phylum with samples biology topic A specialization of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwIE23ZwpEbGdrcN5Y29ycA" class="cyc_term">TimeDependentCollection</a> (q.v.). This is the collection of all and only those collections <code>COL</code> such that any thing's being an instance of <code>COL</code> depends on the current state of the <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjqoZwpEbGdrcN5Y29ycA" class="cyc_term">CycKB</a>. Such a <code>COL</code> corresponds to a property defined (at least partly) in terms of the contents, features, or implementation of the Cyc Knowledge Base itself, as opposed to a property that "exists out there" in the KB-independent world. For example, <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvV281JwpEbGdrcN5Y29ycA" class="cyc_term">CycLAssertion</a> is a KB-dependent collection, membership in which requires of a given CycL sentence that it has in fact been asserted to the KB. <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViAoJwpEbGdrcN5Y29ycA" class="cyc_term">CycLSentence</a> is also KB-dependent, as being a CycL sentence requires being composed (ultimately) out of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvu6KTZwpEbGdrcN5Y29ycA" class="cyc_term">CycLReifiedDenotationalTerm</a>s (and perhaps variables) -- i.e. terms that are currently reified in the KB. Conversely, <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rv5ddsJwpEbGdrcN5Y29ycA" class="cyc_term">Sentence</a> is not a KB-dependent collection. See also <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvip9N5wpEbGdrcN5Y29ycA" class="cyc_term">KBDependentRelation</a>. KB dependent collection KBDependentCollection CycVocabularyTopic An instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvprlOZwpEbGdrcN5Y29ycA" class="cyc_term">FacetingCollectionType</a> and a specialization of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rgQsP1F2xEdif1wACs2IMlQ" class="cyc_term">Topic</a>. Each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rAmoSCGJbQdiSXZJvYiNhkQ" class="cyc_term">CycVocabularyTopic</a> is a collection of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViA9JwpEbGdrcN5Y29ycA" class="cyc_term">Thing</a>s falling under a topic for which some Cyc Vocabulary exists. <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rgQsP1F2xEdif1wACs2IMlQ" class="cyc_term">Topic</a> is neither a strict [<a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvcZ1FpwpEbGdrcN5Y29ycA" class="cyc_term">facets_Strict</a>] nor a covering [<a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rv86JWpwpEbGdrcN5Y29ycA" class="cyc_term">facets_Covering</a>] faceting of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViA9JwpEbGdrcN5Y29ycA" class="cyc_term">Thing</a>: many <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViA9JwpEbGdrcN5Y29ycA" class="cyc_term">Thing</a>s may be instances of no <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rgQsP1F2xEdif1wACs2IMlQ" class="cyc_term">Topic</a>, or of multiple <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rgQsP1F2xEdif1wACs2IMlQ" class="cyc_term">Topic</a>s. cyc vocabulary topic AnimalByTaxonomicPhylumWithSamples-Biology-Topic A <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rAmoSCGJbQdiSXZJvYiNhkQ" class="cyc_term">CycVocabularyTopic</a> and a <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rtGXkHpNaEdqAAAACs0uFOQ" class="cyc_term">KBDependentCollection</a>. animal by taxonomic phylum with samples biology topic biology-topic An instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rgQsP1F2xEdif1wACs2IMlQ" class="cyc_term">Topic</a>. Each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rgQs2412xEdif1wACs2IMlQ" class="cyc_term">Biology_Topic</a> is a <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViA9JwpEbGdrcN5Y29ycA" class="cyc_term">Thing</a> which (in some significant sense) has to do with the topic of biology. Biology-Topic