]> 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. (SolidFn Water) ice The collection of all ice. A type of <a href="http://sw.opencyc.org/concept/Mx4r9gNWxnS6EdaAAACgyZzFrg" class="cyc_term">BulkState</a>, <a href="http://sw.opencyc.org/concept/Mx4rvVjAHZwpEbGdrcN5Y29ycA" class="cyc_term">Water</a>, and <a href="http://sw.opencyc.org/concept/Mx4rKQyLCnTAEdaAAACgyZzFrg" class="cyc_term">MacroCrystalline</a>. solid H2O solid water water ice http://www.w3.org/2006/03/wn/wn20/instances/synset-ice-noun-1 A specialization of <a href="http://sw.opencyc.org/concept/Mx4rvVj0-5wpEbGdrcN5Y29ycA" class="cyc_term">PrecipitationParticle</a>. Each instance of <a href="http://sw.opencyc.org/concept/Mx4rvVi-g5wpEbGdrcN5Y29ycA" class="cyc_term">Snowflake</a> is a frozen water crystal emitted by a cloud during an instances of <a href="http://sw.opencyc.org/concept/Mx4rvVkAX5wpEbGdrcN5Y29ycA" class="cyc_term">SnowProcess</a> (q.v.). snowflake Snowflake IceCube ice cube The man made stuff which you can eat without getting sick. Often not cube shaped. Often made at home in the freezer. Sometimes small enough to be held between two fingers, sometimes as big as a cinder block. Icicle Unlike e.g. #$SnowFlake or <a href="http://sw.opencyc.org/concept/Mx4rvVi7xZwpEbGdrcN5Y29ycA" class="cyc_term">SnowMob</a>, some of my instances (espec those which hang from cars) are so disgustingly dirty that they do not deserve to have <a href="http://sw.opencyc.org/concept/Mx4rvViXWJwpEbGdrcN5Y29ycA" class="cyc_term">Water_Fresh</a> as their genls. icicle Iceberg The stuff that floats in the ocean near the polar ice caps. The water in icebergs in liquid form would have a slightly different salinity than <a href="http://sw.opencyc.org/concept/Mx4rvVjMf5wpEbGdrcN5Y29ycA" class="cyc_term">Sea</a> water. berg frozen fresh water (SolidFn Water-Fresh) TangibleStuffStateType A <a href="http://sw.opencyc.org/concept/Mx4rHQdVmB_TEdaAAABQ2rksLw" class="cyc_term">SecondOrderCollection</a> and a specialization of <a href="http://sw.opencyc.org/concept/Mx4rvVny6pwpEbGdrcN5Y29ycA" class="cyc_term">ExistingStuffType</a> (q.v.). Each instance of <a href="http://sw.opencyc.org/concept/Mx4rvgDEAJwpEbGdrcN5Y29ycA" class="cyc_term">TangibleStuffStateType</a> is a collection of pieces of tangible stuff that are all in the same distinct physical state, where the notion of "physical state" is a naive (as in <a href="http://sw.opencyc.org/concept/Mx4rvViQipwpEbGdrcN5Y29ycA" class="cyc_term">NaivePhysicsMt</a>) concept of a distinctive physical structure and/or texture. Some instances of <a href="http://sw.opencyc.org/concept/Mx4rvgDEAJwpEbGdrcN5Y29ycA" class="cyc_term">TangibleStuffStateType</a> have distinctive chemical compositions, such as <a href="http://sw.opencyc.org/concept/Mx4rvgC2UJwpEbGdrcN5Y29ycA" class="cyc_term">Diamond</a>; but for collections that are distinguished solely on the basis of chemical composition, see <a href="http://sw.opencyc.org/concept/Mx4rvViGSpwpEbGdrcN5Y29ycA" class="cyc_term">TangibleStuffCompositionType</a>. <a href="http://sw.opencyc.org/concept/Mx4rvgDEAJwpEbGdrcN5Y29ycA" class="cyc_term">TangibleStuffStateType</a> includes both (i) collections of substances that can exist only in one distinct physical state (e.g. <a href="http://sw.opencyc.org/concept/Mx4rvgC2UJwpEbGdrcN5Y29ycA" class="cyc_term">Diamond</a> again) and (ii) collections of pieces of stuff that by definition are in a certain distinct state (e.g. ice). Instances of <a href="http://sw.opencyc.org/concept/Mx4rvgDEAJwpEbGdrcN5Y29ycA" class="cyc_term">TangibleStuffStateType</a> include <a href="http://sw.opencyc.org/concept/Mx4rwQB16JwpEbGdrcN5Y29ycA" class="cyc_term">Foam</a>, <a href="http://sw.opencyc.org/concept/Mx4rvnmroZwpEbGdrcN5Y29ycA" class="cyc_term">Rubble</a>, and (<a href="http://sw.opencyc.org/concept/Mx4rwPzX35wpEbGdrcN5Y29ycA" class="cyc_term">LiquidFn</a> <a href="http://sw.opencyc.org/concept/Mx4rvVjAHZwpEbGdrcN5Y29ycA" class="cyc_term">Water</a>). Note that <a href="http://sw.opencyc.org/concept/Mx4rvVjAHZwpEbGdrcN5Y29ycA" class="cyc_term">Water</a> per se is not an instance of <a href="http://sw.opencyc.org/concept/Mx4rvgDEAJwpEbGdrcN5Y29ycA" class="cyc_term">TangibleStuffStateType</a>, since some water is in a gaseous state or a solid state. tangible stuff state type The collection of instances of <a href="http://sw.opencyc.org/concept/Mx4rvVj27ZwpEbGdrcN5Y29ycA" class="cyc_term">PartiallyTangible</a> that have a very high resistance to bio-deterioration. Indicate the bio-resistance of an individual with <a href="http://sw.opencyc.org/concept/Mx4r0vdDCn7_EdaAAAABAjVgzA" class="cyc_term">resistanceToBioDeterioration</a>. very high amount of bio deterioration resistance VeryHighAmountOfBioDeteriorationResistance Water water An instance of <a href="http://sw.opencyc.org/concept/Mx4rvUCoPtoTQdaZVdw2OtjsAg" class="cyc_term">ChemicalCompoundTypeByChemicalSpecies</a> and a specialization of <a href="http://sw.opencyc.org/concept/Mx4rvVkF6pwpEbGdrcN5Y29ycA" class="cyc_term">InanimateObject</a>. Each instance of <a href="http://sw.opencyc.org/concept/Mx4rvVjAHZwpEbGdrcN5Y29ycA" class="cyc_term">Water</a> is one piece of some (pure or impure) portion of the chemical compound H2O. Instances of <a href="http://sw.opencyc.org/concept/Mx4rvVjAHZwpEbGdrcN5Y29ycA" class="cyc_term">Water</a> may be in a gaseous, liquid, or solid state (see <a href="http://sw.opencyc.org/concept/Mx4rvVi9HJwpEbGdrcN5Y29ycA" class="cyc_term">stateOfMatter</a>); they may be salty or not, drinkable or not. Examples include portions of the ocean, such as the <a href="http://sw.opencyc.org/concept/Mx4rvVii7ZwpEbGdrcN5Y29ycA" class="cyc_term">BayOfBiscay</a> and the <a href="http://sw.opencyc.org/concept/Mx4rvVjtDJwpEbGdrcN5Y29ycA" class="cyc_term">BayOfBengal</a> (see also <a href="http://sw.opencyc.org/concept/Mx4rvVkFGZwpEbGdrcN5Y29ycA" class="cyc_term">SeaWater</a>); bodies of fresh water, such as <a href="http://sw.opencyc.org/concept/Mx4rvVjySZwpEbGdrcN5Y29ycA" class="cyc_term">NiagaraFalls</a> and the <a href="http://sw.opencyc.org/concept/Mx4rvViO_pwpEbGdrcN5Y29ycA" class="cyc_term">GangesRiver</a>; quantities of chlorinated water (see <a href="http://sw.opencyc.org/concept/Mx4rvgD7FZwpEbGdrcN5Y29ycA" class="cyc_term">PoolWater</a>); and the contents of bottles of tonic water (see <a href="http://sw.opencyc.org/concept/Mx4rvVj0cpwpEbGdrcN5Y29ycA" class="cyc_term">SeltzerWater</a>). Any portion of liquid that consists mostly of water but differs from it in one or more important properties (as does e.g. urine, coffee, and lemonade) is not itself an instance of <a href="http://sw.opencyc.org/concept/Mx4rvVjAHZwpEbGdrcN5Y29ycA" class="cyc_term">Water</a>, but has an instance of <a href="http://sw.opencyc.org/concept/Mx4rvVjAHZwpEbGdrcN5Y29ycA" class="cyc_term">Water</a> as its main constituent (see <a href="http://sw.opencyc.org/concept/Mx4rvVjTAZwpEbGdrcN5Y29ycA" class="cyc_term">mainConstituent</a>). For the specialization of <a href="http://sw.opencyc.org/concept/Mx4rvVjAHZwpEbGdrcN5Y29ycA" class="cyc_term">Water</a> whose instances are pure, see (<a href="http://sw.opencyc.org/concept/Mx4rwPuxrZwpEbGdrcN5Y29ycA" class="cyc_term">PureFn</a> <a href="http://sw.opencyc.org/concept/Mx4rvVjAHZwpEbGdrcN5Y29ycA" class="cyc_term">Water</a>). 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 quotedIsa A binary <a href="http://sw.opencyc.org/concept/Mx4rDeDIGEW0EdaAAACgydogAg" class="cyc_term">MetaLanguagePredicate</a> (q.v.) that relates CycL expressions to the <a href="http://sw.opencyc.org/concept/Mx4raOoTci9qEdma4AACs1uxFw" class="cyc_term">SubLExpressionType</a>s (q.v.) of which they are instances. <a href="http://sw.opencyc.org/concept/Mx4rBVVEokNxEdaAAACgydogAg" class="cyc_term">quotedIsa</a> is thus like a restricted version of <a href="http://sw.opencyc.org/concept/Mx4rvViBBJwpEbGdrcN5Y29ycA" class="cyc_term">isa</a> (q.v.), but with one important difference: the first argument-place of <a href="http://sw.opencyc.org/concept/Mx4rBVVEokNxEdaAAACgydogAg" class="cyc_term">quotedIsa</a> is "implicitly quoted" (see <a href="http://sw.opencyc.org/concept/Mx4rwHb_bZwpEbGdrcN5Y29ycA" class="cyc_term">quotedArgument</a>). So a ground atomic sentence of the form <code>(<a href="http://sw.opencyc.org/concept/Mx4rBVVEokNxEdaAAACgydogAg" class="cyc_term">quotedIsa</a> THING EXPR-TYPE)</code> does not mean that <code>THING</code> itself is an instance of <code>EXPR-TYPE</code>. Rather, such a sentence is partly self-referential, and means that the particular CycL expression appearing in the sentence's own first argument-position is an instance of <code>EXPR-TYPE</code>. Thus, <a href="http://sw.opencyc.org/concept/Mx4rBVVEokNxEdaAAACgydogAg" class="cyc_term">quotedIsa</a> provides a convenient shorthand for stating certain things that would otherwise require explicit quotation (or some other device for naming expressions). This is better illustrated with a specific example. Suppose we wish to state that the CycL constant <code><a href="http://sw.opencyc.org/concept/Mx4rvViH35wpEbGdrcN5Y29ycA" class="cyc_term">IndianOcean</a></code> is an instance of the CycL expression type #$PublicConstant. We cannot express this with the straightforward <a href="http://sw.opencyc.org/concept/Mx4rvViBBJwpEbGdrcN5Y29ycA" class="cyc_term">isa</a> sentence <code>(<a href="http://sw.opencyc.org/concept/Mx4rvViBBJwpEbGdrcN5Y29ycA" class="cyc_term">isa</a> <a href="http://sw.opencyc.org/concept/Mx4rvViH35wpEbGdrcN5Y29ycA" class="cyc_term">IndianOcean</a> #$PublicConstant)</code>, as that states the falsehood that the IndianOcean itself -- which is not a constant but a body of water -- is a public constant. But we can express precisely what we want like this: <pre> (<a href="http://sw.opencyc.org/concept/Mx4rBVVEokNxEdaAAACgydogAg" class="cyc_term">quotedIsa</a> <a href="http://sw.opencyc.org/concept/Mx4rvViH35wpEbGdrcN5Y29ycA" class="cyc_term">IndianOcean</a> #$PublicConstant) . </pre> Now <a href="http://sw.opencyc.org/concept/Mx4rBVVEokNxEdaAAACgydogAg" class="cyc_term">quotedIsa</a> is a <a href="http://sw.opencyc.org/concept/Mx4rv4oJWZwpEbGdrcN5Y29ycA" class="cyc_term">MacroRelation</a> (q.v.), and by its <a href="http://sw.opencyc.org/concept/Mx4rvVjg7JwpEbGdrcN5Y29ycA" class="cyc_term">expansion</a> any given <a href="http://sw.opencyc.org/concept/Mx4rBVVEokNxEdaAAACgydogAg" class="cyc_term">quotedIsa</a> sentence is equivalent to some <a href="http://sw.opencyc.org/concept/Mx4rvViBBJwpEbGdrcN5Y29ycA" class="cyc_term">isa</a> sentence with an explicitly quoted first argument. The sentence displayed above turns out to be equivalent to: <pre> (<a href="http://sw.opencyc.org/concept/Mx4rvViBBJwpEbGdrcN5Y29ycA" class="cyc_term">isa</a> (<a href="http://sw.opencyc.org/concept/Mx4rgGBbEkNuEdaAAACgydogAg" class="cyc_term">Quote</a> <a href="http://sw.opencyc.org/concept/Mx4rvViH35wpEbGdrcN5Y29ycA" class="cyc_term">IndianOcean</a>) #$PublicConstant). </pre> But the <a href="http://sw.opencyc.org/concept/Mx4rBVVEokNxEdaAAACgydogAg" class="cyc_term">quotedIsa</a> version has two related practical advantages over the <a href="http://sw.opencyc.org/concept/Mx4rvViBBJwpEbGdrcN5Y29ycA" class="cyc_term">isa</a> version. First, the former is syntactically simpler than the latter. Second, the simpler syntax of the former makes it easier to browse in the Knowedge Base: while the <a href="http://sw.opencyc.org/concept/Mx4rBVVEokNxEdaAAACgydogAg" class="cyc_term">quotedIsa</a> version is conveniently indexed under the KB Browser page for the constant <code><a href="http://sw.opencyc.org/concept/Mx4rvViH35wpEbGdrcN5Y29ycA" class="cyc_term">IndianOcean</a></code>, the <a href="http://sw.opencyc.org/concept/Mx4rvViBBJwpEbGdrcN5Y29ycA" class="cyc_term">isa</a> version would apparently be indexed under a separate, brand new page for the term <code>(<a href="http://sw.opencyc.org/concept/Mx4rgGBbEkNuEdaAAACgydogAg" class="cyc_term">Quote</a> <a href="http://sw.opencyc.org/concept/Mx4rvViH35wpEbGdrcN5Y29ycA" class="cyc_term">IndianOcean</a>)</code>. Generalizing the point, <a href="http://sw.opencyc.org/concept/Mx4rBVVEokNxEdaAAACgydogAg" class="cyc_term">quotedIsa</a> lets us avoid having potentially to double the number of pages currently in the browser. For the semantically more complicated (but rarely encountered) case in which <a href="http://sw.opencyc.org/concept/Mx4rBVVEokNxEdaAAACgydogAg" class="cyc_term">quotedIsa</a>'s first argument-place is filled with an open expression, see the accompanying #$cyclistNotes. Quoted Isa WordNetWorkflowConstant-NotFullyReviewed word net workflow constant not fully reviewed The collection of all <a href="http://sw.opencyc.org/concept/Mx4rvzSRxJwpEbGdrcN5Y29ycA" class="cyc_term">CycLConstant</a>s created from the import of concepts from <a href="http://sw.opencyc.org/concept/Mx4rtfZxnO-3QdibF4NWtMhnaQ" class="cyc_term">WordNet_Version2_0</a> that have not yet been fully reviewed by a <a href="http://sw.opencyc.org/concept/Mx4rvViX3ZwpEbGdrcN5Y29ycA" class="cyc_term">HumanCyclist</a>. 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 (SolidFn Water) ice The collection of all ice. A type of <a href="http://sw.opencyc.org/concept/Mx4r9gNWxnS6EdaAAACgyZzFrg" class="cyc_term">BulkState</a>, <a href="http://sw.opencyc.org/concept/Mx4rvVjAHZwpEbGdrcN5Y29ycA" class="cyc_term">Water</a>, and <a href="http://sw.opencyc.org/concept/Mx4rKQyLCnTAEdaAAACgyZzFrg" class="cyc_term">MacroCrystalline</a>. A specialization of <a href="http://sw.opencyc.org/concept/Mx4rvVj27ZwpEbGdrcN5Y29ycA" class="cyc_term">PartiallyTangible</a> and an instance of <a href="http://sw.opencyc.org/concept/Mx4rvViRCJwpEbGdrcN5Y29ycA" class="cyc_term">MatterTypeByPhysicalState</a>. Each instance of <a href="http://sw.opencyc.org/concept/Mx4rvVjZVpwpEbGdrcN5Y29ycA" class="cyc_term">Solid_StateOfMatter</a> is a solid quantity of matter. Pieces of matter in the solid state are at a sufficiently low enough temperature or high enough pressure for the particular type of matter involved that their molecules are bonded to each other by various sorts of forces, and don't move away from their neighbors. Solid objects are characterized at the macroscopic level by definite, persistent boundaries, independent of container. solid Solid-StateOfMatter MacroCrystalline macrocrystalline thing The collection of instances of <a href="http://sw.opencyc.org/concept/Mx4rvVj27ZwpEbGdrcN5Y29ycA" class="cyc_term">PartiallyTangible</a> that are macro-crystalline. An important specialization is ice. ExistenceDependentIntermittentCollection A specialization of both <a href="http://sw.opencyc.org/concept/Mx4ra0kFdJX-QdebR5OIAEc_Cg" class="cyc_term">IntermittentCollection</a> and <a href="http://sw.opencyc.org/concept/Mx4rhs-b2JX9QdeBCoQPSBEw0w" class="cyc_term">ExistenceDependentCollection</a> (qq.v.). Each instance EDIC of <a href="http://sw.opencyc.org/concept/Mx4r5XR_DpX-QdecYYD_ncIdVg" class="cyc_term">ExistenceDependentIntermittentCollection</a> is a collection such that: (i) a thing can be an instance of EDIC only while the thing exists and (ii) a thing can be an instance of EDIC during several non-overlapping periods of the thing's existence. For example, <a href="http://sw.opencyc.org/concept/Mx4r4fzU4G6OEdaAAACgyZzFrg" class="cyc_term">Awake</a> is such a collection. See also the specialization <a href="http://sw.opencyc.org/concept/Mx4r67LzlpX-QdeR7s1ljF2vaQ" class="cyc_term">ExistenceDependentNonInitialIntermittentCollection</a>. existence dependent intermittent collection (SolidFn Water) ice The collection of all ice. A type of <a href="http://sw.opencyc.org/concept/Mx4r9gNWxnS6EdaAAACgyZzFrg" class="cyc_term">BulkState</a>, <a href="http://sw.opencyc.org/concept/Mx4rvVjAHZwpEbGdrcN5Y29ycA" class="cyc_term">Water</a>, and <a href="http://sw.opencyc.org/concept/Mx4rKQyLCnTAEdaAAACgyZzFrg" class="cyc_term">MacroCrystalline</a>. The physical state of being in bulk, as, for example, a bunch of sand in a sandbox or a liquid pooled in a container bulk thing BulkState SolidTangibleThing An instance of <a href="http://sw.opencyc.org/concept/Mx4rvVny6pwpEbGdrcN5Y29ycA" class="cyc_term">ExistingStuffType</a>, and a specialization of <a href="http://sw.opencyc.org/concept/Mx4rvVj27ZwpEbGdrcN5Y29ycA" class="cyc_term">PartiallyTangible</a>. Each instance of <a href="http://sw.opencyc.org/concept/Mx4rvVjElJwpEbGdrcN5Y29ycA" class="cyc_term">SolidTangibleThing</a> is a piece of stuff possessing many of the properties that matter in a solid state (see the constant <a href="http://sw.opencyc.org/concept/Mx4rvVjZVpwpEbGdrcN5Y29ycA" class="cyc_term">Solid_StateOfMatter</a>) exhibits (although not all instances of <a href="http://sw.opencyc.org/concept/Mx4rvVjElJwpEbGdrcN5Y29ycA" class="cyc_term">SolidTangibleThing</a> are formally in a solid state). Instances have a shape independent from their container, and, when deformed with sufficient force (which may be small for weak, brittle materials or high for materials that deform easily), they break. Examples of <a href="http://sw.opencyc.org/concept/Mx4rvVjElJwpEbGdrcN5Y29ycA" class="cyc_term">SolidTangibleThing</a>s include: pieces of substances in a solid state of matter, such as ice cubes; solid mixtures like a quarter-dollar coin or a paper bag; and complex mixtures of biological origin that behave like solids, e.g., bone. Note that some pieces of matter that are formally in a solid state (for example, pieces of clay) are not instances of <a href="http://sw.opencyc.org/concept/Mx4rvVjElJwpEbGdrcN5Y29ycA" class="cyc_term">SolidTangibleThing</a>, since they do not readily break when deformed; for this reason, <a href="http://sw.opencyc.org/concept/Mx4rvVjZVpwpEbGdrcN5Y29ycA" class="cyc_term">Solid_StateOfMatter</a> is not a specialization of <a href="http://sw.opencyc.org/concept/Mx4rvVjElJwpEbGdrcN5Y29ycA" class="cyc_term">SolidTangibleThing</a>. Collections of the solid form of any type of stuff can be created using <a href="http://sw.opencyc.org/concept/Mx4rwPzX0JwpEbGdrcN5Y29ycA" class="cyc_term">SolidFn</a> (q.v.). solid object