]> 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. Verification verification A specialization of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVieP5wpEbGdrcN5Y29ycA" class="cyc_term">PurposefulAction</a>. Each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvrcOLpwpEbGdrcN5Y29ycA" class="cyc_term">Verification</a> is an event in which some intelligent agent either confirms or disconfirms the truth of some proposition. http://en.wikipedia.org/wiki/Formal_verification have verified has verified verified verifying verifications verify will have verified will verify verifies had verified <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvlkpTZwpEbGdrcN5Y29ycA" class="cyc_term">AuthenticationEvent</a> is the collection of events in which some sort of authentication or certification takes place. For example, this includes certifying a person's identity, the authenticity of a document, or the security of a computer login. authenticating AuthenticationEvent verification of truth VerificationOfTruth A sub-collection of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvrcOLpwpEbGdrcN5Y29ycA" class="cyc_term">Verification</a>. This is the collection of events in which some agent gathers evidence in an attempt to establish the truth of some entity with propositional content. credit check VerificationOfCredit verification of employment VerificationOfEmployment IntelligenceAnalysisProcess A <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVitN5wpEbGdrcN5Y29ycA" class="cyc_term">TemporalStuffType</a> and specialization of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rUbnhurESEdmAAACQJw5drg" class="cyc_term">IntelligenceActivity</a>. Each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rv2wRN5wpEbGdrcN5Y29ycA" class="cyc_term">IntelligenceAnalysisProcess</a> is an event in which an <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rqJUa6LrMEdaAAAACs6Mw3A" class="cyc_term">IntelligenceAnalyst</a> gathers and analyzes information for intelligence purposes. intelligence process <code>(<a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rZOAVeiYGEdqAAAACs2IMmw" class="cyc_term">broaderTerm</a> TERM1 TERM2)</code> means that <code>TERM2</code> is broader than <code>TERM1</code>, in an extremely general sense of "broader". For example, <code>TERM2</code> is, in the relevant sense, broader than <code>TERM1</code> if any of the following hold: <code>TERM2</code> is a collection that subsumes <code>TERM1</code>; <code>TERM2</code> is a collection that has <code>TERM1</code> as an instance; <code>TERM2</code> is a collection, instances of which have instances of the collection <code>TERM1</code> as parts; <code>TERM2</code> has <code>TERM1</code> as a part; This list of reasons for why <code>(<a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rZOAVeiYGEdqAAAACs2IMmw" class="cyc_term">broaderTerm</a> TERM1 TERM2)</code> could hold is not exhaustive, but it should give a good indication of how general the <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rZOAVeiYGEdqAAAACs2IMmw" class="cyc_term">broaderTerm</a> relation actually is. BT broaderTerm Verification verification A specialization of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVieP5wpEbGdrcN5Y29ycA" class="cyc_term">PurposefulAction</a>. Each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvrcOLpwpEbGdrcN5Y29ycA" class="cyc_term">Verification</a> is an event in which some intelligent agent either confirms or disconfirms the truth of some proposition. HumanActivity human activity A specialization of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViNqpwpEbGdrcN5Y29ycA" class="cyc_term">AnimalActivity</a>. Each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViN65wpEbGdrcN5Y29ycA" class="cyc_term">HumanActivity</a> is a spatially-localized action each of whose "doers" (see <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwP1HmJwpEbGdrcN5Y29ycA" class="cyc_term">doneBy</a>) is either a <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rIcwFloGUQdeMlsOWYLFB2w" class="cyc_term">HomoSapiens</a> or a group of humans (i.e. a <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjmoJwpEbGdrcN5Y29ycA" class="cyc_term">Group</a> all of whose members are <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rIcwFloGUQdeMlsOWYLFB2w" class="cyc_term">HomoSapiens</a> or groups of humans). Verification verification A specialization of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVieP5wpEbGdrcN5Y29ycA" class="cyc_term">PurposefulAction</a>. Each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvrcOLpwpEbGdrcN5Y29ycA" class="cyc_term">Verification</a> is an event in which some intelligent agent either confirms or disconfirms the truth of some proposition. A collection of events in which an agent evaluates whether or not some condition obtains. For example, checking whether it is raining outside, checking whether the door is locked. CheckingWhetherConditionObtains checking as to whether a certain condition obtains 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 A specialization of both <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVioQZwpEbGdrcN5Y29ycA" class="cyc_term">Action</a> and <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVifB5wpEbGdrcN5Y29ycA" class="cyc_term">InformationTransferEvent</a>. In each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVj7CpwpEbGdrcN5Y29ycA" class="cyc_term">InformationGathering</a>, some instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVinb5wpEbGdrcN5Y29ycA" class="cyc_term">IntelligentAgent</a> gathers information about something. InformationGathering gathering information Verification verification A specialization of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVieP5wpEbGdrcN5Y29ycA" class="cyc_term">PurposefulAction</a>. Each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvrcOLpwpEbGdrcN5Y29ycA" class="cyc_term">Verification</a> is an event in which some intelligent agent either confirms or disconfirms the truth of some proposition. 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