]> 2009/04/07 OpenCyc Knowledge Base Copyright© 2001-2009 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. Mappings between OpenCyc terms and Wikipedia article names provided by Olena Medelyan and Catherine Legg, University of Waikato, NZ under a Creative Commons Attribution 3.0 license. 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. faery Fairy A <a href="http://sw.opencyc.org/concept/Mx4rvwj-OJwpEbGdrcN5Y29ycA" class="cyc_term">Fairy</a> is a small imaginary creature with magic powers, which looks like a very small person. faeries fairy faerie fairies

Fairy

http://en.wikipedia.org/wiki/Fairy http://www.w3.org/2006/03/wn/wn20/instances/synset-fairy-noun-1 A subset of <a href="http://sw.opencyc.org/concept/Mx4rvViwMZwpEbGdrcN5Y29ycA" class="cyc_term">Animal</a>, the collection of all animals which have a mind and are capable of conscious thought, or at least are best treated as such if you have to deal with them. SentientAnimal sentient animal faery Fairy A <a href="http://sw.opencyc.org/concept/Mx4rvwj-OJwpEbGdrcN5Y29ycA" class="cyc_term">Fairy</a> is a small imaginary creature with magic powers, which looks like a very small person. Pretty String (<a href="http://sw.opencyc.org/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/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 animal An instance of <a href="http://sw.opencyc.org/concept/Mx4rvViYmpwpEbGdrcN5Y29ycA" class="cyc_term">BiologicalKingdom</a>, and a specialization of <a href="http://sw.opencyc.org/concept/Mx4rvVjE1pwpEbGdrcN5Y29ycA" class="cyc_term">Organism_Whole</a>. Instances of <a href="http://sw.opencyc.org/concept/Mx4rvViwMZwpEbGdrcN5Y29ycA" class="cyc_term">Animal</a> are typically motile, living, whole organisms; they are instances of <a href="http://sw.opencyc.org/concept/Mx4rvVkDMZwpEbGdrcN5Y29ycA" class="cyc_term">Heterotroph</a> (q.v.), and thus incapable of performing instances of <a href="http://sw.opencyc.org/concept/Mx4rvp37_ZwpEbGdrcN5Y29ycA" class="cyc_term">Photosynthesis_Generic</a>. Animal cells contain cholesterol and lack cell walls made of cellulose. Animal faery Fairy A <a href="http://sw.opencyc.org/concept/Mx4rvwj-OJwpEbGdrcN5Y29ycA" class="cyc_term">Fairy</a> is a small imaginary creature with magic powers, which looks like a very small person. Wikipedia Article URL (<a href="http://sw.opencyc.org/concept/Mx4rNv0nbm4TTjOp7yhmnzOyqg" class="cyc_term">wikipediaArticleURL</a> THING URL) means that in <a href="http://sw.opencyc.org/concept/Mx4rtqXA6OC8QdiWC72DuLJdUw" class="cyc_term">Wikipedia_WebSite</a> THING is described by an article located at URL wikipediaArticleURL seeAlsoURI <code>(<a href="http://sw.opencyc.org/concept/Mx4riWVFR6HJSpaEaHrcWS3MSA" class="cyc_term">seeAlsoURI</a> THING URI)</code> means that a description of the resource identified by URI is likely to contain information pertinent to THING. This predicate is roughly equivalent to rdfs:seeAlso. See Also URI OrganismClassificationType type of organism A collection of collections. Each instance of <a href="http://sw.opencyc.org/concept/Mx4rvVjf5JwpEbGdrcN5Y29ycA" class="cyc_term">OrganismClassificationType</a> is a specialization of <a href="http://sw.opencyc.org/concept/Mx4rvVjE1pwpEbGdrcN5Y29ycA" class="cyc_term">Organism_Whole</a> (q.v.), where membership in that sub-collection is determined by satisfaction of some set of classificatory criteria accepted by some scientific community. Instances of <a href="http://sw.opencyc.org/concept/Mx4rvVjf5JwpEbGdrcN5Y29ycA" class="cyc_term">OrganismClassificationType</a> may or may not correspond to naive categories of organisms, and, in addition, although they are scientific, they might not be officially accepted biological taxons at the standard taxonomic levels (<a href="http://sw.opencyc.org/concept/Mx4rvViYS5wpEbGdrcN5Y29ycA" class="cyc_term">Invertebrate</a>, for example, is an <a href="http://sw.opencyc.org/concept/Mx4rvVjf5JwpEbGdrcN5Y29ycA" class="cyc_term">OrganismClassificationType</a>, but _not_ a <a href="http://sw.opencyc.org/concept/Mx4rvVji6JwpEbGdrcN5Y29ycA" class="cyc_term">BiologicalTaxon</a> (q.v.)). Note that <a href="http://sw.opencyc.org/concept/Mx4rvVjf5JwpEbGdrcN5Y29ycA" class="cyc_term">OrganismClassificationType</a> is _not_ an instance of <a href="http://sw.opencyc.org/concept/Mx4rvViA4pwpEbGdrcN5Y29ycA" class="cyc_term">SiblingDisjointCollectionType</a>, since there are scientific classifications along different dimensions. Many specializations of <a href="http://sw.opencyc.org/concept/Mx4rvVjf5JwpEbGdrcN5Y29ycA" class="cyc_term">OrganismClassificationType</a> are, however, instances of <a href="http://sw.opencyc.org/concept/Mx4rvViA4pwpEbGdrcN5Y29ycA" class="cyc_term">SiblingDisjointCollectionType</a>. The collection of all <a href="http://sw.opencyc.org/concept/Mx4rvViAxJwpEbGdrcN5Y29ycA" class="cyc_term">TemporalThing</a>s (beings, magical artifacts, spells, etc.) appearing in myths or legends but not extant in the world modeled by the KB in which something is asserted to be an instance of this. This collection should have no instances in <a href="http://sw.opencyc.org/concept/Mx4rvViBEZwpEbGdrcN5Y29ycA" class="cyc_term">BaseKB</a> or other general microtheories, but be restricted to microtheories dealing with the "real world" or some fictional world. Note that stories about <a href="http://sw.opencyc.org/concept/Mx4rwPfmZpwpEbGdrcN5Y29ycA" class="cyc_term">MythologicalThing</a>s are not themselves <a href="http://sw.opencyc.org/concept/Mx4rwPfmZpwpEbGdrcN5Y29ycA" class="cyc_term">MythologicalThing</a>s. MythologicalThing mythical being supernatural being SupernaturalBeing The collection of all supernatural beings, including gods, angels, devils, demons, ghosts, spirits, banshees, fairies, elves, and woodland sprites (e.g. the mischievous Puck). Instances of <a href="http://sw.opencyc.org/concept/Mx4rwOoodJwpEbGdrcN5Y29ycA" class="cyc_term">SupernaturalBeing</a> might be immortal or mortal, good or evil, intangible or partially tangible. intelligent agent A specialization of <a href="http://sw.opencyc.org/concept/Mx4rvsaaeJwpEbGdrcN5Y29ycA" class="cyc_term">Agent_Generic</a> and <a href="http://sw.opencyc.org/concept/Mx4rvu__KJwpEbGdrcN5Y29ycA" class="cyc_term">InformationStore</a> (qq.v.). An agent is an <a href="http://sw.opencyc.org/concept/Mx4rvVinb5wpEbGdrcN5Y29ycA" class="cyc_term">IntelligentAgent</a> if and only if it is capable of knowing and acting, and capable of employing its knowledge in its actions. An intelligent agent typically <a href="http://sw.opencyc.org/concept/Mx4rvVkDi5wpEbGdrcN5Y29ycA" class="cyc_term">knowsAbout</a> certain things, and its <a href="http://sw.opencyc.org/concept/Mx4rvViA0pwpEbGdrcN5Y29ycA" class="cyc_term">beliefs</a> concerning those things influences its actions. As with agents generally, an intelligent agent might either be a single individual, such as a person, or a group consisting of two or more individual agents, such as a business or government organization. Specializations of <a href="http://sw.opencyc.org/concept/Mx4rvVinb5wpEbGdrcN5Y29ycA" class="cyc_term">IntelligentAgent</a> include <a href="http://sw.opencyc.org/concept/Mx4rvViknpwpEbGdrcN5Y29ycA" class="cyc_term">SocialBeing</a> and <a href="http://sw.opencyc.org/concept/Mx4rZbbuIoGbQdeH0rnP7Ube6Q" class="cyc_term">MultiIndividualAgent_Intelligent</a>. Note that non-human <a href="http://sw.opencyc.org/concept/Mx4rvVil5pwpEbGdrcN5Y29ycA" class="cyc_term">Vertebrate</a>s that are sentient and somewhat intelligent, such as (arguably) cats and horses, can be considered intelligent agents in some contexts. IntelligentAgent faery Fairy A <a href="http://sw.opencyc.org/concept/Mx4rvwj-OJwpEbGdrcN5Y29ycA" class="cyc_term">Fairy</a> is a small imaginary creature with magic powers, which looks like a very small person. IndividualAgent being An instance of <a href="http://sw.opencyc.org/concept/Mx4rvWXYgJwpEbGdrcN5Y29ycA" class="cyc_term">ExistingObjectType</a> and a specialization of <a href="http://sw.opencyc.org/concept/Mx4rvsaaeJwpEbGdrcN5Y29ycA" class="cyc_term">Agent_Generic</a>. Each instance of <a href="http://sw.opencyc.org/concept/Mx4rvVilYpwpEbGdrcN5Y29ycA" class="cyc_term">IndividualAgent</a> is an instance of <a href="http://sw.opencyc.org/concept/Mx4rvsaaeJwpEbGdrcN5Y29ycA" class="cyc_term">Agent_Generic</a> that is not itself a group composed of other instances of <a href="http://sw.opencyc.org/concept/Mx4rvsaaeJwpEbGdrcN5Y29ycA" class="cyc_term">Agent_Generic</a>. Notable specializations of <a href="http://sw.opencyc.org/concept/Mx4rvVilYpwpEbGdrcN5Y29ycA" class="cyc_term">IndividualAgent</a> include <a href="http://sw.opencyc.org/concept/Mx4rvViAkpwpEbGdrcN5Y29ycA" class="cyc_term">Person</a> and <a href="http://sw.opencyc.org/concept/Mx4rvViwMZwpEbGdrcN5Y29ycA" class="cyc_term">Animal</a>. Note that <a href="http://sw.opencyc.org/concept/Mx4rvVjVT5wpEbGdrcN5Y29ycA" class="cyc_term">Organization</a> is not a specialization of <a href="http://sw.opencyc.org/concept/Mx4rvVilYpwpEbGdrcN5Y29ycA" class="cyc_term">IndividualAgent</a>, since instances of <a href="http://sw.opencyc.org/concept/Mx4rvVjVT5wpEbGdrcN5Y29ycA" class="cyc_term">Organization</a> are groups composed of other instances of <a href="http://sw.opencyc.org/concept/Mx4rvsaaeJwpEbGdrcN5Y29ycA" class="cyc_term">Agent_Generic</a>. <a href="http://sw.opencyc.org/concept/Mx4rvVjaApwpEbGdrcN5Y29ycA" class="cyc_term">Individual</a> is the collection of all individuals: things that are not sets or collections. Individuals might be concrete or abstract, and include (among other things) physical objects, events, numbers, relations, and groups. An instance of <a href="http://sw.opencyc.org/concept/Mx4rvVjaApwpEbGdrcN5Y29ycA" class="cyc_term">Individual</a> might have parts or structure (including discontinuous parts); but no individual has elements or subsets (see <a href="http://sw.opencyc.org/concept/Mx4rwGWaK5wpEbGdrcN5Y29ycA" class="cyc_term">elementOf</a> and <a href="http://sw.opencyc.org/concept/Mx4rvZA-05wpEbGdrcN5Y29ycA" class="cyc_term">subsetOf</a>). Thus, an individual that has parts (e.g. <a href="http://sw.opencyc.org/concept/Mx4rvVj5FpwpEbGdrcN5Y29ycA" class="cyc_term">physicalParts</a> or <a href="http://sw.opencyc.org/concept/Mx4rvVj-BJwpEbGdrcN5Y29ycA" class="cyc_term">groupMembers</a>) is not the same thing as either the set or the collection containing those same parts. For example, your car is an individual, but the collection of all the parts of your car is not an individual but an instance of <a href="http://sw.opencyc.org/concept/Mx4rvViAzJwpEbGdrcN5Y29ycA" class="cyc_term">Collection</a>. This collection (unlike the car itself) is abstract: it doesn't have a location, mass, or a top speed; but it does have instances, subcollections, and supercollections. In partial contrast, the <a href="http://sw.opencyc.org/concept/Mx4rvVjmoJwpEbGdrcN5Y29ycA" class="cyc_term">Group</a> (q.v.) of parts of your car (while also not the same thing as the car itself) is an individual that has location and mass. Another example: A given company, the group consisting of all the company's employees, the collection of those employees, and the set of those employees are four distinct things, and only the first two are individuals. Individual individual wikipediaArticleName (<a href="http://sw.opencyc.org/concept/Mx4rTv-jk9SPTXa991kk5mAvHg" class="cyc_term">wikipediaArticleName</a> THING NAME) means that in <a href="http://sw.opencyc.org/concept/Mx4rtqXA6OC8QdiWC72DuLJdUw" class="cyc_term">Wikipedia_WebSite</a> THING is described by an article with the title NAME Wikipedia Article Name