]> 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. Dictionary The collection of all dictionaries: works that contain information about words and their definitions. dictionary http://en.wikipedia.org/wiki/Dictionary lexicons lexicon dictionaries medical dictionary MedicalDictionary a collection of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjKWpwpEbGdrcN5Y29ycA" class="cyc_term">Dictionary</a>s. Each element of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwF5PIZwpEbGdrcN5Y29ycA" class="cyc_term">MedicalDictionary</a> provides lexical information about technical medical terms. a collection of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjKWpwpEbGdrcN5Y29ycA" class="cyc_term">Dictionary</a>s. Each element of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rv7m50pwpEbGdrcN5Y29ycA" class="cyc_term">RhymingDictionary</a> provides information about words that rhyme with each other. For each word listed in a <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rv7m50pwpEbGdrcN5Y29ycA" class="cyc_term">RhymingDictionary</a>, the <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rv7m50pwpEbGdrcN5Y29ycA" class="cyc_term">RhymingDictionary</a> lists other words that rhyme with it. rhyming dictionary RhymingDictionary DreamDictionary dream dictionary a collection of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjKWpwpEbGdrcN5Y29ycA" class="cyc_term">Dictionary</a>s. Each element of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwHZX5ZwpEbGdrcN5Y29ycA" class="cyc_term">DreamDictionary</a> provides symbolic interpretations of words used to report <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjNaJwpEbGdrcN5Y29ycA" class="cyc_term">Dream</a>s. a collection of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjKWpwpEbGdrcN5Y29ycA" class="cyc_term">Dictionary</a>s. Each element of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwPL95pwpEbGdrcN5Y29ycA" class="cyc_term">ComputerDictionary</a> provides lexical information about words commonly used in the field of computers and computing. ComputerDictionary computer dictionary The collection of all instances of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjKWpwpEbGdrcN5Y29ycA" class="cyc_term">Dictionary</a> in the format described by <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rv8Cq95wpEbGdrcN5Y29ycA" class="cyc_term">NoahWebster</a>. WebstersDictionary Webster's Dictionary a collection of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjKWpwpEbGdrcN5Y29ycA" class="cyc_term">Dictionary</a>s. Each element of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvythW5wpEbGdrcN5Y29ycA" class="cyc_term">SlangDictionary</a> provides lexical information about words that are part of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rv8xJ6ZwpEbGdrcN5Y29ycA" class="cyc_term">SlangSpeech</a>. slang dictionary SlangDictionary This is the collection of programs that effectively put a dictionary on one's computer. DictionaryProgram dictionary program Hawley's Condensed Chemical Dictionary Lewis, Richard J. _Hawley's Condensed Chemical Dictionary_ Van Nostrand Reinhold Company: New York, 1993. Twelfth Edition. The collection of all instances of Hawley's Condensed Chemical Dictionary. CondensedChemicalDictionary-Reference DODDictionaryOfMilitaryTerms The Department of Defense's Dictionary of Military Terms. the DOD Dictionary of Military Terms The collection of all copies of the 2nd edition of the Oxford English Dictionary. Oxford English Dictionary OxfordEnglishDictionary indexed information source The collection of all structured information sources in which the information contained therein is indexed by some set of index terms (the terms could be names, phrases, <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvWEA25wpEbGdrcN5Y29ycA" class="cyc_term">CharacterString</a>s, <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjBK5wpEbGdrcN5Y29ycA" class="cyc_term">IDNumber</a>s or codes). For every index term, there is one specific part of the <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwD_r7ZwpEbGdrcN5Y29ycA" class="cyc_term">IndexedInformationSource</a> associated with that term. Each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwD_r7ZwpEbGdrcN5Y29ycA" class="cyc_term">IndexedInformationSource</a> has some format or organizing structure of specified parts or 'chunks' imposed on the information. (Although its indexed parts might be be ordered in a certain sequence, in theory it could be indexed without there being any particular sequential ordering of the parts.) An instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwD_r7ZwpEbGdrcN5Y29ycA" class="cyc_term">IndexedInformationSource</a> is the abstract informational content of the source, not any particular physical object in which the information is stored. Examples include a <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjKWpwpEbGdrcN5Y29ycA" class="cyc_term">Dictionary</a>, <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjKZ5wpEbGdrcN5Y29ycA" class="cyc_term">Thesaurus</a>, <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rv-RqtpwpEbGdrcN5Y29ycA" class="cyc_term">Database_AbstractContent</a>, or a <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjSEZwpEbGdrcN5Y29ycA" class="cyc_term">KnowledgeBase</a>. Some examples that do not qualify are <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjHfpwpEbGdrcN5Y29ycA" class="cyc_term">Painting_ArtForm</a>, or a <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvWEA25wpEbGdrcN5Y29ycA" class="cyc_term">CharacterString</a> without any structuring information about it or that has no structure beyond being a string of characters. Thus this is not referring to unstructured text, even if it has an 'Index'. The fact that a book has an index does not make it an <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwD_r7ZwpEbGdrcN5Y29ycA" class="cyc_term">IndexedInformationSource</a>. IndexedInformationSource Dictionary The collection of all dictionaries: works that contain information about words and their definitions. dictionary reference work ReferenceWork A specialization of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwSZiGZwpEbGdrcN5Y29ycA" class="cyc_term">TextualPCW</a>. Each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjKoJwpEbGdrcN5Y29ycA" class="cyc_term">ReferenceWork</a> is a conceptual work providing a more or less non-speculative, "fact-oriented", comprehensive description of some knowledge domain. ObjectType The collection of all collections that are "object-like" in at least one respect. A collection <code>COL</code> is object-like just in case there is some sense of 'part' according to which any (or nearly any) given proper part of an instance of <code>COL</code> is not itself an instance of <code>COL</code>; when this happens <code>COL</code> is said to be object-like with respect to that sense of 'part'. More precisely, for a collection <code>COL</code> to be an instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVirnZwpEbGdrcN5Y29ycA" class="cyc_term">ObjectType</a> it is sufficient that there be some specialization <code>PARTPRED</code> of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwgfukKs8QdePzLB9nLNpTw" class="cyc_term">properParts</a> such that, for any <code>OBJ1</code> and <code>OBJ2</code>, if <code>(<a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViBBJwpEbGdrcN5Y29ycA" class="cyc_term">isa</a> OBJ1 COL)</code> and <code>(PARTPRED OBJ1 OBJ2)</code> both hold, then <code>(<a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViBBJwpEbGdrcN5Y29ycA" class="cyc_term">isa</a> OBJ2 COL)</code> does not hold. (Also sufficient for <code>COL</code>'s being an object-type is that there be some specialization <code>INVPARTPRED</code> of the inverse of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwgfukKs8QdePzLB9nLNpTw" class="cyc_term">properParts</a> (see <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvWHsNJwpEbGdrcN5Y29ycA" class="cyc_term">genlInverse</a>) such that <code>(INVPARTPRED OBJ2 OBJ1)</code>, with everything else remaining the same as above.) Note that neither of the above sufficient conditions for <code>COL</code>'s being an object-type is strictly necessary: some exceptions are allowed. Thus as long as either one of the above conditionals holds in nearly all cases, <code>COL</code> should be considered an instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVirnZwpEbGdrcN5Y29ycA" class="cyc_term">ObjectType</a>. Here are two examples. Consider <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViVwZwpEbGdrcN5Y29ycA" class="cyc_term">Automobile</a>. Take an instance of that, say my car. Now consider one of the proper <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVj5FpwpEbGdrcN5Y29ycA" class="cyc_term">physicalParts</a> of my car, say the steering wheel. The steering wheel is not an instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViVwZwpEbGdrcN5Y29ycA" class="cyc_term">Automobile</a>. And the same would be true for any proper physical part of any car. So <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViVwZwpEbGdrcN5Y29ycA" class="cyc_term">Automobile</a> is an <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVirnZwpEbGdrcN5Y29ycA" class="cyc_term">ObjectType</a>. Consider <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjyV5wpEbGdrcN5Y29ycA" class="cyc_term">CalendarYear</a>. No proper <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvWn4OZwpEbGdrcN5Y29ycA" class="cyc_term">timeSlices</a> of a year is itself a year. So <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjyV5wpEbGdrcN5Y29ycA" class="cyc_term">CalendarYear</a> is an <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVirnZwpEbGdrcN5Y29ycA" class="cyc_term">ObjectType</a>. See <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVir35wpEbGdrcN5Y29ycA" class="cyc_term">StuffType</a> for the contrasting (though not disjoint) notion of being stuff-like. type of object An instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4ret7qgOKgEdmAAAACs6hfSg" class="cyc_term">ConceptTypeByDomain</a>. Generally speaking, instances of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4r46fYpnaNEduAAAACs6hbjw" class="cyc_term">Analyst_PertinentConcept</a> are concepts and relations such as are used by intelligence analysts reasoning about threat situations. Specifically, all core concepts in this domain (see <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rgycE6OKgEdmAAAACs6hfSg" class="cyc_term">coreConceptOfDomain</a>) are either 1) <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViBApwpEbGdrcN5Y29ycA" class="cyc_term">BinaryPredicate</a>s referenced in AKB Fact Entry Templates, 2) <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViBAZwpEbGdrcN5Y29ycA" class="cyc_term">TernaryPredicate</a>s referenced in AKB Fact Entry Templates, 3:)<a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rHIBS0h_TEdaAAABQ2rksLw" class="cyc_term">FirstOrderCollection</a>s that are asserted to be <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvuItPZwpEbGdrcN5Y29ycA" class="cyc_term">argIsa</a>s of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViBApwpEbGdrcN5Y29ycA" class="cyc_term">BinaryPredicate</a>s referenced in AKB Fact Entry Templates, 4) <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rHIBS0h_TEdaAAABQ2rksLw" class="cyc_term">FirstOrderCollection</a>s that are asserted to be <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvuItPZwpEbGdrcN5Y29ycA" class="cyc_term">argIsa</a>s of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViBAZwpEbGdrcN5Y29ycA" class="cyc_term">TernaryPredicate</a>s referenced in AKB Fact Entry Templates, 5) <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rHIBS0h_TEdaAAABQ2rksLw" class="cyc_term">FirstOrderCollection</a>s that are asserted to be <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvyTLHJwpEbGdrcN5Y29ycA" class="cyc_term">argGenl</a>s of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViBAZwpEbGdrcN5Y29ycA" class="cyc_term">TernaryPredicate</a>s referenced in AKB Fact Entry Templates, or 6) concepts or relations that are instances of instances of #$TKBInterfaceCollection. Analyst-PertinentConcept the intelligence analyst reasoning domain 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 Dictionary The collection of all dictionaries: works that contain information about words and their definitions. dictionary Dictionary The collection of all dictionaries: works that contain information about words and their definitions. dictionary Dictionary The collection of all dictionaries: works that contain information about words and their definitions. dictionary Dictionary The collection of all dictionaries: works that contain information about words and their definitions. dictionary