]> 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. visuallyDepicts A binary predicate that relates instances of <a href="http://sw.opencyc.org/2008/06/10/concept/en/VisualInformationBearingThing" class="cyc_term">VisualInformationBearingThing</a> to instances of <a href="http://sw.opencyc.org/2008/06/10/concept/en/Thing" class="cyc_term">Thing</a>. <code>(<a href="http://sw.opencyc.org/2008/06/10/concept/en/visuallyDepicts" class="cyc_term">visuallyDepicts</a> IBT OBJ)</code> means the object <code>OBJ</code> is depicted by the visual information source <code>IBT</code>. For example, Mount Everest is visually depicted by a photograph of it, and (<a href="http://sw.opencyc.org/2008/06/10/concept/en/visuallyDepicts" class="cyc_term">visuallyDepicts</a> <a href="http://sw.opencyc.org/2008/06/10/concept/en/PietaStatue_Michelangelo" class="cyc_term">PietaStatue_Michelangelo</a> <a href="http://sw.opencyc.org/2008/06/10/concept/en/JesusOfNazareth" class="cyc_term">JesusOfNazareth</a>) is true. Mx4rwQBjlpwpEbGdrcN5Y29ycA Visually Depicts visuallyDepicts A binary predicate that relates instances of <a href="http://sw.opencyc.org/2008/06/10/concept/en/VisualInformationBearingThing" class="cyc_term">VisualInformationBearingThing</a> to instances of <a href="http://sw.opencyc.org/2008/06/10/concept/en/Thing" class="cyc_term">Thing</a>. <code>(<a href="http://sw.opencyc.org/2008/06/10/concept/en/visuallyDepicts" class="cyc_term">visuallyDepicts</a> IBT OBJ)</code> means the object <code>OBJ</code> is depicted by the visual information source <code>IBT</code>. For example, Mount Everest is visually depicted by a photograph of it, and (<a href="http://sw.opencyc.org/2008/06/10/concept/en/visuallyDepicts" class="cyc_term">visuallyDepicts</a> <a href="http://sw.opencyc.org/2008/06/10/concept/en/PietaStatue_Michelangelo" class="cyc_term">PietaStatue_Michelangelo</a> <a href="http://sw.opencyc.org/2008/06/10/concept/en/JesusOfNazareth" class="cyc_term">JesusOfNazareth</a>) is true. Visually Depicts thing <a href="http://sw.opencyc.org/2008/06/10/concept/en/Thing" class="cyc_term">Thing</a> is the "universal collection": the collection which, by definition, contains everything there is. Every thing in the Cyc ontology -- every <a href="http://sw.opencyc.org/2008/06/10/concept/en/Individual" class="cyc_term">Individual</a> (of any kind), every <a href="http://sw.opencyc.org/2008/06/10/concept/en/Set_Mathematical" class="cyc_term">Set_Mathematical</a>, and every <a href="http://sw.opencyc.org/2008/06/10/concept/en/Collection" class="cyc_term">Collection</a> -- is an instance of (see <a href="http://sw.opencyc.org/2008/06/10/concept/en/isa" class="cyc_term">isa</a>) <a href="http://sw.opencyc.org/2008/06/10/concept/en/Thing" class="cyc_term">Thing</a>. Similarly, every collection is a subcollection of (see <a href="http://sw.opencyc.org/2008/06/10/concept/en/genls" class="cyc_term">genls</a>) <a href="http://sw.opencyc.org/2008/06/10/concept/en/Thing" class="cyc_term">Thing</a>. Trivially, <a href="http://sw.opencyc.org/2008/06/10/concept/en/Thing" class="cyc_term">Thing</a> is both an instance of and a subcollection of itself, and is not a subcollection of any other collection. (Note that the above reference to "every thing in the Cyc ontology" is not meant to be limited to things actually reified in the Cyc system, but includes (e.g.) every instance -- reified or not, known or not -- of every collection recognized by Cyc.) Thing VisualIBTVisualFeaturePredicate A collection of binary predicates. Each instance <code>PRED</code> of <a href="http://sw.opencyc.org/2008/06/10/concept/en/VisualIBTVisualFeaturePredicate" class="cyc_term">VisualIBTVisualFeaturePredicate</a> can be used in conjunction with the predicate <a href="http://sw.opencyc.org/2008/06/10/concept/en/visualIBTTypeVisualFeatureTypeDefinedByRelnAndType" class="cyc_term">visualIBTTypeVisualFeatureTypeDefinedByRelnAndType</a> and a collection consistent with its <a href="http://sw.opencyc.org/2008/06/10/concept/en/arg2Isa" class="cyc_term">arg2Isa</a> to define an instance of <a href="http://sw.opencyc.org/2008/06/10/concept/en/VisualIBTTypeByVisualFeatureType" class="cyc_term">VisualIBTTypeByVisualFeatureType</a>, the collection of all subcollections of <a href="http://sw.opencyc.org/2008/06/10/concept/en/VisualInformationBearingThing" class="cyc_term">VisualInformationBearingThing</a> whose instances share a common visually discernible feature-type. For example, <a href="http://sw.opencyc.org/2008/06/10/concept/en/visuallyDepicts" class="cyc_term">visuallyDepicts</a> can be used to define <code>IBTTYPE</code> as the most general subcollection of <a href="http://sw.opencyc.org/2008/06/10/concept/en/VisualInformationBearingThing" class="cyc_term">VisualInformationBearingThing</a> that visually depicts some instance of a collection <code>COLL</code>, i.e., <code>(<a href="http://sw.opencyc.org/2008/06/10/concept/en/visualIBTTypeVisualFeatureTypeDefinedByRelnAndType" class="cyc_term">visualIBTTypeVisualFeatureTypeDefinedByRelnAndType</a> IBTTYPE <a href="http://sw.opencyc.org/2008/06/10/concept/en/visuallyDepicts" class="cyc_term">visuallyDepicts</a> COLL)</code>. visual IBT visual feature predicate information and CWs topic InformationAndCWs-Topic visuallyDepicts A binary predicate that relates instances of <a href="http://sw.opencyc.org/2008/06/10/concept/en/VisualInformationBearingThing" class="cyc_term">VisualInformationBearingThing</a> to instances of <a href="http://sw.opencyc.org/2008/06/10/concept/en/Thing" class="cyc_term">Thing</a>. <code>(<a href="http://sw.opencyc.org/2008/06/10/concept/en/visuallyDepicts" class="cyc_term">visuallyDepicts</a> IBT OBJ)</code> means the object <code>OBJ</code> is depicted by the visual information source <code>IBT</code>. For example, Mount Everest is visually depicted by a photograph of it, and (<a href="http://sw.opencyc.org/2008/06/10/concept/en/visuallyDepicts" class="cyc_term">visuallyDepicts</a> <a href="http://sw.opencyc.org/2008/06/10/concept/en/PietaStatue_Michelangelo" class="cyc_term">PietaStatue_Michelangelo</a> <a href="http://sw.opencyc.org/2008/06/10/concept/en/JesusOfNazareth" class="cyc_term">JesusOfNazareth</a>) is true. Visually Depicts visuallyDepicts A binary predicate that relates instances of <a href="http://sw.opencyc.org/2008/06/10/concept/en/VisualInformationBearingThing" class="cyc_term">VisualInformationBearingThing</a> to instances of <a href="http://sw.opencyc.org/2008/06/10/concept/en/Thing" class="cyc_term">Thing</a>. <code>(<a href="http://sw.opencyc.org/2008/06/10/concept/en/visuallyDepicts" class="cyc_term">visuallyDepicts</a> IBT OBJ)</code> means the object <code>OBJ</code> is depicted by the visual information source <code>IBT</code>. For example, Mount Everest is visually depicted by a photograph of it, and (<a href="http://sw.opencyc.org/2008/06/10/concept/en/visuallyDepicts" class="cyc_term">visuallyDepicts</a> <a href="http://sw.opencyc.org/2008/06/10/concept/en/PietaStatue_Michelangelo" class="cyc_term">PietaStatue_Michelangelo</a> <a href="http://sw.opencyc.org/2008/06/10/concept/en/JesusOfNazareth" class="cyc_term">JesusOfNazareth</a>) is true. Visually Depicts VisualInformationBearingThing A specialization of both <a href="http://sw.opencyc.org/2008/06/10/concept/en/Artifact_Generic" class="cyc_term">Artifact_Generic</a> and <a href="http://sw.opencyc.org/2008/06/10/concept/en/InformationBearingThing" class="cyc_term">InformationBearingThing</a>. Each instance of this collection is an artifact from which information is extracted by viewing it (note that a viewer may need to be familiar with an appropriate set of interpretive conventions in order to do this). Examples of <a href="http://sw.opencyc.org/2008/06/10/concept/en/VisualInformationBearingThing" class="cyc_term">VisualInformationBearingThing</a> include handwritten letters, newspapers, sculptures, television sets, and neon signs. (Thus, the information content of <a href="http://sw.opencyc.org/2008/06/10/concept/en/VisualInformationBearingThing" class="cyc_term">VisualInformationBearingThing</a>s may or may not be propositional in nature.) In the proper conditions, instances of <a href="http://sw.opencyc.org/2008/06/10/concept/en/VisualInformationBearingThing" class="cyc_term">VisualInformationBearingThing</a> produce instances of <a href="http://sw.opencyc.org/2008/06/10/concept/en/VisualImage" class="cyc_term">VisualImage</a> (which, unlike instances of <a href="http://sw.opencyc.org/2008/06/10/concept/en/VisualInformationBearingThing" class="cyc_term">VisualInformationBearingThing</a>, are instances of <a href="http://sw.opencyc.org/2008/06/10/concept/en/Event" class="cyc_term">Event</a>). For example, if one shines light on a photograph, a characteristic <a href="http://sw.opencyc.org/2008/06/10/concept/en/VisualImage" class="cyc_term">VisualImage</a> is produced. Likewise, if one electrifies a neon sign, a <a href="http://sw.opencyc.org/2008/06/10/concept/en/VisualImage" class="cyc_term">VisualImage</a> is produced. A notable specialization of this collection is <a href="http://sw.opencyc.org/2008/06/10/concept/en/StillImageSource" class="cyc_term">StillImageSource</a> -- sources of <a href="http://sw.opencyc.org/2008/06/10/concept/en/VisualImage" class="cyc_term">VisualImage</a> that do not move (which thus includes all the examples of <a href="http://sw.opencyc.org/2008/06/10/concept/en/VisualInformationBearingThing" class="cyc_term">VisualInformationBearingThing</a> given above except for the television set). See also the predicate <a href="http://sw.opencyc.org/2008/06/10/concept/en/visuallyDepicts" class="cyc_term">visuallyDepicts</a>. visual information source