]> 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. credit card A specialization of both <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwP1Fb5wpEbGdrcN5Y29ycA" class="cyc_term">Card</a> and <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjEcJwpEbGdrcN5Y29ycA" class="cyc_term">TenderObject</a>. Each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjO6pwpEbGdrcN5Y29ycA" class="cyc_term">CreditCard</a> is a piece of plastic that enables authorized users to spend the card-issuing company's money, drawn as a (usually unsecured) loan through an associated instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjRVZwpEbGdrcN5Y29ycA" class="cyc_term">CreditCardAccount</a> (q.v.) under a pre-arranged credit agreement. The credit card company credits the vendor of the purchased goods or services and bills the card user (see <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjXsZwpEbGdrcN5Y29ycA" class="cyc_term">Bill_PaymentRequest</a>), usually with interest. See also <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwK0F6ZwpEbGdrcN5Y29ycA" class="cyc_term">creditor</a>, <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVibIJwpEbGdrcN5Y29ycA" class="cyc_term">agentOwesAgentAmount</a>. CreditCard credit cards charge card charge cards CreditCardWithNoAnnualFee A subcollection of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjO6pwpEbGdrcN5Y29ycA" class="cyc_term">CreditCard</a>. Each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rruC5PGD9QdmfA4yAoE9N9A" class="cyc_term">CreditCardWithNoAnnualFee</a> is a credit card that does not incur an annual fee on its account holder. credit card with no annual fee secured credit card SecuredCreditCard CreditCard-NonRevolvingAccount A specialization of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjO6pwpEbGdrcN5Y29ycA" class="cyc_term">CreditCard</a> and an instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4r-S-5BGDxQdmAeqmC2REvFw" class="cyc_term">CreditCardTypeByBalanceCarryFeature</a>. Each instance of this collection is a credit card which the user must pay off the balance each month. The most famous example of this sort of credit card is the American Express card (<a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViv9JwpEbGdrcN5Y29ycA" class="cyc_term">AmExCard</a>). Contrast this with <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4r4bJNUDp8QdmQkt7fIzr3tA" class="cyc_term">CreditCard_RevolvingAccount</a>. charge card A subcollection of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjO6pwpEbGdrcN5Y29ycA" class="cyc_term">CreditCard</a>. Each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4r_oKgZGD8QdmBq62ASLj0RQ" class="cyc_term">CreditCardWithAnnualFee</a> is a credit card that incurs an annual fee on its account holder. CreditCardWithAnnualFee credit card with an annual fee gold or platinum card (CollectionUnionFn (TheSet PlatinumCard GoldCard)) major credit card A specialization of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjO6pwpEbGdrcN5Y29ycA" class="cyc_term">CreditCard</a>. Each specialization of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rd9rkVGDtQdmDsfJ32jVWZQ" class="cyc_term">MajorCreditCard</a> is a major brand of credit card. MajorCreditCard StoreChargeCard store card A subcollection of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjO6pwpEbGdrcN5Y29ycA" class="cyc_term">CreditCard</a>. Each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4r2AGFnEJLQdmHX4Ts67dBEw" class="cyc_term">StoreChargeCard</a> is a card issued by a retail organization that allows users to purchase items in their stores and pay for them later. Usually the card agreement is a revolving agreement that lets the users pay a monthly payment on their balance. These cards often have high interest rates. CreditCard-RevolvingAccount revolving-account credit card A specialization of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjO6pwpEbGdrcN5Y29ycA" class="cyc_term">CreditCard</a> and an instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4r-S-5BGDxQdmAeqmC2REvFw" class="cyc_term">CreditCardTypeByBalanceCarryFeature</a>. Each instance of this collection is a credit card that allows one to carry a balance from month to month. Most, if not all, charge some sort of interest on any balance carried over from the previous month. Contrast this with <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4r48TEsDp8QdmYf6fP0zJYrg" class="cyc_term">CreditCard_NonRevolvingAccount</a> which are credit cards in which the balance must be paid off each month. credit card A specialization of both <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwP1Fb5wpEbGdrcN5Y29ycA" class="cyc_term">Card</a> and <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjEcJwpEbGdrcN5Y29ycA" class="cyc_term">TenderObject</a>. Each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjO6pwpEbGdrcN5Y29ycA" class="cyc_term">CreditCard</a> is a piece of plastic that enables authorized users to spend the card-issuing company's money, drawn as a (usually unsecured) loan through an associated instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjRVZwpEbGdrcN5Y29ycA" class="cyc_term">CreditCardAccount</a> (q.v.) under a pre-arranged credit agreement. The credit card company credits the vendor of the purchased goods or services and bills the card user (see <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjXsZwpEbGdrcN5Y29ycA" class="cyc_term">Bill_PaymentRequest</a>), usually with interest. See also <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwK0F6ZwpEbGdrcN5Y29ycA" class="cyc_term">creditor</a>, <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVibIJwpEbGdrcN5Y29ycA" class="cyc_term">agentOwesAgentAmount</a>. CreditCard financial account tender object FinancialAccountTenderObject A specialization of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjEcJwpEbGdrcN5Y29ycA" class="cyc_term">TenderObject</a>. Each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVkC25wpEbGdrcN5Y29ycA" class="cyc_term">FinancialAccountTenderObject</a> is an object (e.g., a check or a credit card) that serves as a means for offering payment in funds drawn on an associated instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjc_pwpEbGdrcN5Y29ycA" class="cyc_term">FinancialAccount</a>. The liquidity of an instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVkC25wpEbGdrcN5Y29ycA" class="cyc_term">FinancialAccountTenderObject</a> depends on the status of the associated financial account (see the predicates <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViNRJwpEbGdrcN5Y29ycA" class="cyc_term">accountBalance</a> and <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rAIER8n8AEdaAAAABAjVgzA" class="cyc_term">accountStatus</a>). credit card A specialization of both <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwP1Fb5wpEbGdrcN5Y29ycA" class="cyc_term">Card</a> and <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjEcJwpEbGdrcN5Y29ycA" class="cyc_term">TenderObject</a>. Each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjO6pwpEbGdrcN5Y29ycA" class="cyc_term">CreditCard</a> is a piece of plastic that enables authorized users to spend the card-issuing company's money, drawn as a (usually unsecured) loan through an associated instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjRVZwpEbGdrcN5Y29ycA" class="cyc_term">CreditCardAccount</a> (q.v.) under a pre-arranged credit agreement. The credit card company credits the vendor of the purchased goods or services and bills the card user (see <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjXsZwpEbGdrcN5Y29ycA" class="cyc_term">Bill_PaymentRequest</a>), usually with interest. See also <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwK0F6ZwpEbGdrcN5Y29ycA" class="cyc_term">creditor</a>, <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVibIJwpEbGdrcN5Y29ycA" class="cyc_term">agentOwesAgentAmount</a>. CreditCard MoneyAndIncome-Financial-Topic A <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rAmoSCGJbQdiSXZJvYiNhkQ" class="cyc_term">CycVocabularyTopic</a> and a <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rtGXkHpNaEdqAAAACs0uFOQ" class="cyc_term">KBDependentCollection</a>. money and income financial topic credit card A specialization of both <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwP1Fb5wpEbGdrcN5Y29ycA" class="cyc_term">Card</a> and <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjEcJwpEbGdrcN5Y29ycA" class="cyc_term">TenderObject</a>. Each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjO6pwpEbGdrcN5Y29ycA" class="cyc_term">CreditCard</a> is a piece of plastic that enables authorized users to spend the card-issuing company's money, drawn as a (usually unsecured) loan through an associated instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjRVZwpEbGdrcN5Y29ycA" class="cyc_term">CreditCardAccount</a> (q.v.) under a pre-arranged credit agreement. The credit card company credits the vendor of the purchased goods or services and bills the card user (see <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjXsZwpEbGdrcN5Y29ycA" class="cyc_term">Bill_PaymentRequest</a>), usually with interest. See also <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwK0F6ZwpEbGdrcN5Y29ycA" class="cyc_term">creditor</a>, <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVibIJwpEbGdrcN5Y29ycA" class="cyc_term">agentOwesAgentAmount</a>. CreditCard type of textual material classified by function An instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViA4pwpEbGdrcN5Y29ycA" class="cyc_term">SiblingDisjointCollectionType</a> and hence a collection of collections. Each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rn3yL9FlGEdaAAAABAxv-7A" class="cyc_term">TextualMaterialTypeByFunction</a> is a specialization of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVkEx5wpEbGdrcN5Y29ycA" class="cyc_term">TextualMaterial</a> whose instances perform a particular and distinct type of function -- for instance <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwP1kFJwpEbGdrcN5Y29ycA" class="cyc_term">LeaseDocument</a> (instances of which are used to establish legally binding terms of lease) and <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwP1a95wpEbGdrcN5Y29ycA" class="cyc_term">ExpenseReport</a> (used by employees to request reimbursement for expense). TextualMaterialTypeByFunction InformationAndCWs-Topic information and CWs topic IDDocument A specialization of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViXG5wpEbGdrcN5Y29ycA" class="cyc_term">OfficialDocument</a>. Each instance of this collection is an officially sanctioned credential for identifying some person or physical object. Important subcollections of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViQPpwpEbGdrcN5Y29ycA" class="cyc_term">IDDocument</a> include <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwQr9WJwpEbGdrcN5Y29ycA" class="cyc_term">Passport</a>, <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViy7JwpEbGdrcN5Y29ycA" class="cyc_term">DriversLicense_LicenseAgreement</a>, <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvwpyeZwpEbGdrcN5Y29ycA" class="cyc_term">PersonalCheck</a>. Other examples include student ID cards, dog tags (worn by military personnel), dog tags (worn by dogs), authentication certificates for an <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjHuJwpEbGdrcN5Y29ycA" class="cyc_term">ArtObject</a> or an antique. identification document credit card A specialization of both <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwP1Fb5wpEbGdrcN5Y29ycA" class="cyc_term">Card</a> and <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjEcJwpEbGdrcN5Y29ycA" class="cyc_term">TenderObject</a>. Each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjO6pwpEbGdrcN5Y29ycA" class="cyc_term">CreditCard</a> is a piece of plastic that enables authorized users to spend the card-issuing company's money, drawn as a (usually unsecured) loan through an associated instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjRVZwpEbGdrcN5Y29ycA" class="cyc_term">CreditCardAccount</a> (q.v.) under a pre-arranged credit agreement. The credit card company credits the vendor of the purchased goods or services and bills the card user (see <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjXsZwpEbGdrcN5Y29ycA" class="cyc_term">Bill_PaymentRequest</a>), usually with interest. See also <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwK0F6ZwpEbGdrcN5Y29ycA" class="cyc_term">creditor</a>, <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVibIJwpEbGdrcN5Y29ycA" class="cyc_term">agentOwesAgentAmount</a>. CreditCard A collection of collections. Each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjY5JwpEbGdrcN5Y29ycA" class="cyc_term">MoneyTenderType</a> is a collection of objects of a type commonly offered in payment for goods, services, fees, wage-work, and so on. Notable instances of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjY5JwpEbGdrcN5Y29ycA" class="cyc_term">MoneyTenderType</a> include <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjMQpwpEbGdrcN5Y29ycA" class="cyc_term">Currency</a>, <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjO6pwpEbGdrcN5Y29ycA" class="cyc_term">CreditCard</a>, and <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjOqJwpEbGdrcN5Y29ycA" class="cyc_term">Check_TenderObject</a>. type of money tender MoneyTenderType 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 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 and a specialization of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVirnZwpEbGdrcN5Y29ycA" class="cyc_term">ObjectType</a> (q.v.). Each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rpPHhAOB1EdqAAAACs6hRXg" class="cyc_term">SpatiallyDisjointObjectType</a> is a collection C of spatial things (see <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjpUZwpEbGdrcN5Y29ycA" class="cyc_term">SpatialThing</a>), where each of the spatial things in C is spatially disjoint with the other spatial things in C. <p/> For example, the collection <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjaoJwpEbGdrcN5Y29ycA" class="cyc_term">Dog</a> is an instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rpPHhAOB1EdqAAAACs6hRXg" class="cyc_term">SpatiallyDisjointObjectType</a>, since dogs do not spatially overlap. Even pregnant dogs do not spatially overlap the pups they bear; rather, pregnant dogs contain their unborn pups. Other instances of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rpPHhAOB1EdqAAAACs6hRXg" class="cyc_term">SpatiallyDisjointObjectType</a> include <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwVGrQ5wpEbGdrcN5Y29ycA" class="cyc_term">LatitudeLine</a>, <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvW4n1pwpEbGdrcN5Y29ycA" class="cyc_term">CompactDisc_Audio</a>, and <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwR7UWZwpEbGdrcN5Y29ycA" class="cyc_term">PlanetaryBody</a>. An important specialization of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rpPHhAOB1EdqAAAACs6hRXg" class="cyc_term">SpatiallyDisjointObjectType</a> is <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjlE5wpEbGdrcN5Y29ycA" class="cyc_term">SpatiallyDisjointRegionType</a> (a collection of specializations of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViACZwpEbGdrcN5Y29ycA" class="cyc_term">GeographicalRegion</a>, such as <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjnZ5wpEbGdrcN5Y29ycA" class="cyc_term">City</a> and <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwT-n15wpEbGdrcN5Y29ycA" class="cyc_term">TrueContinent</a>). spatially disjoint object type SpatiallyDisjointObjectType An instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvWXYgJwpEbGdrcN5Y29ycA" class="cyc_term">ExistingObjectType</a>, and a specialization of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjgDpwpEbGdrcN5Y29ycA" class="cyc_term">HardcopyInformationBearingObject</a>. Each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwP1Fb5wpEbGdrcN5Y29ycA" class="cyc_term">Card</a> is a small, sturdy sheet of stuff -- usually cardstock paper, although it could be plastic or thin metal -- bearing some kind of information. Specializations of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwP1Fb5wpEbGdrcN5Y29ycA" class="cyc_term">Card</a> include <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjO6pwpEbGdrcN5Y29ycA" class="cyc_term">CreditCard</a>, <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjOdZwpEbGdrcN5Y29ycA" class="cyc_term">BusinessCard</a>, and <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvyMSx5wpEbGdrcN5Y29ycA" class="cyc_term">PostCard</a>. Note that electronic objects that perform the same functions as some instances of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwP1Fb5wpEbGdrcN5Y29ycA" class="cyc_term">Card</a> (for example, electronic greeting cards) are not instances of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwP1Fb5wpEbGdrcN5Y29ycA" class="cyc_term">Card</a>. card Card