]> 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. ThingConformingToKosherDietaryLaws This is the attribute of being kosher. Being kosher means conforming to Jewish laws dealing with food. The attribute can apply to anthing related to food: kitchens, slaughtering techniques, diets, food items. kosher thing kosher kosherest kosherer http://en.wikipedia.org/wiki/Kashrut kosher food The collection of all food that may be eaten according to the <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rTZyv8FZ9QdeTj7W3oL-VDw" class="cyc_term">KosherCodeOfConduct</a>. KosherFood The collection of all dining events in which <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rP5jDjFZ7QdeLC97TOxZt8w" class="cyc_term">KosherFood</a> is eaten using <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rXdvKxFZ7QdeSI63J1AQGYg" class="cyc_term">KosherUtensil</a>s, and is not in violation of restrictions on the timing limitations between eating meat and milk products. KosherMeal kosher meal The collection of all food utensils that have not been in contact with both meat and a food containing milk products. Three types of kosher utensils are considered: meat dishes, milk dishes, and neutral (pareve) dishes. kosher utensil KosherUtensil kosher food preparation event KosherFoodPreparationEvent The collection of all food preparation events that conform to the <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rTZyv8FZ9QdeTj7W3oL-VDw" class="cyc_term">KosherCodeOfConduct</a>. A specialization of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViAxJwpEbGdrcN5Y29ycA" class="cyc_term">TemporalThing</a>. This is the collection of all things that exist (or occur or obtain) in or at a time. <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rtM0npht0QdiUF94Dipp7Pg" class="cyc_term">TemporallyExistingThing</a> thus includes all instances of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViAxJwpEbGdrcN5Y29ycA" class="cyc_term">TemporalThing</a> except <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViAw5wpEbGdrcN5Y29ycA" class="cyc_term">TimeInterval</a>s. Its specializations include <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVi255wpEbGdrcN5Y29ycA" class="cyc_term">SomethingExisting</a> and <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvYjIS5wpEbGdrcN5Y29ycA" class="cyc_term">Situation</a>. <p/> Here's arough-and-ready test for membership in <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rtM0npht0QdiUF94Dipp7Pg" class="cyc_term">TemporallyExistingThing</a>: If it makes sense to ask of a given temporal thing whether it could have had a different <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjQn5wpEbGdrcN5Y29ycA" class="cyc_term">temporalExtent</a> (q.v.) than it actually has, then (and only then) it is an instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rtM0npht0QdiUF94Dipp7Pg" class="cyc_term">TemporallyExistingThing</a>. Tangible objects, events, and <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvh5TfJwpEbGdrcN5Y29ycA" class="cyc_term">StaticSituation</a>s all pass this test, while dates and other instances of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViAw5wpEbGdrcN5Y29ycA" class="cyc_term">TimeInterval</a> fail. It would be absurd to suppose (e.g.) that the day of 27 July 1947 might have taken place a year later than it actually did. Unlike temporally existing things, time intervals instances are differentiated solely on the basis of their duration and location on the time line. temporally existing thing TemporallyExistingThing first-order collection An instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvtppU5wpEbGdrcN5Y29ycA" class="cyc_term">CollectionType</a>, and a specialization of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rNooX_CChEdaAAABQ2rksLw" class="cyc_term">FixedOrderCollection</a>. <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rHIBS0h_TEdaAAABQ2rksLw" class="cyc_term">FirstOrderCollection</a> is the collection of all specializations of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjaApwpEbGdrcN5Y29ycA" class="cyc_term">Individual</a> (q.v.) Notable specializations of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rHIBS0h_TEdaAAABQ2rksLw" class="cyc_term">FirstOrderCollection</a> include <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViq35wpEbGdrcN5Y29ycA" class="cyc_term">TemporalObjectType</a>, <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVny6pwpEbGdrcN5Y29ycA" class="cyc_term">ExistingStuffType</a>, and <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvWXYgJwpEbGdrcN5Y29ycA" class="cyc_term">ExistingObjectType</a>. FirstOrderCollection ThingConformingToKosherDietaryLaws This is the attribute of being kosher. Being kosher means conforming to Jewish laws dealing with food. The attribute can apply to anthing related to food: kitchens, slaughtering techniques, diets, food items. kosher thing 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 ThingConformingToKosherDietaryLaws This is the attribute of being kosher. Being kosher means conforming to Jewish laws dealing with food. The attribute can apply to anthing related to food: kitchens, slaughtering techniques, diets, food items. kosher thing ThingConformingToKosherDietaryLaws This is the attribute of being kosher. Being kosher means conforming to Jewish laws dealing with food. The attribute can apply to anthing related to food: kitchens, slaughtering techniques, diets, food items. kosher thing The collection of all instances of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4r_4bScKNtQdiVw7XtX-HN0Q" class="cyc_term">ClarifyingCollectionType</a> that are used by the <font color="#ff0000">#$KRAKEN</font> application to resolve natural language ambiguities. KE clarifying collection type KEClarifyingCollectionType A collection of collections. Each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwIE23ZwpEbGdrcN5Y29ycA" class="cyc_term">TimeDependentCollection</a> is a collection whose membership changes over time. For example, (<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>) is a time dependent collection. A given portion of water might be an instance of (<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>) in the summer, and an instance of the disjoint collection (<a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwPzX0JwpEbGdrcN5Y29ycA" class="cyc_term">SolidFn</a> <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjAHZwpEbGdrcN5Y29ycA" class="cyc_term">Water</a>) in the winter. In contrast, <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVieEpwpEbGdrcN5Y29ycA" class="cyc_term">Integer</a> is a <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvzndCZwpEbGdrcN5Y29ycA" class="cyc_term">TimeIndependentCollection</a> (q.v.) because the collection of integers does not change its membership over time. time dependent collection TimeDependentCollection