]> 2009/04/07 OpenCyc Knowledge Base Copyright© 2001-2009 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. Mappings between OpenCyc terms and Wikipedia article names provided by Olena Medelyan and Catherine Legg, University of Waikato, NZ under a Creative Commons Attribution 3.0 license. 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. CreditCard credit card A specialization of both <a href="http://sw.opencyc.org/concept/Mx4rwP1Fb5wpEbGdrcN5Y29ycA" class="cyc_term">Card</a> and <a href="http://sw.opencyc.org/concept/Mx4rvVjEcJwpEbGdrcN5Y29ycA" class="cyc_term">TenderObject</a>. Each instance of <a href="http://sw.opencyc.org/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/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/concept/Mx4rvVjXsZwpEbGdrcN5Y29ycA" class="cyc_term">Bill_PaymentRequest</a>), usually with interest. See also <a href="http://sw.opencyc.org/concept/Mx4rwK0F6ZwpEbGdrcN5Y29ycA" class="cyc_term">creditor</a>, <a href="http://sw.opencyc.org/concept/Mx4rvVibIJwpEbGdrcN5Y29ycA" class="cyc_term">agentOwesAgentAmount</a>. charge cards credit cards charge card

Credit card

http://en.wikipedia.org/wiki/Credit_card http://www.w3.org/2006/03/wn/wn20/instances/synset-credit_card-noun-1 gold or platinum card (CollectionUnionFn (TheSet PlatinumCard GoldCard)) store card StoreChargeCard A subcollection of <a href="http://sw.opencyc.org/concept/Mx4rvVjO6pwpEbGdrcN5Y29ycA" class="cyc_term">CreditCard</a>. Each instance of <a href="http://sw.opencyc.org/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. (SubcollectionOfWithRelationFromTypeFn CreditCard itemsStolen Stealing) stolen credit card CreditCardWithAnnualFee A subcollection of <a href="http://sw.opencyc.org/concept/Mx4rvVjO6pwpEbGdrcN5Y29ycA" class="cyc_term">CreditCard</a>. Each instance of <a href="http://sw.opencyc.org/concept/Mx4r_oKgZGD8QdmBq62ASLj0RQ" class="cyc_term">CreditCardWithAnnualFee</a> is a credit card that incurs an annual fee on its account holder. credit card with an annual fee A specialization of <a href="http://sw.opencyc.org/concept/Mx4rvVjO6pwpEbGdrcN5Y29ycA" class="cyc_term">CreditCard</a> and an instance of <a href="http://sw.opencyc.org/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/concept/Mx4rvViv9JwpEbGdrcN5Y29ycA" class="cyc_term">AmExCard</a>). Contrast this with <a href="http://sw.opencyc.org/concept/Mx4r4bJNUDp8QdmQkt7fIzr3tA" class="cyc_term">CreditCard_RevolvingAccount</a>. charge card CreditCard-NonRevolvingAccount A specialization of <a href="http://sw.opencyc.org/concept/Mx4rvVjO6pwpEbGdrcN5Y29ycA" class="cyc_term">CreditCard</a> and an instance of <a href="http://sw.opencyc.org/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/concept/Mx4r48TEsDp8QdmYf6fP0zJYrg" class="cyc_term">CreditCard_NonRevolvingAccount</a> which are credit cards in which the balance must be paid off each month. revolving-account credit card CreditCard-RevolvingAccount MajorCreditCard major credit card A specialization of <a href="http://sw.opencyc.org/concept/Mx4rvVjO6pwpEbGdrcN5Y29ycA" class="cyc_term">CreditCard</a>. Each specialization of <a href="http://sw.opencyc.org/concept/Mx4rd9rkVGDtQdmDsfJ32jVWZQ" class="cyc_term">MajorCreditCard</a> is a major brand of credit card. GoldCard gold card A subcollection of <a href="http://sw.opencyc.org/concept/Mx4rvVjO6pwpEbGdrcN5Y29ycA" class="cyc_term">CreditCard</a>. Each instance of <a href="http://sw.opencyc.org/concept/Mx4r9dOfZkx8QdmAF6XHm6AoHQ" class="cyc_term">GoldCard</a> is a credit card. According to the Motley Fool UK website "Usually they require a salary over a certain limit and they often entail an annual fee.". secured credit card SecuredCreditCard credit card with no annual fee A subcollection of <a href="http://sw.opencyc.org/concept/Mx4rvVjO6pwpEbGdrcN5Y29ycA" class="cyc_term">CreditCard</a>. Each instance of <a href="http://sw.opencyc.org/concept/Mx4rruC5PGD9QdmfA4yAoE9N9A" class="cyc_term">CreditCardWithNoAnnualFee</a> is a credit card that does not incur an annual fee on its account holder. CreditCardWithNoAnnualFee A subcollection of <a href="http://sw.opencyc.org/concept/Mx4rvVjO6pwpEbGdrcN5Y29ycA" class="cyc_term">CreditCard</a>. Each instance of <a href="http://sw.opencyc.org/concept/Mx4rQ1zrAkx9QdmLovu7s_H1hA" class="cyc_term">PlatinumCard</a> is a credit card. According to the Motley Fool UK website "Usually they require a salary over a certain limit and they often entail an annual fee.". platinum card PlatinumCard Facets-Generic facets-Generic A <a href="http://sw.opencyc.org/concept/Mx4rvVkGXJwpEbGdrcN5Y29ycA" class="cyc_term">TaxonomicSlotForCollections</a> and a specialization (via <a href="http://sw.opencyc.org/concept/Mx4rvWHsNJwpEbGdrcN5Y29ycA" class="cyc_term">genlInverse</a>) of <a href="http://sw.opencyc.org/concept/Mx4rvhOImJwpEbGdrcN5Y29ycA" class="cyc_term">typeGenls</a> (q.v.). This is the most general of the "faceting" predicates. <code>(<a href="http://sw.opencyc.org/concept/Mx4rvjldVJwpEbGdrcN5Y29ycA" class="cyc_term">facets_Generic</a> COL COLTYPE)</code> means that <code>COLTYPE</code> corresponds to one way of dividing <code>COL</code> into subcollections. The instances of <code>COLTYPE</code> are all "the same sort" of subcollection of <code>COL</code>. For example, <a href="http://sw.opencyc.org/concept/Mx4rhz6DbnSwEdaAAACgyZzFrg" class="cyc_term">MovieTypeByGenre</a> facets <a href="http://sw.opencyc.org/concept/Mx4rv973YpwpEbGdrcN5Y29ycA" class="cyc_term">Movie_CW</a> according to movie-genre; the former's instances thus include such collections as <a href="http://sw.opencyc.org/concept/Mx4rv0pzgpwpEbGdrcN5Y29ycA" class="cyc_term">WesternMovie</a> and <a href="http://sw.opencyc.org/concept/Mx4rwFmUH5wpEbGdrcN5Y29ycA" class="cyc_term">HorrorMovie</a>. And <a href="http://sw.opencyc.org/concept/Mx4rYZUSFovbQdeY8PrkLdTqKA" class="cyc_term">FunctionTypeByRangeType</a> facets <a href="http://sw.opencyc.org/concept/Mx4rvVxAsJwpEbGdrcN5Y29ycA" class="cyc_term">Function_Denotational</a> according to the type of thing a given function returns as values; the former's instances thus include such collections as <a href="http://sw.opencyc.org/concept/Mx4rvVj62ZwpEbGdrcN5Y29ycA" class="cyc_term">IndividualDenotingFunction</a> and <a href="http://sw.opencyc.org/concept/Mx4rvViAapwpEbGdrcN5Y29ycA" class="cyc_term">CollectionDenotingFunction</a>. Note that generic faceting does not entail that the instances of <code>COLTYPE</code> are mutually disjoint. Thus, a given film might be an instance of both <a href="http://sw.opencyc.org/concept/Mx4rwCRfN5wpEbGdrcN5Y29ycA" class="cyc_term">ChildrensMovie</a> and <a href="http://sw.opencyc.org/concept/Mx4rv2VcW5wpEbGdrcN5Y29ycA" class="cyc_term">ActionMovie</a>. Note also that generic faceting does not entail that every instance of <code>COL</code> falls under some instance of <code>COLTYPE</code>. Thus, consider the universal identity function <a href="http://sw.opencyc.org/concept/Mx4rwSspMZwpEbGdrcN5Y29ycA" class="cyc_term">IdentityFn</a>. Its range of values is so broad that it does not fall under any instance of <a href="http://sw.opencyc.org/concept/Mx4rYZUSFovbQdeY8PrkLdTqKA" class="cyc_term">FunctionTypeByRangeType</a>. Specializations of <a href="http://sw.opencyc.org/concept/Mx4rvjldVJwpEbGdrcN5Y29ycA" class="cyc_term">facets_Generic</a> include <a href="http://sw.opencyc.org/concept/Mx4rv86JWpwpEbGdrcN5Y29ycA" class="cyc_term">facets_Covering</a>, <a href="http://sw.opencyc.org/concept/Mx4rvcZ1FpwpEbGdrcN5Y29ycA" class="cyc_term">facets_Strict</a>, and <a href="http://sw.opencyc.org/concept/Mx4rwA9k15wpEbGdrcN5Y29ycA" class="cyc_term">facets_Partition</a>, as well as <a href="http://sw.opencyc.org/concept/Mx4rgQmwRl2xEdif1wACs2IMlQ" class="cyc_term">facets_NearCovering</a>, <a href="http://sw.opencyc.org/concept/Mx4rRA9CIljCEdiRSAACs2IMlQ" class="cyc_term">facets_NearStrict</a>, and <a href="http://sw.opencyc.org/concept/Mx4rRA9CJFjCEdiRSAACs2IMlQ" class="cyc_term">facets_NearPartition</a>. Whenever possible, one of these more specific predicates should be used. CreditCard credit card A specialization of both <a href="http://sw.opencyc.org/concept/Mx4rwP1Fb5wpEbGdrcN5Y29ycA" class="cyc_term">Card</a> and <a href="http://sw.opencyc.org/concept/Mx4rvVjEcJwpEbGdrcN5Y29ycA" class="cyc_term">TenderObject</a>. Each instance of <a href="http://sw.opencyc.org/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/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/concept/Mx4rvVjXsZwpEbGdrcN5Y29ycA" class="cyc_term">Bill_PaymentRequest</a>), usually with interest. See also <a href="http://sw.opencyc.org/concept/Mx4rwK0F6ZwpEbGdrcN5Y29ycA" class="cyc_term">creditor</a>, <a href="http://sw.opencyc.org/concept/Mx4rvVibIJwpEbGdrcN5Y29ycA" class="cyc_term">agentOwesAgentAmount</a>. CreditCard credit card A specialization of both <a href="http://sw.opencyc.org/concept/Mx4rwP1Fb5wpEbGdrcN5Y29ycA" class="cyc_term">Card</a> and <a href="http://sw.opencyc.org/concept/Mx4rvVjEcJwpEbGdrcN5Y29ycA" class="cyc_term">TenderObject</a>. Each instance of <a href="http://sw.opencyc.org/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/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/concept/Mx4rvVjXsZwpEbGdrcN5Y29ycA" class="cyc_term">Bill_PaymentRequest</a>), usually with interest. See also <a href="http://sw.opencyc.org/concept/Mx4rwK0F6ZwpEbGdrcN5Y29ycA" class="cyc_term">creditor</a>, <a href="http://sw.opencyc.org/concept/Mx4rvVibIJwpEbGdrcN5Y29ycA" class="cyc_term">agentOwesAgentAmount</a>. The collection of all instances of <a href="http://sw.opencyc.org/concept/Mx4r_4bScKNtQdiVw7XtX-HN0Q" class="cyc_term">ClarifyingCollectionType</a> that are used by the #$KRAKEN application to resolve natural language ambiguities. KE clarifying collection type KEClarifyingCollectionType either a revolving-account credit card or a charge card (ThePartition CreditCard-RevolvingAccount CreditCard-NonRevolvingAccount) Wikipedia Article URL (<a href="http://sw.opencyc.org/concept/Mx4rNv0nbm4TTjOp7yhmnzOyqg" class="cyc_term">wikipediaArticleURL</a> THING URL) means that in <a href="http://sw.opencyc.org/concept/Mx4rtqXA6OC8QdiWC72DuLJdUw" class="cyc_term">Wikipedia_WebSite</a> THING is described by an article located at URL wikipediaArticleURL seeAlsoURI <code>(<a href="http://sw.opencyc.org/concept/Mx4riWVFR6HJSpaEaHrcWS3MSA" class="cyc_term">seeAlsoURI</a> THING URI)</code> means that a description of the resource identified by URI is likely to contain information pertinent to THING. This predicate is roughly equivalent to rdfs:seeAlso. See Also URI Partitioned Into partitionedInto (<a href="http://sw.opencyc.org/concept/Mx4rvVj1MJwpEbGdrcN5Y29ycA" class="cyc_term">partitionedInto</a> SETORCOL PART) means that the mathematical set or collection PART is a partition of the mathematical set or collection SETORCOL; that is, the elements of PART are themselves mathematical sets or collections, and every element of SETORCOL is an element of exactly one element of PART, and every element of PART is a subset of SETORCOL. In other words, PART is a set or collection of pairwise disjoint sets or collections whose union is co-extensional with SETORCOL. Typically, the <a href="http://sw.opencyc.org/concept/Mx4rk8dxOVcGEdaLwgACs0uFOQ" class="cyc_term">DisjointSetOrCollectionType</a> that plays the role of PART in an assertion about partitioning will be a set specified by enumerating its elements, using the function <a href="http://sw.opencyc.org/concept/Mx4rvcUeB5wpEbGdrcN5Y29ycA" class="cyc_term">ThePartition</a>. free sheet FreeSheet A specialization of <a href="http://sw.opencyc.org/concept/Mx4rvVkGbpwpEbGdrcN5Y29ycA" class="cyc_term">SheetOfSomeStuff</a>. Each instance of <a href="http://sw.opencyc.org/concept/Mx4rvipL4pwpEbGdrcN5Y29ycA" class="cyc_term">FreeSheet</a> is a sheet of tangible stuff that has two sides open to the environment. That is, over most of each of its surfaces, it is not related by <a href="http://sw.opencyc.org/concept/Mx4rwKiXS5wpEbGdrcN5Y29ycA" class="cyc_term">sheetSurfaceConnected</a> (q.v.) with something else. Specializations include <a href="http://sw.opencyc.org/concept/Mx4rvVjpnJwpEbGdrcN5Y29ycA" class="cyc_term">SheetOfPaper</a>, <a href="http://sw.opencyc.org/concept/Mx4rvVia1JwpEbGdrcN5Y29ycA" class="cyc_term">Towel</a>, <a href="http://sw.opencyc.org/concept/Mx4rvgEVapwpEbGdrcN5Y29ycA" class="cyc_term">Fence</a>, and <a href="http://sw.opencyc.org/concept/Mx4rvVjO6pwpEbGdrcN5Y29ycA" class="cyc_term">CreditCard</a>. CreditCard credit card A specialization of both <a href="http://sw.opencyc.org/concept/Mx4rwP1Fb5wpEbGdrcN5Y29ycA" class="cyc_term">Card</a> and <a href="http://sw.opencyc.org/concept/Mx4rvVjEcJwpEbGdrcN5Y29ycA" class="cyc_term">TenderObject</a>. Each instance of <a href="http://sw.opencyc.org/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/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/concept/Mx4rvVjXsZwpEbGdrcN5Y29ycA" class="cyc_term">Bill_PaymentRequest</a>), usually with interest. See also <a href="http://sw.opencyc.org/concept/Mx4rwK0F6ZwpEbGdrcN5Y29ycA" class="cyc_term">creditor</a>, <a href="http://sw.opencyc.org/concept/Mx4rvVibIJwpEbGdrcN5Y29ycA" class="cyc_term">agentOwesAgentAmount</a>. InformationAndCWs-Topic information and CWs topic FinancialAccountTenderObject A specialization of <a href="http://sw.opencyc.org/concept/Mx4rvVjEcJwpEbGdrcN5Y29ycA" class="cyc_term">TenderObject</a>. Each instance of <a href="http://sw.opencyc.org/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/concept/Mx4rvVjc_pwpEbGdrcN5Y29ycA" class="cyc_term">FinancialAccount</a>. The liquidity of an instance of <a href="http://sw.opencyc.org/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/concept/Mx4rvViNRJwpEbGdrcN5Y29ycA" class="cyc_term">accountBalance</a> and <a href="http://sw.opencyc.org/concept/Mx4rAIER8n8AEdaAAAABAjVgzA" class="cyc_term">accountStatus</a>). financial account tender object SpatiallyDisjointObjectType type of object whose instances do not physically overlap A collection of collections and a specialization of <a href="http://sw.opencyc.org/concept/Mx4rvVirnZwpEbGdrcN5Y29ycA" class="cyc_term">ObjectType</a> (q.v.). Each instance of <a href="http://sw.opencyc.org/concept/Mx4rpPHhAOB1EdqAAAACs6hRXg" class="cyc_term">SpatiallyDisjointObjectType</a> is a collection C of spatial things (see <a href="http://sw.opencyc.org/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. For example, the collection <a href="http://sw.opencyc.org/concept/Mx4rvVjaoJwpEbGdrcN5Y29ycA" class="cyc_term">Dog</a> is an instance of <a href="http://sw.opencyc.org/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/concept/Mx4rpPHhAOB1EdqAAAACs6hRXg" class="cyc_term">SpatiallyDisjointObjectType</a> include <a href="http://sw.opencyc.org/concept/Mx4rwVGrQ5wpEbGdrcN5Y29ycA" class="cyc_term">LatitudeLine</a>, <a href="http://sw.opencyc.org/concept/Mx4rvW4n1pwpEbGdrcN5Y29ycA" class="cyc_term">CompactDisc_Audio</a>, and <a href="http://sw.opencyc.org/concept/Mx4rwR7UWZwpEbGdrcN5Y29ycA" class="cyc_term">PlanetaryBody</a>. An important specialization of <a href="http://sw.opencyc.org/concept/Mx4rpPHhAOB1EdqAAAACs6hRXg" class="cyc_term">SpatiallyDisjointObjectType</a> is <a href="http://sw.opencyc.org/concept/Mx4rvVjlE5wpEbGdrcN5Y29ycA" class="cyc_term">SpatiallyDisjointRegionType</a> (a collection of specializations of <a href="http://sw.opencyc.org/concept/Mx4rvViACZwpEbGdrcN5Y29ycA" class="cyc_term">GeographicalRegion</a>, such as <a href="http://sw.opencyc.org/concept/Mx4rvVjnZ5wpEbGdrcN5Y29ycA" class="cyc_term">City</a> and <a href="http://sw.opencyc.org/concept/Mx4rwT-n15wpEbGdrcN5Y29ycA" class="cyc_term">TrueContinent</a>). Card card An instance of <a href="http://sw.opencyc.org/concept/Mx4rvWXYgJwpEbGdrcN5Y29ycA" class="cyc_term">ExistingObjectType</a>, and a specialization of <a href="http://sw.opencyc.org/concept/Mx4rvVjgDpwpEbGdrcN5Y29ycA" class="cyc_term">HardcopyInformationBearingObject</a>. Each instance of <a href="http://sw.opencyc.org/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/concept/Mx4rwP1Fb5wpEbGdrcN5Y29ycA" class="cyc_term">Card</a> include <a href="http://sw.opencyc.org/concept/Mx4rvVjO6pwpEbGdrcN5Y29ycA" class="cyc_term">CreditCard</a>, <a href="http://sw.opencyc.org/concept/Mx4rvVjOdZwpEbGdrcN5Y29ycA" class="cyc_term">BusinessCard</a>, and <a href="http://sw.opencyc.org/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/concept/Mx4rwP1Fb5wpEbGdrcN5Y29ycA" class="cyc_term">Card</a> (for example, electronic greeting cards) are not instances of <a href="http://sw.opencyc.org/concept/Mx4rwP1Fb5wpEbGdrcN5Y29ycA" class="cyc_term">Card</a>. extracted by noun learner from motley fool UK corpus ExtractedByNounLearnerFromMotleyFoolUKCorpus identification card IDDocument A specialization of <a href="http://sw.opencyc.org/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/concept/Mx4rvViQPpwpEbGdrcN5Y29ycA" class="cyc_term">IDDocument</a> include <a href="http://sw.opencyc.org/concept/Mx4rwQr9WJwpEbGdrcN5Y29ycA" class="cyc_term">Passport</a>, <a href="http://sw.opencyc.org/concept/Mx4rvViy7JwpEbGdrcN5Y29ycA" class="cyc_term">DriversLicense_LicenseAgreement</a>, <a href="http://sw.opencyc.org/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/concept/Mx4rvVjHuJwpEbGdrcN5Y29ycA" class="cyc_term">ArtObject</a> or an antique. <a href="http://sw.opencyc.org/concept/Mx4rNI3OZGEGQdmdCL8FD64z3Q" class="cyc_term">CreditCardTypeByAnnualFeeFeature</a> is a specialization of <a href="http://sw.opencyc.org/concept/Mx4rHQdVmB_TEdaAAABQ2rksLw" class="cyc_term">SecondOrderCollection</a> that strictly facets <a href="http://sw.opencyc.org/concept/Mx4rvVjO6pwpEbGdrcN5Y29ycA" class="cyc_term">CreditCard</a>. Each instance of <a href="http://sw.opencyc.org/concept/Mx4rNI3OZGEGQdmdCL8FD64z3Q" class="cyc_term">CreditCardTypeByAnnualFeeFeature</a> is a specialization of <a href="http://sw.opencyc.org/concept/Mx4rvVjO6pwpEbGdrcN5Y29ycA" class="cyc_term">CreditCard</a>, instances of which either uniformly charge an annual fee or uniformly do not. credit card type by annual fee feature CreditCardTypeByAnnualFeeFeature facets - strict facets-Strict A <a href="http://sw.opencyc.org/concept/Mx4rvVkGXJwpEbGdrcN5Y29ycA" class="cyc_term">TaxonomicSlotForCollections</a> and a specialization of <a href="http://sw.opencyc.org/concept/Mx4rRA9CIljCEdiRSAACs2IMlQ" class="cyc_term">facets_NearStrict</a> (q.v.). (<a href="http://sw.opencyc.org/concept/Mx4rvcZ1FpwpEbGdrcN5Y29ycA" class="cyc_term">facets_Strict</a> COL COLTYPE) means that COLTYPE corresponds to one way of dividing COL up into disjoint subcollections. Specifically, the instances of COLTYPE are all the same sort of subcollection of COL and are, moreover, all disjoint with (see <a href="http://sw.opencyc.org/concept/Mx4rvViA45wpEbGdrcN5Y29ycA" class="cyc_term">disjointWith</a>) each other. For example, <a href="http://sw.opencyc.org/concept/Mx4rGwcsMFkIQdiMCLmJUEZ9IQ" class="cyc_term">DogTypeByBreed</a> strictly facets <a href="http://sw.opencyc.org/concept/Mx4rvVjaoJwpEbGdrcN5Y29ycA" class="cyc_term">Dog</a>, because the breeds of dog constitute mutually disjoint subcollections of <a href="http://sw.opencyc.org/concept/Mx4rvVjaoJwpEbGdrcN5Y29ycA" class="cyc_term">Dog</a>. Other possible ways of strictly faceting <a href="http://sw.opencyc.org/concept/Mx4rvVjaoJwpEbGdrcN5Y29ycA" class="cyc_term">Dog</a> are by sex, by size, and by whether or not they are domesticated. Note that (<a href="http://sw.opencyc.org/concept/Mx4rvcZ1FpwpEbGdrcN5Y29ycA" class="cyc_term">facets_Strict</a> COL COLTYPE) does _not_ imply (<a href="http://sw.opencyc.org/concept/Mx4rvVjVYJwpEbGdrcN5Y29ycA" class="cyc_term">covering</a> COL COLTYPE), since the instances of COLTYPE might not cover all of COL. For example, some dogs belong to no breed. Cf. <a href="http://sw.opencyc.org/concept/Mx4rv86JWpwpEbGdrcN5Y29ycA" class="cyc_term">facets_Covering</a> and <a href="http://sw.opencyc.org/concept/Mx4rwA9k15wpEbGdrcN5Y29ycA" class="cyc_term">facets_Partition</a>. Pretty String (<a href="http://sw.opencyc.org/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/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 CreditCardTypeByBalanceCarryFeature <a href="http://sw.opencyc.org/concept/Mx4r-S-5BGDxQdmAeqmC2REvFw" class="cyc_term">CreditCardTypeByBalanceCarryFeature</a> is a specialization of <a href="http://sw.opencyc.org/concept/Mx4rHQdVmB_TEdaAAABQ2rksLw" class="cyc_term">SecondOrderCollection</a> that strictly facets <a href="http://sw.opencyc.org/concept/Mx4rvVjO6pwpEbGdrcN5Y29ycA" class="cyc_term">CreditCard</a>. Each instance of <a href="http://sw.opencyc.org/concept/Mx4r-S-5BGDxQdmAeqmC2REvFw" class="cyc_term">CreditCardTypeByBalanceCarryFeature</a> is a specialization of <a href="http://sw.opencyc.org/concept/Mx4rvVjO6pwpEbGdrcN5Y29ycA" class="cyc_term">CreditCard</a>, instances of which either uniformly allow revolving accounts or uniformly disallow revolving accounts. credit card type by balance carry feature A collection of collections. Each instance of <a href="http://sw.opencyc.org/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/concept/Mx4rvVjY5JwpEbGdrcN5Y29ycA" class="cyc_term">MoneyTenderType</a> include <a href="http://sw.opencyc.org/concept/Mx4rvVjMQpwpEbGdrcN5Y29ycA" class="cyc_term">Currency</a>, <a href="http://sw.opencyc.org/concept/Mx4rvVjO6pwpEbGdrcN5Y29ycA" class="cyc_term">CreditCard</a>, and <a href="http://sw.opencyc.org/concept/Mx4rvVjOqJwpEbGdrcN5Y29ycA" class="cyc_term">Check_TenderObject</a>. MoneyTenderType type of money tender MoneyAndIncome-Financial-Topic A <a href="http://sw.opencyc.org/concept/Mx4rAmoSCGJbQdiSXZJvYiNhkQ" class="cyc_term">CycVocabularyTopic</a> and a <a href="http://sw.opencyc.org/concept/Mx4rtGXkHpNaEdqAAAACs0uFOQ" class="cyc_term">KBDependentCollection</a>. money and income financial topic quotedIsa A binary <a href="http://sw.opencyc.org/concept/Mx4rDeDIGEW0EdaAAACgydogAg" class="cyc_term">MetaLanguagePredicate</a> (q.v.) that relates CycL expressions to the <a href="http://sw.opencyc.org/concept/Mx4raOoTci9qEdma4AACs1uxFw" class="cyc_term">SubLExpressionType</a>s (q.v.) of which they are instances. <a href="http://sw.opencyc.org/concept/Mx4rBVVEokNxEdaAAACgydogAg" class="cyc_term">quotedIsa</a> is thus like a restricted version of <a href="http://sw.opencyc.org/concept/Mx4rvViBBJwpEbGdrcN5Y29ycA" class="cyc_term">isa</a> (q.v.), but with one important difference: the first argument-place of <a href="http://sw.opencyc.org/concept/Mx4rBVVEokNxEdaAAACgydogAg" class="cyc_term">quotedIsa</a> is "implicitly quoted" (see <a href="http://sw.opencyc.org/concept/Mx4rwHb_bZwpEbGdrcN5Y29ycA" class="cyc_term">quotedArgument</a>). So a ground atomic sentence of the form <code>(<a href="http://sw.opencyc.org/concept/Mx4rBVVEokNxEdaAAACgydogAg" class="cyc_term">quotedIsa</a> THING EXPR-TYPE)</code> does not mean that <code>THING</code> itself is an instance of <code>EXPR-TYPE</code>. Rather, such a sentence is partly self-referential, and means that the particular CycL expression appearing in the sentence's own first argument-position is an instance of <code>EXPR-TYPE</code>. Thus, <a href="http://sw.opencyc.org/concept/Mx4rBVVEokNxEdaAAACgydogAg" class="cyc_term">quotedIsa</a> provides a convenient shorthand for stating certain things that would otherwise require explicit quotation (or some other device for naming expressions). This is better illustrated with a specific example. Suppose we wish to state that the CycL constant <code><a href="http://sw.opencyc.org/concept/Mx4rvViH35wpEbGdrcN5Y29ycA" class="cyc_term">IndianOcean</a></code> is an instance of the CycL expression type #$PublicConstant. We cannot express this with the straightforward <a href="http://sw.opencyc.org/concept/Mx4rvViBBJwpEbGdrcN5Y29ycA" class="cyc_term">isa</a> sentence <code>(<a href="http://sw.opencyc.org/concept/Mx4rvViBBJwpEbGdrcN5Y29ycA" class="cyc_term">isa</a> <a href="http://sw.opencyc.org/concept/Mx4rvViH35wpEbGdrcN5Y29ycA" class="cyc_term">IndianOcean</a> #$PublicConstant)</code>, as that states the falsehood that the IndianOcean itself -- which is not a constant but a body of water -- is a public constant. But we can express precisely what we want like this: <pre> (<a href="http://sw.opencyc.org/concept/Mx4rBVVEokNxEdaAAACgydogAg" class="cyc_term">quotedIsa</a> <a href="http://sw.opencyc.org/concept/Mx4rvViH35wpEbGdrcN5Y29ycA" class="cyc_term">IndianOcean</a> #$PublicConstant) . </pre> Now <a href="http://sw.opencyc.org/concept/Mx4rBVVEokNxEdaAAACgydogAg" class="cyc_term">quotedIsa</a> is a <a href="http://sw.opencyc.org/concept/Mx4rv4oJWZwpEbGdrcN5Y29ycA" class="cyc_term">MacroRelation</a> (q.v.), and by its <a href="http://sw.opencyc.org/concept/Mx4rvVjg7JwpEbGdrcN5Y29ycA" class="cyc_term">expansion</a> any given <a href="http://sw.opencyc.org/concept/Mx4rBVVEokNxEdaAAACgydogAg" class="cyc_term">quotedIsa</a> sentence is equivalent to some <a href="http://sw.opencyc.org/concept/Mx4rvViBBJwpEbGdrcN5Y29ycA" class="cyc_term">isa</a> sentence with an explicitly quoted first argument. The sentence displayed above turns out to be equivalent to: <pre> (<a href="http://sw.opencyc.org/concept/Mx4rvViBBJwpEbGdrcN5Y29ycA" class="cyc_term">isa</a> (<a href="http://sw.opencyc.org/concept/Mx4rgGBbEkNuEdaAAACgydogAg" class="cyc_term">Quote</a> <a href="http://sw.opencyc.org/concept/Mx4rvViH35wpEbGdrcN5Y29ycA" class="cyc_term">IndianOcean</a>) #$PublicConstant). </pre> But the <a href="http://sw.opencyc.org/concept/Mx4rBVVEokNxEdaAAACgydogAg" class="cyc_term">quotedIsa</a> version has two related practical advantages over the <a href="http://sw.opencyc.org/concept/Mx4rvViBBJwpEbGdrcN5Y29ycA" class="cyc_term">isa</a> version. First, the former is syntactically simpler than the latter. Second, the simpler syntax of the former makes it easier to browse in the Knowedge Base: while the <a href="http://sw.opencyc.org/concept/Mx4rBVVEokNxEdaAAACgydogAg" class="cyc_term">quotedIsa</a> version is conveniently indexed under the KB Browser page for the constant <code><a href="http://sw.opencyc.org/concept/Mx4rvViH35wpEbGdrcN5Y29ycA" class="cyc_term">IndianOcean</a></code>, the <a href="http://sw.opencyc.org/concept/Mx4rvViBBJwpEbGdrcN5Y29ycA" class="cyc_term">isa</a> version would apparently be indexed under a separate, brand new page for the term <code>(<a href="http://sw.opencyc.org/concept/Mx4rgGBbEkNuEdaAAACgydogAg" class="cyc_term">Quote</a> <a href="http://sw.opencyc.org/concept/Mx4rvViH35wpEbGdrcN5Y29ycA" class="cyc_term">IndianOcean</a>)</code>. Generalizing the point, <a href="http://sw.opencyc.org/concept/Mx4rBVVEokNxEdaAAACgydogAg" class="cyc_term">quotedIsa</a> lets us avoid having potentially to double the number of pages currently in the browser. For the semantically more complicated (but rarely encountered) case in which <a href="http://sw.opencyc.org/concept/Mx4rBVVEokNxEdaAAACgydogAg" class="cyc_term">quotedIsa</a>'s first argument-place is filled with an open expression, see the accompanying #$cyclistNotes. Quoted Isa TextualMaterialTypeByFunction type of textual material classified by function An instance of <a href="http://sw.opencyc.org/concept/Mx4rvViA4pwpEbGdrcN5Y29ycA" class="cyc_term">SiblingDisjointCollectionType</a> and hence a collection of collections. Each instance of <a href="http://sw.opencyc.org/concept/Mx4rn3yL9FlGEdaAAAABAxv-7A" class="cyc_term">TextualMaterialTypeByFunction</a> is a specialization of <a href="http://sw.opencyc.org/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/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/concept/Mx4rwP1a95wpEbGdrcN5Y29ycA" class="cyc_term">ExpenseReport</a> (used by employees to request reimbursement for expense). either a credit card with no annual fee or a credit card with an annual fee (ThePartition CreditCardWithNoAnnualFee CreditCardWithAnnualFee) wikipediaArticleName (<a href="http://sw.opencyc.org/concept/Mx4rTv-jk9SPTXa991kk5mAvHg" class="cyc_term">wikipediaArticleName</a> THING NAME) means that in <a href="http://sw.opencyc.org/concept/Mx4rtqXA6OC8QdiWC72DuLJdUw" class="cyc_term">Wikipedia_WebSite</a> THING is described by an article with the title NAME Wikipedia Article Name A flat surface is flat overall. It may have texture or may have relatively small subregions which are concave, convex, have holes all the way through etc.. Need not be horizontal. See <a href="http://sw.opencyc.org/concept/Mx4rvVjG1pwpEbGdrcN5Y29ycA" class="cyc_term">SheetShapedObject</a> for 'two-sided' or 'flat' objects such as boards, uncrumpled sheets of paper, or Compact Discs. flat thing FlatObject