]> 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. some sample kinds of agreements agreement topic SomeSampleKindsOfAgreements-Agreement-Topic A specialization of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVivo5wpEbGdrcN5Y29ycA" class="cyc_term">Agreement</a>. Each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVotnJwpEbGdrcN5Y29ycA" class="cyc_term">SalesAgreement</a> is an agreement which governs aspects of some <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjL2pwpEbGdrcN5Y29ycA" class="cyc_term">Buying</a> activity. This includes bidding activities as well as instances of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvgGJIZwpEbGdrcN5Y29ycA" class="cyc_term">SalesContract</a>. sales agreement SalesAgreement Permission permission A specialization of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVivo5wpEbGdrcN5Y29ycA" class="cyc_term">Agreement</a>. Each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViv2pwpEbGdrcN5Y29ycA" class="cyc_term">Permission</a> is an agreement specifying some rights or privileges which have been granted to an instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViAB5wpEbGdrcN5Y29ycA" class="cyc_term">Agent_PartiallyTangible</a> (q.v.). A permission may be an informal agreement between individuals, but many instances are formal and involve permissions granted by a government authority to some agent. Notable specializations of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViv2pwpEbGdrcN5Y29ycA" class="cyc_term">Permission</a> include <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViu3pwpEbGdrcN5Y29ycA" class="cyc_term">License_LegalAgreement</a> and <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVr0WpwpEbGdrcN5Y29ycA" class="cyc_term">Visa_Permit</a>. The predicate <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvWR5bpwpEbGdrcN5Y29ycA" class="cyc_term">laws</a> is used to relate a geopolitical region (country, state, city, etc.) to a law or entire legal code which applies there. (<a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvWR5bpwpEbGdrcN5Y29ycA" class="cyc_term">laws</a> GEOPOL CODE) means that the <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjl2pwpEbGdrcN5Y29ycA" class="cyc_term">GeopoliticalEntity</a> GEOPOL officially has the law (or set of laws) CODE. See also <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVihYJwpEbGdrcN5Y29ycA" class="cyc_term">GovernmentCOC</a> for the representation of a <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvV1TLJwpEbGdrcN5Y29ycA" class="cyc_term">Law</a> or a <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvWXHupwpEbGdrcN5Y29ycA" class="cyc_term">LegalCode</a> as a <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViA1ZwpEbGdrcN5Y29ycA" class="cyc_term">Microtheory</a>. Laws laws FormalCOC A specialization of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViVx5wpEbGdrcN5Y29ycA" class="cyc_term">CodeOfConduct</a>. Each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVivX5wpEbGdrcN5Y29ycA" class="cyc_term">FormalCOC</a> is a code of conduct imposed by some organization. Formal codes of conduct typically are explicitly stated and publicly promulgated among the group subject to them, and they are usually associated with prescribed methods of enforcement and punishment of violators. Thus, the collection <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVivX5wpEbGdrcN5Y29ycA" class="cyc_term">FormalCOC</a> includes the laws of any legal jurisdiction, the rules of deportment imposed by educational institutions, and the practices of some strict religious sects. In contrast, informal codes of conduct are norms that are not prescribed or enforced by formal means; for example, etiquette (<a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVitS5wpEbGdrcN5Y29ycA" class="cyc_term">MannersCodeOfConduct</a>) and ethics (<a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVj-NZwpEbGdrcN5Y29ycA" class="cyc_term">EthicsCodeOfConduct</a>). formal code of conduct A specialization of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rlvOL4mY1QdiY7KN-1Xb3Fw" class="cyc_term">NormativeSpecification</a>. Each instance of the collection <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVi_0JwpEbGdrcN5Y29ycA" class="cyc_term">Obligation</a> is specification of what some agent (related to the obligation via <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjWx5wpEbGdrcN5Y29ycA" class="cyc_term">obligatedAgents</a> (q.v.)) is obliged to do, or make true, for one or more other agents or possibly 'for' society in general. An obligation is the most general case of some agent owing something to another. Obligations may be undertaken in conjunction with various kinds of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVivo5wpEbGdrcN5Y29ycA" class="cyc_term">Agreement</a>s. Unlike an agreement, however, an obligation need not have a second known party (though some do). An obligation can exist and be understood without identifying another particular agent as the 'holder' of the obligation -- and that may be true, even if the beneficiary (<a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjXi5wpEbGdrcN5Y29ycA" class="cyc_term">obligationOwedTo</a>) can be identified. For example, assuming that parents have an obligation to care for their children, it is not clear with whom a parent has 'agreed' to take care of his or her child. Some common ways to incur an obligation are through social transactions (e.g. family duties, friendship, favors) or through financial transactions (e.g. a <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjD8ZwpEbGdrcN5Y29ycA" class="cyc_term">PaymentObligation</a>). In addition, obligations may be imposed on those who are subject to one or more instances of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViVx5wpEbGdrcN5Y29ycA" class="cyc_term">CodeOfConduct</a>, e.g. <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVkDMpwpEbGdrcN5Y29ycA" class="cyc_term">SportsRulesOf_BoxingSportsEvent</a> or <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVifDpwpEbGdrcN5Y29ycA" class="cyc_term">OfficeCodeOfConduct</a>. Obligation obligation A collection of agreements; a subset of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViwXpwpEbGdrcN5Y29ycA" class="cyc_term">LegalAgreement</a>. Each element of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvgGJIZwpEbGdrcN5Y29ycA" class="cyc_term">SalesContract</a> is a legal agreement between a selling agent and a buying agent, stipulating the terms under which the seller will provide goods and/or services to the buyer. SalesContract sales contract code of conduct CodeOfConduct A specialization of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rlvOL4mY1QdiY7KN-1Xb3Fw" class="cyc_term">NormativeSpecification</a> and <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rv5L5vZwpEbGdrcN5Y29ycA" class="cyc_term">PropositionalConceptualWork</a>. Each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViVx5wpEbGdrcN5Y29ycA" class="cyc_term">CodeOfConduct</a> is specification of obligations, entitlements, or prohibitions of agents. account An instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVirnZwpEbGdrcN5Y29ycA" class="cyc_term">ObjectType</a> and a specialization of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViwXpwpEbGdrcN5Y29ycA" class="cyc_term">LegalAgreement</a>. Each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rTXWNgDjCEd2AAADggVbxzQ" class="cyc_term">Account</a> is a recorded obligation (of some particular type) between specified parties, consisting of &quot;funds&quot; (not necessarily monetary funds) which typically can be added to and drawn upon. Positive examples include instances of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVi6M5wpEbGdrcN5Y29ycA" class="cyc_term">RetirementAccount</a>, <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVkJd5wpEbGdrcN5Y29ycA" class="cyc_term">TravelExpenseAccount</a>, and of the many types of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjc_pwpEbGdrcN5Y29ycA" class="cyc_term">FinancialAccount</a>. Note that the contents of an account need not be monetary; for example, the contents may be amounts of time, as in the specializations <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViV0pwpEbGdrcN5Y29ycA" class="cyc_term">VacationAccount</a> and <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViVj5wpEbGdrcN5Y29ycA" class="cyc_term">SickLeaveAccount</a>. <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rTXWNgDjCEd2AAADggVbxzQ" class="cyc_term">Account</a> does not include debt obligations of fixed face value that cannot be increased or reduced (such as instances of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViEIJwpEbGdrcN5Y29ycA" class="cyc_term">Bond_Agreement</a>). Account-LegalAgreement A specialization of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViwHJwpEbGdrcN5Y29ycA" class="cyc_term">AuthorizedAgreement</a>. Each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVierZwpEbGdrcN5Y29ycA" class="cyc_term">Warranty</a> is an agreement between the seller (and/or manufacturer) and the purchaser of some object or service. In a warranty, the seller/manufacturer promises that the object or service will be satisfactory in some indicated way (e.g., free of defects). Usually a warranty specifies what compensation an unsatisfied purchaser is entitled to (e.g., free repairs, a refund), and how s/he can claim it. Warranty warranty LegalCode legal code A specialization of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVihYJwpEbGdrcN5Y29ycA" class="cyc_term">GovernmentCOC</a>. Each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvWXHupwpEbGdrcN5Y29ycA" class="cyc_term">LegalCode</a> is a code of conduct consisting of all the laws that hold in some instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjl2pwpEbGdrcN5Y29ycA" class="cyc_term">GeopoliticalEntity</a>. One notable instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvWXHupwpEbGdrcN5Y29ycA" class="cyc_term">LegalCode</a> is <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rS1HHWrvXEdmAAAACs6hRjg" class="cyc_term">UnitedStatesCode</a>. proposalStatus Proposal Status The predicate <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rAZ6_lH8AEdaAAAABAjVgzA" class="cyc_term">proposalStatus</a> is used to indicate the status of a particular proposal. (<a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rAZ6_lH8AEdaAAAABAjVgzA" class="cyc_term">proposalStatus</a> PROPOS STATUS) means that the <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvWRmJZwpEbGdrcN5Y29ycA" class="cyc_term">Proposal</a> PROPOS has STATUS as its <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rZf87_HSxEdaAAACgyZzFrg" class="cyc_term">ProposalTypeByStatus</a> (e.g., <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVihKZwpEbGdrcN5Y29ycA" class="cyc_term">Acknowledged</a>, <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViM5pwpEbGdrcN5Y29ycA" class="cyc_term">AwaitingConfirmation</a>, <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViiLZwpEbGdrcN5Y29ycA" class="cyc_term">Accepted</a>). Since the status of a proposal changes throughout the process of submission and consideration, assertions made with <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rAZ6_lH8AEdaAAAABAjVgzA" class="cyc_term">proposalStatus</a> should be temporally qualified (e.g., using <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViBE5wpEbGdrcN5Y29ycA" class="cyc_term">holdsIn</a>). InsurancePlan insurance A collection of agreements; a subset of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViwXpwpEbGdrcN5Y29ycA" class="cyc_term">LegalAgreement</a>. Each element of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjirZwpEbGdrcN5Y29ycA" class="cyc_term">InsurancePlan</a> is an agreement between two or more agents. For each such plan, there is at least one <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwP1SWZwpEbGdrcN5Y29ycA" class="cyc_term">insuredAgent</a> who is covered by the insurance plan, and one <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwP1SPZwpEbGdrcN5Y29ycA" class="cyc_term">insuringAgent</a> who is the insurance provider (e.g., HMO, insurance company, or U.S. Federal government agency). An insurance plan may be funded by (see <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwP1VepwpEbGdrcN5Y29ycA" class="cyc_term">insuranceFundedBy</a>) the insured or by a third party, such as the insured's employer. Some subsets of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjirZwpEbGdrcN5Y29ycA" class="cyc_term">InsurancePlan</a> representing insurance for different insured event types are: <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVji75wpEbGdrcN5Y29ycA" class="cyc_term">LifeInsurance</a>, <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjkN5wpEbGdrcN5Y29ycA" class="cyc_term">MedicalInsurance</a>, <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjj9ZwpEbGdrcN5Y29ycA" class="cyc_term">DisabilityInsurance</a>, <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjjMZwpEbGdrcN5Y29ycA" class="cyc_term">HomeOwnersInsurance</a>, <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjjtJwpEbGdrcN5Y29ycA" class="cyc_term">AutomobileInsurance</a>, <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwP1WcJwpEbGdrcN5Y29ycA" class="cyc_term">LiabilityInsurance</a>. A collection of codes of conduct; a subcollection of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVivX5wpEbGdrcN5Y29ycA" class="cyc_term">FormalCOC</a> (the collection of formal codes of conduct). Each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVihYJwpEbGdrcN5Y29ycA" class="cyc_term">GovernmentCOC</a> is a formal regulation of behavior imposed upon agents -- including citizens, tourists, businesses, government entities, etc., in so far as they are subject to it -- who are located within the legal jurisdiction where that code of conduct holds. <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVihYJwpEbGdrcN5Y29ycA" class="cyc_term">GovernmentCOC</a> includes both individual laws and whole legal codes. Some examples of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVihYJwpEbGdrcN5Y29ycA" class="cyc_term">GovernmentCOC</a> include: the Napoleonic Code, the United States Constitution and all Federal, State, and local laws of the United States, and the particular laws against stealing found in most, if not all, countries. Enforcement of a particular instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVihYJwpEbGdrcN5Y29ycA" class="cyc_term">GovernmentCOC</a> is authorized by the government associated with that code and carried out by its agents within their jurisdiction(s). See also <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvWXHupwpEbGdrcN5Y29ycA" class="cyc_term">LegalCode</a> and <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvV1TLJwpEbGdrcN5Y29ycA" class="cyc_term">Law</a>. code of conduct imposed by government GovernmentCOC LegalAgreement An instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVirnZwpEbGdrcN5Y29ycA" class="cyc_term">ObjectType</a>, and a specialization of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVivo5wpEbGdrcN5Y29ycA" class="cyc_term">Agreement</a>. Each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViwXpwpEbGdrcN5Y29ycA" class="cyc_term">LegalAgreement</a> is an agreement which has a legal status; that is, it is recognized as a valid agreement by some government. Notable specializations of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViwXpwpEbGdrcN5Y29ycA" class="cyc_term">LegalAgreement</a> include <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvgGJIZwpEbGdrcN5Y29ycA" class="cyc_term">SalesContract</a>, <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVr0WpwpEbGdrcN5Y29ycA" class="cyc_term">Visa_Permit</a>, and <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rTXWNgDjCEd2AAADggVbxzQ" class="cyc_term">Account</a>. legal agreement OrganizationPolicy policy A specialization of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVivo5wpEbGdrcN5Y29ycA" class="cyc_term">Agreement</a>. Each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVj1_pwpEbGdrcN5Y29ycA" class="cyc_term">OrganizationPolicy</a> is an agreement which contains the terms of some policy of a particular organization. Instances of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVj1_pwpEbGdrcN5Y29ycA" class="cyc_term">OrganizationPolicy</a> would include U.S. Federal government hiring policies, a policy governing a corporation's charitable or political donations, or a school dress code. A specialization of both <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVixZJwpEbGdrcN5Y29ycA" class="cyc_term">SupposedToBeMicrotheory</a> and <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVixI5wpEbGdrcN5Y29ycA" class="cyc_term">IntangibleExistingThing</a>. Each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvWRmJZwpEbGdrcN5Y29ycA" class="cyc_term">Proposal</a> is a potential agreement in the 'proposal' stage -- i.e., a potential agreement which is under consideration but which has not yet been adopted. The making and consideration of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvWRmJZwpEbGdrcN5Y29ycA" class="cyc_term">Proposal</a>s is an important part of such activities as <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjt_5wpEbGdrcN5Y29ycA" class="cyc_term">Negotiating</a> and legislative <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwQCO_ZwpEbGdrcN5Y29ycA" class="cyc_term">Debate</a> (qq.v.). Examples of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvWRmJZwpEbGdrcN5Y29ycA" class="cyc_term">Proposal</a>s include instances of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVkYVZwpEbGdrcN5Y29ycA" class="cyc_term">BidOnSale</a>, job offers, proposed codes of conduct (including proposals for new <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvV1TLJwpEbGdrcN5Y29ycA" class="cyc_term">Law</a>s), and proposed punishments. proposal Proposal A specialization of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rwIE23ZwpEbGdrcN5Y29ycA" class="cyc_term">TimeDependentCollection</a> (q.v.). This is the collection of all and only those collections <code><b>COL</b></code> such that any thing's being an instance of <code><b>COL</b></code> depends on the current state of the <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvVjqoZwpEbGdrcN5Y29ycA" class="cyc_term">CycKB</a>. Such a <code><b>COL</b></code> corresponds to a property defined (at least partly) in terms of the contents, features, or implementation of the Cyc Knowledge Base itself, as opposed to a property that &quot;exists out there&quot; in the KB-independent world. <p/> For example, <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvV281JwpEbGdrcN5Y29ycA" class="cyc_term">CycLAssertion</a> is a KB-dependent collection, membership in which requires of a given CycL sentence that it has in fact been asserted to the KB. <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViAoJwpEbGdrcN5Y29ycA" class="cyc_term">CycLSentence</a> is also KB-dependent, as being a CycL sentence requires being composed (ultimately) out of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvu6KTZwpEbGdrcN5Y29ycA" class="cyc_term">CycLReifiedDenotationalTerm</a>s (and perhaps variables) -- i.e. terms that are currently reified in the KB. Conversely, <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rv5ddsJwpEbGdrcN5Y29ycA" class="cyc_term">Sentence</a> is <i>not</i> a KB-dependent collection. <p/> See also <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvip9N5wpEbGdrcN5Y29ycA" class="cyc_term">KBDependentRelation</a>. KB dependent collection KBDependentCollection 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>. Agreement-Topic agreement-topic some sample kinds of agreements agreement topic SomeSampleKindsOfAgreements-Agreement-Topic CycVocabularyTopic An instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvprlOZwpEbGdrcN5Y29ycA" class="cyc_term">FacetingCollectionType</a> and a specialization of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rgQsP1F2xEdif1wACs2IMlQ" class="cyc_term">Topic</a>. Each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rAmoSCGJbQdiSXZJvYiNhkQ" class="cyc_term">CycVocabularyTopic</a> is a collection of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViA9JwpEbGdrcN5Y29ycA" class="cyc_term">Thing</a>s falling under a topic for which some Cyc Vocabulary exists. <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rgQsP1F2xEdif1wACs2IMlQ" class="cyc_term">Topic</a> is neither a strict [<a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvcZ1FpwpEbGdrcN5Y29ycA" class="cyc_term">facets_Strict</a>] nor a covering [<a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rv86JWpwpEbGdrcN5Y29ycA" class="cyc_term">facets_Covering</a>] faceting of <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViA9JwpEbGdrcN5Y29ycA" class="cyc_term">Thing</a>: many <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rvViA9JwpEbGdrcN5Y29ycA" class="cyc_term">Thing</a>s may be instances of no <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rgQsP1F2xEdif1wACs2IMlQ" class="cyc_term">Topic</a>, or of multiple <a href="http://sw.opencyc.org/2008/06/10/concept/Mx4rgQsP1F2xEdif1wACs2IMlQ" class="cyc_term">Topic</a>s. cyc vocabulary topic some sample kinds of agreements agreement topic SomeSampleKindsOfAgreements-Agreement-Topic