]> 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. OfficialDocumentType A collection of all the subcollections of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViXG5wpEbGdrcN5Y29ycA" class="cyc_term">OfficialDocument</a> whose instances are a particular and distinct type of official document -- for instance <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwQr9WJwpEbGdrcN5Y29ycA" class="cyc_term">Passport</a> and <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwP1Ks5wpEbGdrcN5Y29ycA" class="cyc_term">PostageStamp</a>. It should not be asserted of subcollections of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViXG5wpEbGdrcN5Y29ycA" class="cyc_term">OfficialDocument</a> which might not be disjoint -- for instance <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwNJS4JwpEbGdrcN5Y29ycA" class="cyc_term">FloodReport</a> and <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwQnVL5wpEbGdrcN5Y29ycA" class="cyc_term">TermiteReport</a>. type of official document types of official document The collection of all affidavits. A type of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwRPow5wpEbGdrcN5Y29ycA" class="cyc_term">LegalDocument</a>. The concept <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4r0AHlEjDMQdifSNMuFLYElQ" class="cyc_term">Affidavit</a> is an <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvbpXLJwpEbGdrcN5Y29ycA" class="cyc_term">OfficialDocumentType</a> and a <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rpPHhAOB1EdqAAAACs6hRXg" class="cyc_term">SpatiallyDisjointObjectType</a>. Affidavit affidavit PropertyDeed An instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvbpXLJwpEbGdrcN5Y29ycA" class="cyc_term">OfficialDocumentType</a>, and a specialization of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwRPow5wpEbGdrcN5Y29ycA" class="cyc_term">LegalDocument</a>. Each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwSgEeJwpEbGdrcN5Y29ycA" class="cyc_term">PropertyDeed</a> is a legal document that records an agent's ownership in some real property (that is, some instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwQr0G5wpEbGdrcN5Y29ycA" class="cyc_term">RealEstate</a>). deed CorrectiveLensPrescription The collection of instances of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rhOO3pld-EdqAAAACs71DGQ" class="cyc_term">MedicalPrescription</a> that are prescriptions for corrective lenses (c.f., <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rswRRaFeDEdqAAAACs71DGQ" class="cyc_term">CorrectiveLens</a>). corrective lens prescription tax return TaxReturn a report consisting of a form or set of forms, filled out, that an entity provides to the goverment to show how its taxes were calculated and what amount is due. If there is money due, the return is accompanied by the payment. drug prescription DrugPrescription 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 a document in which a doctor (<a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjrVZwpEbGdrcN5Y29ycA" class="cyc_term">Doctor_Medical</a>) authorizes a patient to purchase a certain amount of a <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViufJwpEbGdrcN5Y29ycA" class="cyc_term">PrescriptionDrug</a> and take it according to some specified schedule. See also the predicates <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rv9-B-5wpEbGdrcN5Y29ycA" class="cyc_term">prescriptionFilled</a> and <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwP1mB5wpEbGdrcN5Y29ycA" class="cyc_term">prescribedDrug</a>. PilotsLicense-Document An instances of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvbpXLJwpEbGdrcN5Y29ycA" class="cyc_term">OfficialDocumentType</a>, and a specialization of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwQMq6pwpEbGdrcN5Y29ycA" class="cyc_term">TransportationLicense_Document</a>. Each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwEVIWpwpEbGdrcN5Y29ycA" class="cyc_term">PilotsLicense_Document</a> is a license that permits its holder to operate some type(s) of aircraft. pilots license document An instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvbpXLJwpEbGdrcN5Y29ycA" class="cyc_term">OfficialDocumentType</a>. Each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvv2UqZwpEbGdrcN5Y29ycA" class="cyc_term">ProfessionalLicense_Document</a> is a document issued by some authority to a professional, certifying that the professional is licensed to practice his or her profession in a certain area (for instance, in a particular <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViKmJwpEbGdrcN5Y29ycA" class="cyc_term">State_UnitedStates</a>. professional license document ProfessionalLicense-Document An instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvbpXLJwpEbGdrcN5Y29ycA" class="cyc_term">OfficialDocumentType</a>, and a specialization of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwQMq6pwpEbGdrcN5Y29ycA" class="cyc_term">TransportationLicense_Document</a>. Each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvjOLTJwpEbGdrcN5Y29ycA" class="cyc_term">BoatingLicense_Document</a> is a license that permits its holder to operate some type(s) of watercraft. boating license document BoatingLicense-Document A specialization of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwRPow5wpEbGdrcN5Y29ycA" class="cyc_term">LegalDocument</a>. Each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rv8gfApwpEbGdrcN5Y29ycA" class="cyc_term">Visa_Document</a> is a document issued by the government of some country to one (or more) person(s), authorizing that person (or those persons) to enter that country and remain for a certain period of time while engaging in certain specified activities (e.g., study, travel, work). visa Visa-Document packing slip PackingSlip The collection of all packing slips. A type of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViXG5wpEbGdrcN5Y29ycA" class="cyc_term">OfficialDocument</a>. The collection <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwP1jBpwpEbGdrcN5Y29ycA" class="cyc_term">PackingSlip</a> is an <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvbpXLJwpEbGdrcN5Y29ycA" class="cyc_term">OfficialDocumentType</a>, a <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rpPHhAOB1EdqAAAACs6hRXg" class="cyc_term">SpatiallyDisjointObjectType</a>, and a <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rn3yL9FlGEdaAAAABAxv-7A" class="cyc_term">TextualMaterialTypeByFunction</a>. OwnershipDocument An instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvbpXLJwpEbGdrcN5Y29ycA" class="cyc_term">OfficialDocumentType</a>. Each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwCErFJwpEbGdrcN5Y29ycA" class="cyc_term">OwnershipDocument</a> is an official document that records an agent's ownership of some item. Examples of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViXG5wpEbGdrcN5Y29ycA" class="cyc_term">OfficialDocument</a> include property deeds and certificates of ownership of automobiles. ownership document An instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvbpXLJwpEbGdrcN5Y29ycA" class="cyc_term">OfficialDocumentType</a>, and a specialization of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rv8gfApwpEbGdrcN5Y29ycA" class="cyc_term">Visa_Document</a>. Each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvj5w6JwpEbGdrcN5Y29ycA" class="cyc_term">GreenCard_Document</a> is a document issued by the <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvV6wkJwpEbGdrcN5Y29ycA" class="cyc_term">USImmigrationAndNaturalizationService</a> to someone who is not a citizen of the United States; the document identifies its bearer as a permanent resident of the United States, able to reside and work in any part of the United States. GreenCard-Document green card document A specialization of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwRPow5wpEbGdrcN5Y29ycA" class="cyc_term">LegalDocument</a> and <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViQPpwpEbGdrcN5Y29ycA" class="cyc_term">IDDocument</a>. Each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwQr9WJwpEbGdrcN5Y29ycA" class="cyc_term">Passport</a> is a document issued to a person by the government of a country of which s/he is a citizen, in order to identify that person as a citizen of that country while s/he is travelling outside of its borders. It can also be used for ID purposes back home. <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwQr9WJwpEbGdrcN5Y29ycA" class="cyc_term">Passport</a>s typically expire after a set period of time and require renewal. Countries generally allow only one valid passport per citizen. passport Passport DevicePrescription The collection of prescriptions (see <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rhOO3pld-EdqAAAACs71DGQ" class="cyc_term">MedicalPrescription</a>) requesting that a patient receive and use a device intended to help him or her overcome a physiological condition. See also <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rv2H-zpwpEbGdrcN5Y29ycA" class="cyc_term">DisabilityAidEquipment</a>. device prescription ATMTransactionReceipt The type of document given to someone when they make a transaction at an automatic teller machine, as a receipt that they did so. ATM receipt discharge paper The collection of all discharge papers. A type of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvxYpx5wpEbGdrcN5Y29ycA" class="cyc_term">Paper_IBO</a> and <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViXG5wpEbGdrcN5Y29ycA" class="cyc_term">OfficialDocument</a>. The collection <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwMRyTZwpEbGdrcN5Y29ycA" class="cyc_term">DischargePaper</a> is an <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvbpXLJwpEbGdrcN5Y29ycA" class="cyc_term">OfficialDocumentType</a> and a <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rpPHhAOB1EdqAAAACs6hRXg" class="cyc_term">SpatiallyDisjointObjectType</a>. DischargePaper MarriageLicenseDocument marriage license A marriage license - the document, not the agreement. account book The book associated with an account in which the transactions that affect that account are recorded. Ledger money order MoneyOrder Checks issued by a financial institution to a purchaser. Money orders are safer for the recipient than regular checks, because the issuing organization verifies that the money is allocated for this purpose. Money orders are issued in whatever value the purchaser specifies (possibly up to some limit). See also <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwP1S75wpEbGdrcN5Y29ycA" class="cyc_term">BuyingAMoneyOrder</a>. NationalIDDocument national ID document An instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvbpXLJwpEbGdrcN5Y29ycA" class="cyc_term">OfficialDocumentType</a>, and a specialization of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViQPpwpEbGdrcN5Y29ycA" class="cyc_term">IDDocument</a>. Each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rv1QI05wpEbGdrcN5Y29ycA" class="cyc_term">NationalIDDocument</a> is a document issued by the government of some country to one of its citizens or resident aliens. In the countries in which such documents are issued, possession of such a document is usually required in order to establish work eligibility, or to obtain certain kinds of government benefits. The collection of all driver's licenses. A type of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvgCtvZwpEbGdrcN5Y29ycA" class="cyc_term">TransportationLicense</a>. The collection <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViy7JwpEbGdrcN5Y29ycA" class="cyc_term">DriversLicense_LicenseAgreement</a> is a <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvcrAW5wpEbGdrcN5Y29ycA" class="cyc_term">CredentialTypeBySkill</a> and an <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvbpXLJwpEbGdrcN5Y29ycA" class="cyc_term">OfficialDocumentType</a>. DriversLicense-LicenseAgreement driver's license TransportationLicense-Document transportation license document An instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvbpXLJwpEbGdrcN5Y29ycA" class="cyc_term">OfficialDocumentType</a>, and a specialization of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwDMLb5wpEbGdrcN5Y29ycA" class="cyc_term">License_IBO</a>. Each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwQMq6pwpEbGdrcN5Y29ycA" class="cyc_term">TransportationLicense_Document</a> is a license issued by some governmental agency to a person that permits the person to operate some type(s) of vehicle. Notable specializations of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwQMq6pwpEbGdrcN5Y29ycA" class="cyc_term">TransportationLicense_Document</a> include <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvzYci5wpEbGdrcN5Y29ycA" class="cyc_term">DriversLicense_Document</a> and <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwEVIWpwpEbGdrcN5Y29ycA" class="cyc_term">PilotsLicense_Document</a>. birth certificate The collection of all birth certificates. A type of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwP1g1JwpEbGdrcN5Y29ycA" class="cyc_term">CertificateDocument</a>, <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViQPpwpEbGdrcN5Y29ycA" class="cyc_term">IDDocument</a>, <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwP1osJwpEbGdrcN5Y29ycA" class="cyc_term">Form_StandardizedIBO</a>, and <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwRPow5wpEbGdrcN5Y29ycA" class="cyc_term">LegalDocument</a>. The collection <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjhZZwpEbGdrcN5Y29ycA" class="cyc_term">BirthCertificate</a> is an <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvbpXLJwpEbGdrcN5Y29ycA" class="cyc_term">OfficialDocumentType</a>, a <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rpPHhAOB1EdqAAAACs6hRXg" class="cyc_term">SpatiallyDisjointObjectType</a>, and a <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rn3yL9FlGEdaAAAABAxv-7A" class="cyc_term">TextualMaterialTypeByFunction</a>. BirthCertificate StockCertificate A specialization of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViXG5wpEbGdrcN5Y29ycA" class="cyc_term">OfficialDocument</a> and <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwP1g1JwpEbGdrcN5Y29ycA" class="cyc_term">CertificateDocument</a>. Each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwP1KJJwpEbGdrcN5Y29ycA" class="cyc_term">StockCertificate</a> is a document issued by a corporation (see <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjQNpwpEbGdrcN5Y29ycA" class="cyc_term">Business</a>) to one of its shareholders, certifying the shareholder's ownership of some number of shares of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVivc5wpEbGdrcN5Y29ycA" class="cyc_term">Stock</a> (q.v.) in that corporation. See also <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjDRZwpEbGdrcN5Y29ycA" class="cyc_term">shareholders</a>. stock certificate license plate An instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvbpXLJwpEbGdrcN5Y29ycA" class="cyc_term">OfficialDocumentType</a>, and a specialization of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwDMLb5wpEbGdrcN5Y29ycA" class="cyc_term">License_IBO</a>. Each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4ryq6xAsOkQdeP3uOt-ndAew" class="cyc_term">LicensePlate</a> is a license issued by some governmental agency to a person that permits the person to operate a particular vehicle. It is usually required that the <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4ryq6xAsOkQdeP3uOt-ndAew" class="cyc_term">LicensePlate</a> be mounted on the rear of the car and often an identical <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4ryq6xAsOkQdeP3uOt-ndAew" class="cyc_term">LicensePlate</a> must go on the front. It is considered illegal in most places to drive a car that does not have a <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4ryq6xAsOkQdeP3uOt-ndAew" class="cyc_term">LicensePlate</a> on it. LicensePlate PayStub pay slip The collection of all documents received by <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjsQZwpEbGdrcN5Y29ycA" class="cyc_term">Employee</a>s from employers stating how much the employee was paid for the previous pay period, what monies were withheld from the wages due (e.g. taxes, insurance cotributions, union dues, ...), and to whom those funds were paid. Other information that may appear on a pay stub relate to available leave. bank draft The collection of all bank drafts. A type of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjOqJwpEbGdrcN5Y29ycA" class="cyc_term">Check_TenderObject</a>. The concept <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rcE7DSoJLQdeBdcBB_9n7Mg" class="cyc_term">BankDraft</a> is a <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjY5JwpEbGdrcN5Y29ycA" class="cyc_term">MoneyTenderType</a>, a <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rpPHhAOB1EdqAAAACs6hRXg" class="cyc_term">SpatiallyDisjointObjectType</a>, a <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rn3yL9FlGEdaAAAABAxv-7A" class="cyc_term">TextualMaterialTypeByFunction</a>, and an <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvbpXLJwpEbGdrcN5Y29ycA" class="cyc_term">OfficialDocumentType</a>. BankDraft drivers license document DriversLicense-Document An instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvbpXLJwpEbGdrcN5Y29ycA" class="cyc_term">OfficialDocumentType</a>, and a specialization of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwQMq6pwpEbGdrcN5Y29ycA" class="cyc_term">TransportationLicense_Document</a>. Each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvzYci5wpEbGdrcN5Y29ycA" class="cyc_term">DriversLicense_Document</a> is a license that permits its holder to operate some type(s) of road vehicle. An instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvbpXLJwpEbGdrcN5Y29ycA" class="cyc_term">OfficialDocumentType</a>, and a specialization of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViQPpwpEbGdrcN5Y29ycA" class="cyc_term">IDDocument</a>. Each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvmOVHZwpEbGdrcN5Y29ycA" class="cyc_term">EmployeeBadge</a> is a badge issued by an employer to an employee, for purposes of identification and security. People with such badges will be allowed to enter the employer's workplace(s), while those without will not. EmployeeBadge employee badge MedicalPrescription prescription The collection of prescriptions -- orders from doctors that authorize that a patient to receive and use a substance or device that will help them treat or overcome a physiological condition. TaxFormIBO Forms which are designed and created in order to be to be filled out and returned to a a tax agency such as the IRS. When appropriately filled out, they are instances of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwPvGh5wpEbGdrcN5Y29ycA" class="cyc_term">TaxReturn</a>. IRS form Passport-Agreement A specialization of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViwHJwpEbGdrcN5Y29ycA" class="cyc_term">AuthorizedAgreement</a> and <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViwXpwpEbGdrcN5Y29ycA" class="cyc_term">LegalAgreement</a>. Each instance of Passport-Agreement is an authorization issued by the government of some country to a person stating that he or she is allowed to leave the country and re-enter. This agreement typicaly includes a formal recognition that the person is a legal citizen of the government's country, and may have other privileges and qualifications. passport A specialization of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwRPow5wpEbGdrcN5Y29ycA" class="cyc_term">LegalDocument</a>. A type of document one can submit to a UK credit reference agency if someone else's credit history is confused with theirs. This is a way to claim certain debts don't belong to one. notice of disassociation UK NoticeOfDisassociation-UK 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 voter registration card An instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvbpXLJwpEbGdrcN5Y29ycA" class="cyc_term">OfficialDocumentType</a>, and a specialization of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViQPpwpEbGdrcN5Y29ycA" class="cyc_term">IDDocument</a>. Each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwSr5eJwpEbGdrcN5Y29ycA" class="cyc_term">VoterRegistrationCard</a> is a document certifying that its holder can vote in certain elections. Instances of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwSr5eJwpEbGdrcN5Y29ycA" class="cyc_term">VoterRegistrationCard</a> will typically include the following information: the name of the voter, his or her address, his or her party affiliation, and the polling place for his or her voting precinct. In some jurisdictions, a voter may be required to display an appropriate instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwSr5eJwpEbGdrcN5Y29ycA" class="cyc_term">VoterRegistrationCard</a> in order to vote in certain elections. VoterRegistrationCard PostageStamp The collection of all postage stamps. A type of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rviP5YpwpEbGdrcN5Y29ycA" class="cyc_term">Postage</a>, <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvhoWkJwpEbGdrcN5Y29ycA" class="cyc_term">Device_OneTimeUse</a>, <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViXG5wpEbGdrcN5Y29ycA" class="cyc_term">OfficialDocument</a>, and <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwJIQaZwpEbGdrcN5Y29ycA" class="cyc_term">Sticker_Adhesive</a>. The collection <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwP1Ks5wpEbGdrcN5Y29ycA" class="cyc_term">PostageStamp</a> is a <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjY5JwpEbGdrcN5Y29ycA" class="cyc_term">MoneyTenderType</a> and an <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvbpXLJwpEbGdrcN5Y29ycA" class="cyc_term">OfficialDocumentType</a>. postage stamp immigration record ImmigrationRecord The collection of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViXG5wpEbGdrcN5Y29ycA" class="cyc_term">OfficialDocument</a>s that record the admission of persons immigrating to a country. will WillAndTestament A document containing a person's directions on actions they wish taken after their death. The collection of all specializations of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rHIBS0h_TEdaAAABQ2rksLw" class="cyc_term">FirstOrderCollection</a>, that is, of all collections of (first-order) collections, and an instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rHUFI8h_TEdaAAABQ2rksLw" class="cyc_term">ThirdOrderCollection</a>. Instances of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rHQdVmB_TEdaAAABQ2rksLw" class="cyc_term">SecondOrderCollection</a> are collections of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rHIBS0h_TEdaAAABQ2rksLw" class="cyc_term">FirstOrderCollection</a>s. Any instance of any instance of any instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rHQdVmB_TEdaAAABQ2rksLw" class="cyc_term">SecondOrderCollection</a> is an <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjaApwpEbGdrcN5Y29ycA" class="cyc_term">Individual</a>. SecondOrderCollection second-order Cyc collection A collection of collections. Each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvWXYgJwpEbGdrcN5Y29ycA" class="cyc_term">ExistingObjectType</a> is a specialization of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVj27ZwpEbGdrcN5Y29ycA" class="cyc_term">PartiallyTangible</a> (q.v.). Moreover, each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvWXYgJwpEbGdrcN5Y29ycA" class="cyc_term">ExistingObjectType</a> is a collection that is temporally stuff-like (see <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVitN5wpEbGdrcN5Y29ycA" class="cyc_term">TemporalStuffType</a>) but physically-spatially object-like (see <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVirnZwpEbGdrcN5Y29ycA" class="cyc_term">ObjectType</a>) -- i.e. object-like with respect to some physical-spatial part-whole predicate (e.g. some specialization of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4r8a2smPXcQdiEoJhcx65EiQ" class="cyc_term">properPhysicalDecompositions</a>). <p/> Consider the collection <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwJaXepwpEbGdrcN5Y29ycA" class="cyc_term">BookCopy</a>. <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwJaXepwpEbGdrcN5Y29ycA" class="cyc_term">BookCopy</a> is a specialization of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVj27ZwpEbGdrcN5Y29ycA" class="cyc_term">PartiallyTangible</a>. Further, <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwJaXepwpEbGdrcN5Y29ycA" class="cyc_term">BookCopy</a> is temporally stuff-like: any one of the <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvWn4OZwpEbGdrcN5Y29ycA" class="cyc_term">timeSlices</a> of a given copy <code><b>COPY</b></code> of (say) &quot;Moby Dick&quot; is still a copy of &quot;Moby Dick&quot;. (Most collections of tangible objects are temporally stuff-like in this way.) But <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwJaXepwpEbGdrcN5Y29ycA" class="cyc_term">BookCopy</a> is spatially <i>object-like</i>: if we take a scalpel and slice <code><b>COPY</b></code> into ten pieces, each piece is not a copy of &quot;Moby Dick&quot;. So <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwJaXepwpEbGdrcN5Y29ycA" class="cyc_term">BookCopy</a> is an instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvWXYgJwpEbGdrcN5Y29ycA" class="cyc_term">ExistingObjectType</a>. <p/> See also <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVir35wpEbGdrcN5Y29ycA" class="cyc_term">StuffType</a> and <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVny6pwpEbGdrcN5Y29ycA" class="cyc_term">ExistingStuffType</a>. ExistingObjectType type of object A <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rtGXkHpNaEdqAAAACs0uFOQ" class="cyc_term">KBDependentCollection</a> of collections of collections (and thus an instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rviPYH5wpEbGdrcN5Y29ycA" class="cyc_term">CollectionTypeType</a> and a specialization of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvtppU5wpEbGdrcN5Y29ycA" class="cyc_term">CollectionType</a>). A sibling-disjoint collection type is such that its known (i.e. KB-represented) instances are collections that -- save for any that are related to each other by <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViBDpwpEbGdrcN5Y29ycA" class="cyc_term">genls</a> and any that are explicitly asserted to be exceptions (see <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwQtVmpwpEbGdrcN5Y29ycA" class="cyc_term">siblingDisjointExceptions</a>) -- are disjoint from each other. <p/> More precisely, each instance <code><b>SIB</b></code> of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViA4pwpEbGdrcN5Y29ycA" class="cyc_term">SiblingDisjointCollectionType</a> is a collection of collections that has the following KB-dependent property: <p/> For any two known instances <code><b>COL1</b></code> and <code><b>COL2</b></code> of <code><b>SIB</b></code>, at least one of the following is known to hold: <pre> (a) (<a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViBDpwpEbGdrcN5Y29ycA" class="cyc_term">genls</a> <b>COL1</b> <b>COL2</b>) (b) (<a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViBDpwpEbGdrcN5Y29ycA" class="cyc_term">genls</a> <b>COL2</b> <b>COL1</b>) (c) (<a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwQtVmpwpEbGdrcN5Y29ycA" class="cyc_term">siblingDisjointExceptions</a> <b>COL1</b> <b>COL2</b>) (d) (<a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViA45wpEbGdrcN5Y29ycA" class="cyc_term">disjointWith</a> <b>COL1</b> <b>COL2</b>) </pre> Moreover, note that if <code><b>MT</b></code> is a context (see <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViA1ZwpEbGdrcN5Y29ycA" class="cyc_term">Microtheory</a>) in which (i) both <code>(<a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViBBJwpEbGdrcN5Y29ycA" class="cyc_term">isa</a> <b>COL1</b> <b>SIB</b>)</code> and <code>(<a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViBBJwpEbGdrcN5Y29ycA" class="cyc_term">isa</a> <b>COL2</b> <b>SIB</b>)</code> hold and (ii) neither <code>(<a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViBDpwpEbGdrcN5Y29ycA" class="cyc_term">genls</a> <b>COL1</b> <b>COL2</b>)</code> nor <code>(<a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViBDpwpEbGdrcN5Y29ycA" class="cyc_term">genls</a> <b>COL2</b> <b>COL1</b>)</code> nor <code>(<a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwQtVmpwpEbGdrcN5Y29ycA" class="cyc_term">siblingDisjointExceptions</a> <b>COL1</b> <b>COL2</b>)</code> is known to hold (see <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwP-JvpwpEbGdrcN5Y29ycA" class="cyc_term">knownSentence</a>), then <code>(<a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViA45wpEbGdrcN5Y29ycA" class="cyc_term">disjointWith</a> <b>COL1</b> <b>COL2</b>)</code> holds by default in <code><b>MT</b></code>. <p/> For example, in <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjakJwpEbGdrcN5Y29ycA" class="cyc_term">BiologyMt</a> both <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViAkpwpEbGdrcN5Y29ycA" class="cyc_term">Person</a> and <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjaoJwpEbGdrcN5Y29ycA" class="cyc_term">Dog</a> are instances of the sibling-disjoint collection type <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjK65wpEbGdrcN5Y29ycA" class="cyc_term">BiologicalSpecies</a>, while neither (<a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViBDpwpEbGdrcN5Y29ycA" class="cyc_term">genls</a> <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViAkpwpEbGdrcN5Y29ycA" class="cyc_term">Person</a> <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjaoJwpEbGdrcN5Y29ycA" class="cyc_term">Dog</a>) nor (<a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViBDpwpEbGdrcN5Y29ycA" class="cyc_term">genls</a> <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjaoJwpEbGdrcN5Y29ycA" class="cyc_term">Dog</a> <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViAkpwpEbGdrcN5Y29ycA" class="cyc_term">Person</a>) nor (<a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwQtVmpwpEbGdrcN5Y29ycA" class="cyc_term">siblingDisjointExceptions</a> <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViAkpwpEbGdrcN5Y29ycA" class="cyc_term">Person</a> <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjaoJwpEbGdrcN5Y29ycA" class="cyc_term">Dog</a>) is known to hold in that context; consequently, (<a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViA45wpEbGdrcN5Y29ycA" class="cyc_term">disjointWith</a> <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViAkpwpEbGdrcN5Y29ycA" class="cyc_term">Person</a> <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjaoJwpEbGdrcN5Y29ycA" class="cyc_term">Dog</a>) holds by default in <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjakJwpEbGdrcN5Y29ycA" class="cyc_term">BiologyMt</a>. Instances of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViA4pwpEbGdrcN5Y29ycA" class="cyc_term">SiblingDisjointCollectionType</a> include <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVji6JwpEbGdrcN5Y29ycA" class="cyc_term">BiologicalTaxon</a> (and its specializations), <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwKTnSJwpEbGdrcN5Y29ycA" class="cyc_term">OrganismPartType</a>, and <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwE01SZwpEbGdrcN5Y29ycA" class="cyc_term">RelationshipTypeByArity</a>. <p/> See the generalization <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rk8dxOFcGEdaLwgACs0uFOQ" class="cyc_term">SiblingDisjointSetOrCollectionType</a>. Also cf. the stronger notion of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvWPoRpwpEbGdrcN5Y29ycA" class="cyc_term">DisjointCollectionType</a>. sibling disjoint collection type SiblingDisjointCollectionType OfficialDocumentType type of official document A collection of all the subcollections of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViXG5wpEbGdrcN5Y29ycA" class="cyc_term">OfficialDocument</a> whose instances are a particular and distinct type of official document -- for instance <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwQr9WJwpEbGdrcN5Y29ycA" class="cyc_term">Passport</a> and <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwP1Ks5wpEbGdrcN5Y29ycA" class="cyc_term">PostageStamp</a>. It should not be asserted of subcollections of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViXG5wpEbGdrcN5Y29ycA" class="cyc_term">OfficialDocument</a> which might not be disjoint -- for instance <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwNJS4JwpEbGdrcN5Y29ycA" class="cyc_term">FloodReport</a> and <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwQnVL5wpEbGdrcN5Y29ycA" class="cyc_term">TermiteReport</a>. 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 OfficialDocumentType type of official document A collection of all the subcollections of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViXG5wpEbGdrcN5Y29ycA" class="cyc_term">OfficialDocument</a> whose instances are a particular and distinct type of official document -- for instance <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwQr9WJwpEbGdrcN5Y29ycA" class="cyc_term">Passport</a> and <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwP1Ks5wpEbGdrcN5Y29ycA" class="cyc_term">PostageStamp</a>. It should not be asserted of subcollections of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViXG5wpEbGdrcN5Y29ycA" class="cyc_term">OfficialDocument</a> which might not be disjoint -- for instance <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwNJS4JwpEbGdrcN5Y29ycA" class="cyc_term">FloodReport</a> and <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwQnVL5wpEbGdrcN5Y29ycA" class="cyc_term">TermiteReport</a>.