]> 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. agreement Mx4rvVivo5wpEbGdrcN5Y29ycA Agreement A specialization of <a href="http://sw.opencyc.org/2008/06/10/concept/en/Policy" class="cyc_term">Policy</a> (q.v.). Each instance of this collection involves two or more parties who agree that certain propositions (which are the contents of a corresponding <a href="http://sw.opencyc.org/2008/06/10/concept/en/Microtheory" class="cyc_term">Microtheory</a> -- see the shared note <font color="#ff0000">#$AgreementNote</font>) should be true. Making the propositions true may require some action or commitment of resources on the part of one or more of the <a href="http://sw.opencyc.org/2008/06/10/concept/en/agreeingAgents" class="cyc_term">agreeingAgents</a>. Thus, instances of <a href="http://sw.opencyc.org/2008/06/10/concept/en/Agreement" class="cyc_term">Agreement</a> will usually involve some instances of <a href="http://sw.opencyc.org/2008/06/10/concept/en/Obligation" class="cyc_term">Obligation</a>. Instances of <a href="http://sw.opencyc.org/2008/06/10/concept/en/Agreement" class="cyc_term">Agreement</a> and <a href="http://sw.opencyc.org/2008/06/10/concept/en/Obligation" class="cyc_term">Obligation</a> differ, however, in that an <a href="http://sw.opencyc.org/2008/06/10/concept/en/obligatedAgents" class="cyc_term">obligatedAgents</a> is responsible for the truth of all of the propositions over which the obligation holds. In an <a href="http://sw.opencyc.org/2008/06/10/concept/en/Agreement" class="cyc_term">Agreement</a> some agents may not be so responsible. For example, in a loan agreement, the borrower agrees to give the lender back the money, but the borrower is the only <a href="http://sw.opencyc.org/2008/06/10/concept/en/obligatedAgents" class="cyc_term">obligatedAgents</a> for the repayment. Note that <a href="http://sw.opencyc.org/2008/06/10/concept/en/obligatedAgents" class="cyc_term">obligatedAgents</a> need not be among the <a href="http://sw.opencyc.org/2008/06/10/concept/en/agreeingAgents" class="cyc_term">agreeingAgents</a> in the agreement that involves or generates the obligation. Moreover, <a href="http://sw.opencyc.org/2008/06/10/concept/en/agreeingAgents" class="cyc_term">agreeingAgents</a> aren't always <a href="http://sw.opencyc.org/2008/06/10/concept/en/obligatedAgents" class="cyc_term">obligatedAgents</a>; e.g., Wanda and Paul may agree that Paul alone is obligated to do some task. Notable specializations of <a href="http://sw.opencyc.org/2008/06/10/concept/en/Agreement" class="cyc_term">Agreement</a> include <a href="http://sw.opencyc.org/2008/06/10/concept/en/PeaceAccord" class="cyc_term">PeaceAccord</a>, <a href="http://sw.opencyc.org/2008/06/10/concept/en/LegalAgreement" class="cyc_term">LegalAgreement</a>, <a href="http://sw.opencyc.org/2008/06/10/concept/en/InformalAgreement" class="cyc_term">InformalAgreement</a>, <a href="http://sw.opencyc.org/2008/06/10/concept/en/BusinessPartnershipAgreement" class="cyc_term">BusinessPartnershipAgreement</a>, <a href="http://sw.opencyc.org/2008/06/10/concept/en/WorkAgreement" class="cyc_term">WorkAgreement</a>, <a href="http://sw.opencyc.org/2008/06/10/concept/en/MaintenanceAgreement" class="cyc_term">MaintenanceAgreement</a>, <a href="http://sw.opencyc.org/2008/06/10/concept/en/Reservation" class="cyc_term">Reservation</a> and <a href="http://sw.opencyc.org/2008/06/10/concept/en/Appointment" class="cyc_term">Appointment</a>. For assertions about what is &quot;supposed to be&quot; true, given some <a href="http://sw.opencyc.org/2008/06/10/concept/en/Agreement" class="cyc_term">Agreement</a>, see <a href="http://sw.opencyc.org/2008/06/10/concept/en/ist_Agreement" class="cyc_term">ist_Agreement</a>. testaments compacts deal accord assent covenants pacts agreements pact accords covenant deals testament compact AuthorizedAgreement authorized agreement A specialization of <a href="http://sw.opencyc.org/2008/06/10/concept/en/Agreement" class="cyc_term">Agreement</a>. Each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/en/Agreement" class="cyc_term">Agreement</a> is a generic agreement that is authorized by one of the agreeing parties (typically by the issuer of the document embodying the agreement). <a href="http://sw.opencyc.org/2008/06/10/concept/en/AuthorizedAgreement" class="cyc_term">AuthorizedAgreement</a>s are generic in the sense that their authorizing agents are party to many similar agreements; for that reason, an <a href="http://sw.opencyc.org/2008/06/10/concept/en/AuthorizedAgreement" class="cyc_term">AuthorizedAgreement</a> is typically given a unique identification number. Notable positive examples include bank accounts, driver's licenses, and stock certificates. DefenseCooperationAgreement-Mutual The collection of agreements in which the all of the <a href="http://sw.opencyc.org/2008/06/10/concept/en/agreeingAgents" class="cyc_term">agreeingAgents</a> agree to support each other militarily in cases where defense in needed. A defense agreement between countries, for example, might include provisions for one country to station some military personnel and equipment in another country. defense cooperation agreement mutual TemporaryUserRightsAgreement temporary user rights agreement An agreement in which user rights are temporarily affected. LegalAgreement legal agreement An instance of <a href="http://sw.opencyc.org/2008/06/10/concept/en/ObjectType" class="cyc_term">ObjectType</a>, and a specialization of <a href="http://sw.opencyc.org/2008/06/10/concept/en/Agreement" class="cyc_term">Agreement</a>. Each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/en/LegalAgreement" 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/en/LegalAgreement" class="cyc_term">LegalAgreement</a> include <a href="http://sw.opencyc.org/2008/06/10/concept/en/SalesContract" class="cyc_term">SalesContract</a>, <a href="http://sw.opencyc.org/2008/06/10/concept/en/Visa_Permit" class="cyc_term">Visa_Permit</a>, and <a href="http://sw.opencyc.org/2008/06/10/concept/en/Account" class="cyc_term">Account</a>. line item in an agreement A single point of an agreement. In the case of sales agreements or other kinds of contracts, the line items often have their own id numbers and so on. AgreementLineItem A specialization of <a href="http://sw.opencyc.org/2008/06/10/concept/en/Agreement" class="cyc_term">Agreement</a>. Each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/en/Permission" 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/en/Agent_PartiallyTangible" 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/en/Permission" class="cyc_term">Permission</a> include <a href="http://sw.opencyc.org/2008/06/10/concept/en/License_LegalAgreement" class="cyc_term">License_LegalAgreement</a> and <a href="http://sw.opencyc.org/2008/06/10/concept/en/Visa_Permit" class="cyc_term">Visa_Permit</a>. permission Permission The collection of all separation agreements. A type of <a href="http://sw.opencyc.org/2008/06/10/concept/en/Agreement" class="cyc_term">Agreement</a>. separation agreement SeparationAgreement The broad collection of agreements which constrain one or more of the agreeing parties to perform one or more instances of <a href="http://sw.opencyc.org/2008/06/10/concept/en/EconomicAction" class="cyc_term">EconomicAction</a>. economic agreement EconomicAgreement The collection of all compromises. A type of <a href="http://sw.opencyc.org/2008/06/10/concept/en/MakingAnAgreement" class="cyc_term">MakingAnAgreement</a> and <a href="http://sw.opencyc.org/2008/06/10/concept/en/Agreement" class="cyc_term">Agreement</a>. compromise Compromise JobDescription A kind of context whose instances should contain assertions that indicates the disjunction of tasks that an employee normally performs while he/she is at work. This is represented as assertions using performsInsAsJob. Some of the well-defined job decriptions will actually contain obligations (which would be a <a href="http://sw.opencyc.org/2008/06/10/concept/en/genlMt" class="cyc_term">genlMt</a> of the <a href="http://sw.opencyc.org/2008/06/10/concept/en/JobDescription" class="cyc_term">JobDescription</a>) for the employee to perform a certain task. It also may outline what their boss may ask them to do. For example, a janitor's job description would include an obligation such that the janitor performs vacuuming, dusting, cleaning the bathroom, etc. It may even be as specific to say that the janitor performs vacuuming on Thursdays and dusting on Fridays. job description An agreement between a person or group of people and a restaurant hotel etc. to have a table, room, etc ready for the person(s) use at a specific time. booking Reservation An instance is a scholarship, a kind of <a href="http://sw.opencyc.org/2008/06/10/concept/en/Agreement" class="cyc_term">Agreement</a> where one <a href="http://sw.opencyc.org/2008/06/10/concept/en/Agent_PartiallyTangible" class="cyc_term">Agent_PartiallyTangible</a> gives another some amount of <a href="http://sw.opencyc.org/2008/06/10/concept/en/MonetaryValue" class="cyc_term">MonetaryValue</a> to be used for their education imposed on the receiving <a href="http://sw.opencyc.org/2008/06/10/concept/en/Agent_PartiallyTangible" class="cyc_term">Agent_PartiallyTangible</a>. ScholarshipAgreement scholarship InternationalAgreement international agreement A specialization of <a href="http://sw.opencyc.org/2008/06/10/concept/en/Agreement" class="cyc_term">Agreement</a> (q.v.). Each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/en/InternationalAgreement" class="cyc_term">InternationalAgreement</a> is a formal agreement among (see <a href="http://sw.opencyc.org/2008/06/10/concept/en/agreeingAgents" class="cyc_term">agreeingAgents</a>) countries or organizations with international scope. <p/> Examples of <a href="http://sw.opencyc.org/2008/06/10/concept/en/InternationalAgreement" class="cyc_term">InternationalAgreement</a> include treaties to end wars, trade agreements, the <a href="http://sw.opencyc.org/2008/06/10/concept/en/NuclearNonProliferationTreaty" class="cyc_term">NuclearNonProliferationTreaty</a>, the <font color="#ff0000">#$ChemicalWeaponsConvention</font>, and the Geneva Convention. Specializations include <a href="http://sw.opencyc.org/2008/06/10/concept/en/Treaty" class="cyc_term">Treaty</a> and <a href="http://sw.opencyc.org/2008/06/10/concept/en/PeaceAccord" class="cyc_term">PeaceAccord</a>. allowance Allowance A specialization of <a href="http://sw.opencyc.org/2008/06/10/concept/en/Agreement" class="cyc_term">Agreement</a>. Each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/en/Allowance" class="cyc_term">Allowance</a> is an agreement in which one party agrees to reimburse (usually monetarily) another party that meets certain criteria. Important specializations include the various types of tax allowances. An agreement to do something (usually meet someone) at a specified time and place Appointment appointment Constitution fundamental law A sub-collection of <a href="http://sw.opencyc.org/2008/06/10/concept/en/Law" class="cyc_term">Law</a>. Each instance is a law determining the fundamental political principles of a government. understanding Understanding InvalidatedAgreement invalidated agreement A sub-collection of <a href="http://sw.opencyc.org/2008/06/10/concept/en/Agreement" class="cyc_term">Agreement</a>. Instances of <font color="#ff0000">#$InvalidateAgreement</font> represent those instances of <a href="http://sw.opencyc.org/2008/06/10/concept/en/Agreement" class="cyc_term">Agreement</a> where some of the conditions on that instance have been violated such that the permissions extended to or reponsibilities imposed on some or all of the parties involved in the <a href="http://sw.opencyc.org/2008/06/10/concept/en/Agreement" class="cyc_term">Agreement</a> have been nullified. A specialization of both <a href="http://sw.opencyc.org/2008/06/10/concept/en/Obligation" class="cyc_term">Obligation</a> and <a href="http://sw.opencyc.org/2008/06/10/concept/en/Agreement" class="cyc_term">Agreement</a> (q.v.). Each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/en/Assignment_Obligation" class="cyc_term">Assignment_Obligation</a> is an obligation to maintain, bring about, or prevent some type of situation. The agents who have this obligation are the <a href="http://sw.opencyc.org/2008/06/10/concept/en/allottedAgents" class="cyc_term">allottedAgents</a> and the agents who have given out this obligation are the <a href="http://sw.opencyc.org/2008/06/10/concept/en/assigner" class="cyc_term">assigner</a>. <p/> Assignments come in a wide variety of flavors. The work/action assigned might or might not be part of the assignees' job. The assignment might be formal or casual, explicit or tacit. An assignment might take seconds to complete or decades to complete. A given assignment might be one-off or recurring. An assignment given to multiple agents might or might not require more-or-less the same thing of each agent, and it might require them to work independently or in concert. One can take an assignment &quot;upon oneself&quot;, which means (in effect) assigning it to oneself. assigned task Assignment-Obligation agreements that are endorsed by soceity but might not have any legal status SocialAgreement social agreement A specialization of <a href="http://sw.opencyc.org/2008/06/10/concept/en/Agreement" class="cyc_term">Agreement</a>. Each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/en/Bet" class="cyc_term">Bet</a> is an agreement in which the parties to the agreement stake something valuable (often money) on the outcome of some event. betting Bet Cease-Fire cease-fire The collection of all cease-fires. A type of <a href="http://sw.opencyc.org/2008/06/10/concept/en/Agreement" class="cyc_term">Agreement</a>. A <a href="http://sw.opencyc.org/2008/06/10/concept/en/CommissionAgreement" class="cyc_term">CommissionAgreement</a> is an agreement that specifies payments to one party if they serve as a <a href="http://sw.opencyc.org/2008/06/10/concept/en/sellingAgent" class="cyc_term">sellingAgent</a> or <a href="http://sw.opencyc.org/2008/06/10/concept/en/buyingAgent" class="cyc_term">buyingAgent</a> in certain Buying events where the other party is the seller commission CommissionAgreement InformalAgreement informal agreement The collection of all informal agreements. A type of <a href="http://sw.opencyc.org/2008/06/10/concept/en/Agreement" class="cyc_term">Agreement</a>. MissionStatement-Organization mission statement organization Iran-KazakhstanOilAgreement Iran Kazakhstan Oil Deal's agreement NAFTA NAFTA the U.N. law of the sea <a href="http://sw.opencyc.org/2008/06/10/concept/en/LawOfTheSea_UnitedNationsConvention" class="cyc_term">LawOfTheSea_UnitedNationsConvention</a> represents the agreement developed by the U.N. Law of the Sea Conference, which comprehensively covers maritime travel, commerce, and resource development. This convention, based on work of the 1982 U.N. Conference on maritime law, is not yet in force, although many nations endorse and abide by many of its provisions. The United States, for example, is not a signatory to this convention; it supports all elements of the code except those concerned with ocean mineral rights. LawOfTheSea-UnitedNationsConvention Agreement To Pay Ransom For Arun Chand The event that <font color="#ff0000">#$ArunChand</font> agreed to pay up some amount to the local farmers of <a href="http://sw.opencyc.org/2008/06/10/concept/en/Kailali_DistrictNepal" class="cyc_term">Kailali_DistrictNepal</a>, for his release. It is not clear whether he agreed to pay the ransom demanded in <a href="http://sw.opencyc.org/2008/06/10/concept/en/DemandingRansomForArunChand" class="cyc_term">DemandingRansomForArunChand</a>. AgreementToPayRansomForArunChand MineralRightsClause-UNLawOfTheSea the Mineral Rights Clause of the UN's Law Of The Sea This constant represents that portion of LawOfTheSea-UnitedNationsConvention concerned with rights to mining minerals on the ocean floor. The United States does not endorse this portion of the U.N. Law of the Sea. policy A specialization of <a href="http://sw.opencyc.org/2008/06/10/concept/en/NormativeSpecification" class="cyc_term">NormativeSpecification</a> (q.v.). Each instance of <a href="http://sw.opencyc.org/2008/06/10/concept/en/Policy" class="cyc_term">Policy</a> is a specification which contains the terms of some policy of a particular agent or agents. <a href="http://sw.opencyc.org/2008/06/10/concept/en/Policy" class="cyc_term">Policy</a> is thus stronger than <a href="http://sw.opencyc.org/2008/06/10/concept/en/NormativeSpecification" class="cyc_term">NormativeSpecification</a>, since some normative specifications may describe the way the world should be without describing what agents should do. <p/> Instances of <a href="http://sw.opencyc.org/2008/06/10/concept/en/Policy" class="cyc_term">Policy</a> would include U.S. Federal government hiring policies (see <a href="http://sw.opencyc.org/2008/06/10/concept/en/OrganizationPolicy" class="cyc_term">OrganizationPolicy</a>), an individual's policy to refrain from violating rules of grammar when writing, to go to the gym three times a week, or to be honest (it is widely noted that honesty is the best policy). <p/> Note that most policies with more than one committed agent are instances of <a href="http://sw.opencyc.org/2008/06/10/concept/en/Agreement" class="cyc_term">Agreement</a> (q.v.), a specialization of <a href="http://sw.opencyc.org/2008/06/10/concept/en/Policy" class="cyc_term">Policy</a>. Policy agreement Agreement A specialization of <a href="http://sw.opencyc.org/2008/06/10/concept/en/Policy" class="cyc_term">Policy</a> (q.v.). Each instance of this collection involves two or more parties who agree that certain propositions (which are the contents of a corresponding <a href="http://sw.opencyc.org/2008/06/10/concept/en/Microtheory" class="cyc_term">Microtheory</a> -- see the shared note <font color="#ff0000">#$AgreementNote</font>) should be true. Making the propositions true may require some action or commitment of resources on the part of one or more of the <a href="http://sw.opencyc.org/2008/06/10/concept/en/agreeingAgents" class="cyc_term">agreeingAgents</a>. Thus, instances of <a href="http://sw.opencyc.org/2008/06/10/concept/en/Agreement" class="cyc_term">Agreement</a> will usually involve some instances of <a href="http://sw.opencyc.org/2008/06/10/concept/en/Obligation" class="cyc_term">Obligation</a>. Instances of <a href="http://sw.opencyc.org/2008/06/10/concept/en/Agreement" class="cyc_term">Agreement</a> and <a href="http://sw.opencyc.org/2008/06/10/concept/en/Obligation" class="cyc_term">Obligation</a> differ, however, in that an <a href="http://sw.opencyc.org/2008/06/10/concept/en/obligatedAgents" class="cyc_term">obligatedAgents</a> is responsible for the truth of all of the propositions over which the obligation holds. In an <a href="http://sw.opencyc.org/2008/06/10/concept/en/Agreement" class="cyc_term">Agreement</a> some agents may not be so responsible. For example, in a loan agreement, the borrower agrees to give the lender back the money, but the borrower is the only <a href="http://sw.opencyc.org/2008/06/10/concept/en/obligatedAgents" class="cyc_term">obligatedAgents</a> for the repayment. Note that <a href="http://sw.opencyc.org/2008/06/10/concept/en/obligatedAgents" class="cyc_term">obligatedAgents</a> need not be among the <a href="http://sw.opencyc.org/2008/06/10/concept/en/agreeingAgents" class="cyc_term">agreeingAgents</a> in the agreement that involves or generates the obligation. Moreover, <a href="http://sw.opencyc.org/2008/06/10/concept/en/agreeingAgents" class="cyc_term">agreeingAgents</a> aren't always <a href="http://sw.opencyc.org/2008/06/10/concept/en/obligatedAgents" class="cyc_term">obligatedAgents</a>; e.g., Wanda and Paul may agree that Paul alone is obligated to do some task. Notable specializations of <a href="http://sw.opencyc.org/2008/06/10/concept/en/Agreement" class="cyc_term">Agreement</a> include <a href="http://sw.opencyc.org/2008/06/10/concept/en/PeaceAccord" class="cyc_term">PeaceAccord</a>, <a href="http://sw.opencyc.org/2008/06/10/concept/en/LegalAgreement" class="cyc_term">LegalAgreement</a>, <a href="http://sw.opencyc.org/2008/06/10/concept/en/InformalAgreement" class="cyc_term">InformalAgreement</a>, <a href="http://sw.opencyc.org/2008/06/10/concept/en/BusinessPartnershipAgreement" class="cyc_term">BusinessPartnershipAgreement</a>, <a href="http://sw.opencyc.org/2008/06/10/concept/en/WorkAgreement" class="cyc_term">WorkAgreement</a>, <a href="http://sw.opencyc.org/2008/06/10/concept/en/MaintenanceAgreement" class="cyc_term">MaintenanceAgreement</a>, <a href="http://sw.opencyc.org/2008/06/10/concept/en/Reservation" class="cyc_term">Reservation</a> and <a href="http://sw.opencyc.org/2008/06/10/concept/en/Appointment" class="cyc_term">Appointment</a>. For assertions about what is &quot;supposed to be&quot; true, given some <a href="http://sw.opencyc.org/2008/06/10/concept/en/Agreement" class="cyc_term">Agreement</a>, see <a href="http://sw.opencyc.org/2008/06/10/concept/en/ist_Agreement" class="cyc_term">ist_Agreement</a>. agreement Agreement A specialization of <a href="http://sw.opencyc.org/2008/06/10/concept/en/Policy" class="cyc_term">Policy</a> (q.v.). Each instance of this collection involves two or more parties who agree that certain propositions (which are the contents of a corresponding <a href="http://sw.opencyc.org/2008/06/10/concept/en/Microtheory" class="cyc_term">Microtheory</a> -- see the shared note <font color="#ff0000">#$AgreementNote</font>) should be true. Making the propositions true may require some action or commitment of resources on the part of one or more of the <a href="http://sw.opencyc.org/2008/06/10/concept/en/agreeingAgents" class="cyc_term">agreeingAgents</a>. Thus, instances of <a href="http://sw.opencyc.org/2008/06/10/concept/en/Agreement" class="cyc_term">Agreement</a> will usually involve some instances of <a href="http://sw.opencyc.org/2008/06/10/concept/en/Obligation" class="cyc_term">Obligation</a>. Instances of <a href="http://sw.opencyc.org/2008/06/10/concept/en/Agreement" class="cyc_term">Agreement</a> and <a href="http://sw.opencyc.org/2008/06/10/concept/en/Obligation" class="cyc_term">Obligation</a> differ, however, in that an <a href="http://sw.opencyc.org/2008/06/10/concept/en/obligatedAgents" class="cyc_term">obligatedAgents</a> is responsible for the truth of all of the propositions over which the obligation holds. In an <a href="http://sw.opencyc.org/2008/06/10/concept/en/Agreement" class="cyc_term">Agreement</a> some agents may not be so responsible. For example, in a loan agreement, the borrower agrees to give the lender back the money, but the borrower is the only <a href="http://sw.opencyc.org/2008/06/10/concept/en/obligatedAgents" class="cyc_term">obligatedAgents</a> for the repayment. Note that <a href="http://sw.opencyc.org/2008/06/10/concept/en/obligatedAgents" class="cyc_term">obligatedAgents</a> need not be among the <a href="http://sw.opencyc.org/2008/06/10/concept/en/agreeingAgents" class="cyc_term">agreeingAgents</a> in the agreement that involves or generates the obligation. Moreover, <a href="http://sw.opencyc.org/2008/06/10/concept/en/agreeingAgents" class="cyc_term">agreeingAgents</a> aren't always <a href="http://sw.opencyc.org/2008/06/10/concept/en/obligatedAgents" class="cyc_term">obligatedAgents</a>; e.g., Wanda and Paul may agree that Paul alone is obligated to do some task. Notable specializations of <a href="http://sw.opencyc.org/2008/06/10/concept/en/Agreement" class="cyc_term">Agreement</a> include <a href="http://sw.opencyc.org/2008/06/10/concept/en/PeaceAccord" class="cyc_term">PeaceAccord</a>, <a href="http://sw.opencyc.org/2008/06/10/concept/en/LegalAgreement" class="cyc_term">LegalAgreement</a>, <a href="http://sw.opencyc.org/2008/06/10/concept/en/InformalAgreement" class="cyc_term">InformalAgreement</a>, <a href="http://sw.opencyc.org/2008/06/10/concept/en/BusinessPartnershipAgreement" class="cyc_term">BusinessPartnershipAgreement</a>, <a href="http://sw.opencyc.org/2008/06/10/concept/en/WorkAgreement" class="cyc_term">WorkAgreement</a>, <a href="http://sw.opencyc.org/2008/06/10/concept/en/MaintenanceAgreement" class="cyc_term">MaintenanceAgreement</a>, <a href="http://sw.opencyc.org/2008/06/10/concept/en/Reservation" class="cyc_term">Reservation</a> and <a href="http://sw.opencyc.org/2008/06/10/concept/en/Appointment" class="cyc_term">Appointment</a>. For assertions about what is &quot;supposed to be&quot; true, given some <a href="http://sw.opencyc.org/2008/06/10/concept/en/Agreement" class="cyc_term">Agreement</a>, see <a href="http://sw.opencyc.org/2008/06/10/concept/en/ist_Agreement" class="cyc_term">ist_Agreement</a>. agreement Agreement A specialization of <a href="http://sw.opencyc.org/2008/06/10/concept/en/Policy" class="cyc_term">Policy</a> (q.v.). Each instance of this collection involves two or more parties who agree that certain propositions (which are the contents of a corresponding <a href="http://sw.opencyc.org/2008/06/10/concept/en/Microtheory" class="cyc_term">Microtheory</a> -- see the shared note <font color="#ff0000">#$AgreementNote</font>) should be true. Making the propositions true may require some action or commitment of resources on the part of one or more of the <a href="http://sw.opencyc.org/2008/06/10/concept/en/agreeingAgents" class="cyc_term">agreeingAgents</a>. Thus, instances of <a href="http://sw.opencyc.org/2008/06/10/concept/en/Agreement" class="cyc_term">Agreement</a> will usually involve some instances of <a href="http://sw.opencyc.org/2008/06/10/concept/en/Obligation" class="cyc_term">Obligation</a>. Instances of <a href="http://sw.opencyc.org/2008/06/10/concept/en/Agreement" class="cyc_term">Agreement</a> and <a href="http://sw.opencyc.org/2008/06/10/concept/en/Obligation" class="cyc_term">Obligation</a> differ, however, in that an <a href="http://sw.opencyc.org/2008/06/10/concept/en/obligatedAgents" class="cyc_term">obligatedAgents</a> is responsible for the truth of all of the propositions over which the obligation holds. In an <a href="http://sw.opencyc.org/2008/06/10/concept/en/Agreement" class="cyc_term">Agreement</a> some agents may not be so responsible. For example, in a loan agreement, the borrower agrees to give the lender back the money, but the borrower is the only <a href="http://sw.opencyc.org/2008/06/10/concept/en/obligatedAgents" class="cyc_term">obligatedAgents</a> for the repayment. Note that <a href="http://sw.opencyc.org/2008/06/10/concept/en/obligatedAgents" class="cyc_term">obligatedAgents</a> need not be among the <a href="http://sw.opencyc.org/2008/06/10/concept/en/agreeingAgents" class="cyc_term">agreeingAgents</a> in the agreement that involves or generates the obligation. Moreover, <a href="http://sw.opencyc.org/2008/06/10/concept/en/agreeingAgents" class="cyc_term">agreeingAgents</a> aren't always <a href="http://sw.opencyc.org/2008/06/10/concept/en/obligatedAgents" class="cyc_term">obligatedAgents</a>; e.g., Wanda and Paul may agree that Paul alone is obligated to do some task. Notable specializations of <a href="http://sw.opencyc.org/2008/06/10/concept/en/Agreement" class="cyc_term">Agreement</a> include <a href="http://sw.opencyc.org/2008/06/10/concept/en/PeaceAccord" class="cyc_term">PeaceAccord</a>, <a href="http://sw.opencyc.org/2008/06/10/concept/en/LegalAgreement" class="cyc_term">LegalAgreement</a>, <a href="http://sw.opencyc.org/2008/06/10/concept/en/InformalAgreement" class="cyc_term">InformalAgreement</a>, <a href="http://sw.opencyc.org/2008/06/10/concept/en/BusinessPartnershipAgreement" class="cyc_term">BusinessPartnershipAgreement</a>, <a href="http://sw.opencyc.org/2008/06/10/concept/en/WorkAgreement" class="cyc_term">WorkAgreement</a>, <a href="http://sw.opencyc.org/2008/06/10/concept/en/MaintenanceAgreement" class="cyc_term">MaintenanceAgreement</a>, <a href="http://sw.opencyc.org/2008/06/10/concept/en/Reservation" class="cyc_term">Reservation</a> and <a href="http://sw.opencyc.org/2008/06/10/concept/en/Appointment" class="cyc_term">Appointment</a>. For assertions about what is &quot;supposed to be&quot; true, given some <a href="http://sw.opencyc.org/2008/06/10/concept/en/Agreement" class="cyc_term">Agreement</a>, see <a href="http://sw.opencyc.org/2008/06/10/concept/en/ist_Agreement" class="cyc_term">ist_Agreement</a>. QA clarifying collection type The collection of all instances of <a href="http://sw.opencyc.org/2008/06/10/concept/en/ClarifyingCollectionType" class="cyc_term">ClarifyingCollectionType</a> that are used by the <a href="http://sw.opencyc.org/2008/06/10/concept/en/QueryAugmentationApplication" class="cyc_term">QueryAugmentationApplication</a> to resolve natural language ambiguities. QAClarifyingCollectionType agreement Agreement A specialization of <a href="http://sw.opencyc.org/2008/06/10/concept/en/Policy" class="cyc_term">Policy</a> (q.v.). Each instance of this collection involves two or more parties who agree that certain propositions (which are the contents of a corresponding <a href="http://sw.opencyc.org/2008/06/10/concept/en/Microtheory" class="cyc_term">Microtheory</a> -- see the shared note <font color="#ff0000">#$AgreementNote</font>) should be true. Making the propositions true may require some action or commitment of resources on the part of one or more of the <a href="http://sw.opencyc.org/2008/06/10/concept/en/agreeingAgents" class="cyc_term">agreeingAgents</a>. Thus, instances of <a href="http://sw.opencyc.org/2008/06/10/concept/en/Agreement" class="cyc_term">Agreement</a> will usually involve some instances of <a href="http://sw.opencyc.org/2008/06/10/concept/en/Obligation" class="cyc_term">Obligation</a>. Instances of <a href="http://sw.opencyc.org/2008/06/10/concept/en/Agreement" class="cyc_term">Agreement</a> and <a href="http://sw.opencyc.org/2008/06/10/concept/en/Obligation" class="cyc_term">Obligation</a> differ, however, in that an <a href="http://sw.opencyc.org/2008/06/10/concept/en/obligatedAgents" class="cyc_term">obligatedAgents</a> is responsible for the truth of all of the propositions over which the obligation holds. In an <a href="http://sw.opencyc.org/2008/06/10/concept/en/Agreement" class="cyc_term">Agreement</a> some agents may not be so responsible. For example, in a loan agreement, the borrower agrees to give the lender back the money, but the borrower is the only <a href="http://sw.opencyc.org/2008/06/10/concept/en/obligatedAgents" class="cyc_term">obligatedAgents</a> for the repayment. Note that <a href="http://sw.opencyc.org/2008/06/10/concept/en/obligatedAgents" class="cyc_term">obligatedAgents</a> need not be among the <a href="http://sw.opencyc.org/2008/06/10/concept/en/agreeingAgents" class="cyc_term">agreeingAgents</a> in the agreement that involves or generates the obligation. Moreover, <a href="http://sw.opencyc.org/2008/06/10/concept/en/agreeingAgents" class="cyc_term">agreeingAgents</a> aren't always <a href="http://sw.opencyc.org/2008/06/10/concept/en/obligatedAgents" class="cyc_term">obligatedAgents</a>; e.g., Wanda and Paul may agree that Paul alone is obligated to do some task. Notable specializations of <a href="http://sw.opencyc.org/2008/06/10/concept/en/Agreement" class="cyc_term">Agreement</a> include <a href="http://sw.opencyc.org/2008/06/10/concept/en/PeaceAccord" class="cyc_term">PeaceAccord</a>, <a href="http://sw.opencyc.org/2008/06/10/concept/en/LegalAgreement" class="cyc_term">LegalAgreement</a>, <a href="http://sw.opencyc.org/2008/06/10/concept/en/InformalAgreement" class="cyc_term">InformalAgreement</a>, <a href="http://sw.opencyc.org/2008/06/10/concept/en/BusinessPartnershipAgreement" class="cyc_term">BusinessPartnershipAgreement</a>, <a href="http://sw.opencyc.org/2008/06/10/concept/en/WorkAgreement" class="cyc_term">WorkAgreement</a>, <a href="http://sw.opencyc.org/2008/06/10/concept/en/MaintenanceAgreement" class="cyc_term">MaintenanceAgreement</a>, <a href="http://sw.opencyc.org/2008/06/10/concept/en/Reservation" class="cyc_term">Reservation</a> and <a href="http://sw.opencyc.org/2008/06/10/concept/en/Appointment" class="cyc_term">Appointment</a>. For assertions about what is &quot;supposed to be&quot; true, given some <a href="http://sw.opencyc.org/2008/06/10/concept/en/Agreement" class="cyc_term">Agreement</a>, see <a href="http://sw.opencyc.org/2008/06/10/concept/en/ist_Agreement" class="cyc_term">ist_Agreement</a>. agreement Agreement A specialization of <a href="http://sw.opencyc.org/2008/06/10/concept/en/Policy" class="cyc_term">Policy</a> (q.v.). Each instance of this collection involves two or more parties who agree that certain propositions (which are the contents of a corresponding <a href="http://sw.opencyc.org/2008/06/10/concept/en/Microtheory" class="cyc_term">Microtheory</a> -- see the shared note <font color="#ff0000">#$AgreementNote</font>) should be true. Making the propositions true may require some action or commitment of resources on the part of one or more of the <a href="http://sw.opencyc.org/2008/06/10/concept/en/agreeingAgents" class="cyc_term">agreeingAgents</a>. Thus, instances of <a href="http://sw.opencyc.org/2008/06/10/concept/en/Agreement" class="cyc_term">Agreement</a> will usually involve some instances of <a href="http://sw.opencyc.org/2008/06/10/concept/en/Obligation" class="cyc_term">Obligation</a>. Instances of <a href="http://sw.opencyc.org/2008/06/10/concept/en/Agreement" class="cyc_term">Agreement</a> and <a href="http://sw.opencyc.org/2008/06/10/concept/en/Obligation" class="cyc_term">Obligation</a> differ, however, in that an <a href="http://sw.opencyc.org/2008/06/10/concept/en/obligatedAgents" class="cyc_term">obligatedAgents</a> is responsible for the truth of all of the propositions over which the obligation holds. In an <a href="http://sw.opencyc.org/2008/06/10/concept/en/Agreement" class="cyc_term">Agreement</a> some agents may not be so responsible. For example, in a loan agreement, the borrower agrees to give the lender back the money, but the borrower is the only <a href="http://sw.opencyc.org/2008/06/10/concept/en/obligatedAgents" class="cyc_term">obligatedAgents</a> for the repayment. Note that <a href="http://sw.opencyc.org/2008/06/10/concept/en/obligatedAgents" class="cyc_term">obligatedAgents</a> need not be among the <a href="http://sw.opencyc.org/2008/06/10/concept/en/agreeingAgents" class="cyc_term">agreeingAgents</a> in the agreement that involves or generates the obligation. Moreover, <a href="http://sw.opencyc.org/2008/06/10/concept/en/agreeingAgents" class="cyc_term">agreeingAgents</a> aren't always <a href="http://sw.opencyc.org/2008/06/10/concept/en/obligatedAgents" class="cyc_term">obligatedAgents</a>; e.g., Wanda and Paul may agree that Paul alone is obligated to do some task. Notable specializations of <a href="http://sw.opencyc.org/2008/06/10/concept/en/Agreement" class="cyc_term">Agreement</a> include <a href="http://sw.opencyc.org/2008/06/10/concept/en/PeaceAccord" class="cyc_term">PeaceAccord</a>, <a href="http://sw.opencyc.org/2008/06/10/concept/en/LegalAgreement" class="cyc_term">LegalAgreement</a>, <a href="http://sw.opencyc.org/2008/06/10/concept/en/InformalAgreement" class="cyc_term">InformalAgreement</a>, <a href="http://sw.opencyc.org/2008/06/10/concept/en/BusinessPartnershipAgreement" class="cyc_term">BusinessPartnershipAgreement</a>, <a href="http://sw.opencyc.org/2008/06/10/concept/en/WorkAgreement" class="cyc_term">WorkAgreement</a>, <a href="http://sw.opencyc.org/2008/06/10/concept/en/MaintenanceAgreement" class="cyc_term">MaintenanceAgreement</a>, <a href="http://sw.opencyc.org/2008/06/10/concept/en/Reservation" class="cyc_term">Reservation</a> and <a href="http://sw.opencyc.org/2008/06/10/concept/en/Appointment" class="cyc_term">Appointment</a>. For assertions about what is &quot;supposed to be&quot; true, given some <a href="http://sw.opencyc.org/2008/06/10/concept/en/Agreement" class="cyc_term">Agreement</a>, see <a href="http://sw.opencyc.org/2008/06/10/concept/en/ist_Agreement" class="cyc_term">ist_Agreement</a>. type of object The collection of all collections that are &quot;object-like&quot; in at least one respect. A collection <code><b>COL</b></code> is object-like just in case there is some sense of 'part' according to which any (or nearly any) given proper part of an instance of <code><b>COL</b></code> is <i>not</i> itself an instance of <code><b>COL</b></code>; when this happens <code><b>COL</b></code> is said to be object-like with respect to that sense of 'part'. <p/> More precisely, for a collection <code><b>COL</b></code> to be an instance of <a href="http://sw.opencyc.org/2008/06/10/concept/en/ObjectType" class="cyc_term">ObjectType</a> it is sufficient that there be some specialization <code><b>PARTPRED</b></code> of <a href="http://sw.opencyc.org/2008/06/10/concept/en/properParts" class="cyc_term">properParts</a> such that, for any <code><b>OBJ1</b></code> and <code><b>OBJ2</b></code>, if <code>(<a href="http://sw.opencyc.org/2008/06/10/concept/en/isa" class="cyc_term">isa</a> <b>OBJ1</b> <b>COL</b>)</code> and <code>(<b>PARTPRED</b> <b>OBJ1</b> <b>OBJ2</b>)</code> both hold, then <code>(<a href="http://sw.opencyc.org/2008/06/10/concept/en/isa" class="cyc_term">isa</a> <b>OBJ2</b> <b>COL</b>)</code> does <i>not</i> hold. (Also sufficient for <code><b>COL</b></code>'s being an object-type is that there be some specialization <code><b>INVPARTPRED</b></code> of the <i>inverse</i> of <a href="http://sw.opencyc.org/2008/06/10/concept/en/properParts" class="cyc_term">properParts</a> (see <a href="http://sw.opencyc.org/2008/06/10/concept/en/genlInverse" class="cyc_term">genlInverse</a>) such that <code>(<b>INVPARTPRED</b> <b>OBJ2</b> <b>OBJ1</b>)</code>, with everything else remaining the same as above.) Note that neither of the above sufficient conditions for <code><b>COL</b></code>'s being an object-type is strictly necessary: some exceptions are allowed. Thus as long as either one of the above conditionals holds in <i>nearly</i> all cases, <code><b>COL</b></code> should be considered an instance of <a href="http://sw.opencyc.org/2008/06/10/concept/en/ObjectType" class="cyc_term">ObjectType</a>. <p/> Here are two examples. Consider <a href="http://sw.opencyc.org/2008/06/10/concept/en/Automobile" class="cyc_term">Automobile</a>. Take an instance of that, say my car. Now consider one of the proper <a href="http://sw.opencyc.org/2008/06/10/concept/en/physicalParts" class="cyc_term">physicalParts</a> of my car, say the steering wheel. The steering wheel is <i>not</i> an instance of <a href="http://sw.opencyc.org/2008/06/10/concept/en/Automobile" class="cyc_term">Automobile</a>. And the same would be true for any proper physical part of any car. So <a href="http://sw.opencyc.org/2008/06/10/concept/en/Automobile" class="cyc_term">Automobile</a> is an <a href="http://sw.opencyc.org/2008/06/10/concept/en/ObjectType" class="cyc_term">ObjectType</a>. Consider <a href="http://sw.opencyc.org/2008/06/10/concept/en/CalendarYear" class="cyc_term">CalendarYear</a>. No proper <a href="http://sw.opencyc.org/2008/06/10/concept/en/timeSlices" class="cyc_term">timeSlices</a> of a year is itself a year. So <a href="http://sw.opencyc.org/2008/06/10/concept/en/CalendarYear" class="cyc_term">CalendarYear</a> is an <a href="http://sw.opencyc.org/2008/06/10/concept/en/ObjectType" class="cyc_term">ObjectType</a>. <p/> See <a href="http://sw.opencyc.org/2008/06/10/concept/en/StuffType" class="cyc_term">StuffType</a> for the contrasting (though not disjoint) notion of being stuff-like. ObjectType agreement Agreement A specialization of <a href="http://sw.opencyc.org/2008/06/10/concept/en/Policy" class="cyc_term">Policy</a> (q.v.). Each instance of this collection involves two or more parties who agree that certain propositions (which are the contents of a corresponding <a href="http://sw.opencyc.org/2008/06/10/concept/en/Microtheory" class="cyc_term">Microtheory</a> -- see the shared note <font color="#ff0000">#$AgreementNote</font>) should be true. Making the propositions true may require some action or commitment of resources on the part of one or more of the <a href="http://sw.opencyc.org/2008/06/10/concept/en/agreeingAgents" class="cyc_term">agreeingAgents</a>. Thus, instances of <a href="http://sw.opencyc.org/2008/06/10/concept/en/Agreement" class="cyc_term">Agreement</a> will usually involve some instances of <a href="http://sw.opencyc.org/2008/06/10/concept/en/Obligation" class="cyc_term">Obligation</a>. Instances of <a href="http://sw.opencyc.org/2008/06/10/concept/en/Agreement" class="cyc_term">Agreement</a> and <a href="http://sw.opencyc.org/2008/06/10/concept/en/Obligation" class="cyc_term">Obligation</a> differ, however, in that an <a href="http://sw.opencyc.org/2008/06/10/concept/en/obligatedAgents" class="cyc_term">obligatedAgents</a> is responsible for the truth of all of the propositions over which the obligation holds. In an <a href="http://sw.opencyc.org/2008/06/10/concept/en/Agreement" class="cyc_term">Agreement</a> some agents may not be so responsible. For example, in a loan agreement, the borrower agrees to give the lender back the money, but the borrower is the only <a href="http://sw.opencyc.org/2008/06/10/concept/en/obligatedAgents" class="cyc_term">obligatedAgents</a> for the repayment. Note that <a href="http://sw.opencyc.org/2008/06/10/concept/en/obligatedAgents" class="cyc_term">obligatedAgents</a> need not be among the <a href="http://sw.opencyc.org/2008/06/10/concept/en/agreeingAgents" class="cyc_term">agreeingAgents</a> in the agreement that involves or generates the obligation. Moreover, <a href="http://sw.opencyc.org/2008/06/10/concept/en/agreeingAgents" class="cyc_term">agreeingAgents</a> aren't always <a href="http://sw.opencyc.org/2008/06/10/concept/en/obligatedAgents" class="cyc_term">obligatedAgents</a>; e.g., Wanda and Paul may agree that Paul alone is obligated to do some task. Notable specializations of <a href="http://sw.opencyc.org/2008/06/10/concept/en/Agreement" class="cyc_term">Agreement</a> include <a href="http://sw.opencyc.org/2008/06/10/concept/en/PeaceAccord" class="cyc_term">PeaceAccord</a>, <a href="http://sw.opencyc.org/2008/06/10/concept/en/LegalAgreement" class="cyc_term">LegalAgreement</a>, <a href="http://sw.opencyc.org/2008/06/10/concept/en/InformalAgreement" class="cyc_term">InformalAgreement</a>, <a href="http://sw.opencyc.org/2008/06/10/concept/en/BusinessPartnershipAgreement" class="cyc_term">BusinessPartnershipAgreement</a>, <a href="http://sw.opencyc.org/2008/06/10/concept/en/WorkAgreement" class="cyc_term">WorkAgreement</a>, <a href="http://sw.opencyc.org/2008/06/10/concept/en/MaintenanceAgreement" class="cyc_term">MaintenanceAgreement</a>, <a href="http://sw.opencyc.org/2008/06/10/concept/en/Reservation" class="cyc_term">Reservation</a> and <a href="http://sw.opencyc.org/2008/06/10/concept/en/Appointment" class="cyc_term">Appointment</a>. For assertions about what is &quot;supposed to be&quot; true, given some <a href="http://sw.opencyc.org/2008/06/10/concept/en/Agreement" class="cyc_term">Agreement</a>, see <a href="http://sw.opencyc.org/2008/06/10/concept/en/ist_Agreement" class="cyc_term">ist_Agreement</a>. TemporalStuffType type of temporally stuff-like thing A specialization of <a href="http://sw.opencyc.org/2008/06/10/concept/en/StuffType" class="cyc_term">StuffType</a> (q.v.) whose instances are all and only those collections that are temporally stuff-like. A collection <code><b>COL</b></code> is temporally stuff-like just in case every purely temporal part (see <a href="http://sw.opencyc.org/2008/06/10/concept/en/timeSlices" class="cyc_term">timeSlices</a>) of an instance of <code><b>COL</b></code> is itself an instance of <code><b>COL</b></code>, unless it is a temporal part of a temporal granule of <code><b>COL</b></code> (see <a href="http://sw.opencyc.org/2008/06/10/concept/en/granuleOfTemporalStuff" class="cyc_term">granuleOfTemporalStuff</a>). <p/> More precisely, for a collection <code><b>COL</b></code> to be an instance of <a href="http://sw.opencyc.org/2008/06/10/concept/en/TemporalStuffType" class="cyc_term">TemporalStuffType</a> it is both a necessary and sufficient condition that for any <code><b>OBJ1</b></code> and <code><b>OBJ2</b></code> (with <code><b>OBJ2</b></code> at or above <code><b>COL</b></code>'s temporal granularity level), if <code>(<a href="http://sw.opencyc.org/2008/06/10/concept/en/isa" class="cyc_term">isa</a> <b>OBJ1</b> <b>COL</b>)</code> and <code>(<a href="http://sw.opencyc.org/2008/06/10/concept/en/timeSlices" class="cyc_term">timeSlices</a> <b>OBJ1</b> <b>OBJ2</b>)</code>, then <code>(<a href="http://sw.opencyc.org/2008/06/10/concept/en/isa" class="cyc_term">isa</a> <b>OBJ2</b> <b>COL</b>)</code>. <p/> Consider <a href="http://sw.opencyc.org/2008/06/10/concept/en/WalkingOnTwoLegs" class="cyc_term">WalkingOnTwoLegs</a>. Take an arbitrary instance <code><b>WALK</b></code> of this collection (say Miss America 2000's victory walk down the runway and back); and then take an arbitrary time-slice <code><b>SUBWALK</b></code> of <code><b>WALK</b></code> that subsumes at least one instance of (the <a href="http://sw.opencyc.org/2008/06/10/concept/en/granuleOfTemporalStuff" class="cyc_term">granuleOfTemporalStuff</a> for <a href="http://sw.opencyc.org/2008/06/10/concept/en/WalkingOnTwoLegs" class="cyc_term">WalkingOnTwoLegs</a>) <a href="http://sw.opencyc.org/2008/06/10/concept/en/TakingAStep" class="cyc_term">TakingAStep</a> (say her trip back from the end of the runway). <code><b>SUBWALK</b></code> is itself an instance of <a href="http://sw.opencyc.org/2008/06/10/concept/en/WalkingOnTwoLegs" class="cyc_term">WalkingOnTwoLegs</a>. So <a href="http://sw.opencyc.org/2008/06/10/concept/en/WalkingOnTwoLegs" class="cyc_term">WalkingOnTwoLegs</a> is an instance of <a href="http://sw.opencyc.org/2008/06/10/concept/en/TemporalStuffType" class="cyc_term">TemporalStuffType</a>. See <a href="http://sw.opencyc.org/2008/06/10/concept/en/TemporalObjectType" class="cyc_term">TemporalObjectType</a> for the disjoint notion of being temporally object-like. Agreement-Topic A <a href="http://sw.opencyc.org/2008/06/10/concept/en/CycVocabularyTopic" class="cyc_term">CycVocabularyTopic</a> and a <a href="http://sw.opencyc.org/2008/06/10/concept/en/KBDependentCollection" class="cyc_term">KBDependentCollection</a>. agreement-topic agreement Agreement A specialization of <a href="http://sw.opencyc.org/2008/06/10/concept/en/Policy" class="cyc_term">Policy</a> (q.v.). Each instance of this collection involves two or more parties who agree that certain propositions (which are the contents of a corresponding <a href="http://sw.opencyc.org/2008/06/10/concept/en/Microtheory" class="cyc_term">Microtheory</a> -- see the shared note <font color="#ff0000">#$AgreementNote</font>) should be true. Making the propositions true may require some action or commitment of resources on the part of one or more of the <a href="http://sw.opencyc.org/2008/06/10/concept/en/agreeingAgents" class="cyc_term">agreeingAgents</a>. Thus, instances of <a href="http://sw.opencyc.org/2008/06/10/concept/en/Agreement" class="cyc_term">Agreement</a> will usually involve some instances of <a href="http://sw.opencyc.org/2008/06/10/concept/en/Obligation" class="cyc_term">Obligation</a>. Instances of <a href="http://sw.opencyc.org/2008/06/10/concept/en/Agreement" class="cyc_term">Agreement</a> and <a href="http://sw.opencyc.org/2008/06/10/concept/en/Obligation" class="cyc_term">Obligation</a> differ, however, in that an <a href="http://sw.opencyc.org/2008/06/10/concept/en/obligatedAgents" class="cyc_term">obligatedAgents</a> is responsible for the truth of all of the propositions over which the obligation holds. In an <a href="http://sw.opencyc.org/2008/06/10/concept/en/Agreement" class="cyc_term">Agreement</a> some agents may not be so responsible. For example, in a loan agreement, the borrower agrees to give the lender back the money, but the borrower is the only <a href="http://sw.opencyc.org/2008/06/10/concept/en/obligatedAgents" class="cyc_term">obligatedAgents</a> for the repayment. Note that <a href="http://sw.opencyc.org/2008/06/10/concept/en/obligatedAgents" class="cyc_term">obligatedAgents</a> need not be among the <a href="http://sw.opencyc.org/2008/06/10/concept/en/agreeingAgents" class="cyc_term">agreeingAgents</a> in the agreement that involves or generates the obligation. Moreover, <a href="http://sw.opencyc.org/2008/06/10/concept/en/agreeingAgents" class="cyc_term">agreeingAgents</a> aren't always <a href="http://sw.opencyc.org/2008/06/10/concept/en/obligatedAgents" class="cyc_term">obligatedAgents</a>; e.g., Wanda and Paul may agree that Paul alone is obligated to do some task. Notable specializations of <a href="http://sw.opencyc.org/2008/06/10/concept/en/Agreement" class="cyc_term">Agreement</a> include <a href="http://sw.opencyc.org/2008/06/10/concept/en/PeaceAccord" class="cyc_term">PeaceAccord</a>, <a href="http://sw.opencyc.org/2008/06/10/concept/en/LegalAgreement" class="cyc_term">LegalAgreement</a>, <a href="http://sw.opencyc.org/2008/06/10/concept/en/InformalAgreement" class="cyc_term">InformalAgreement</a>, <a href="http://sw.opencyc.org/2008/06/10/concept/en/BusinessPartnershipAgreement" class="cyc_term">BusinessPartnershipAgreement</a>, <a href="http://sw.opencyc.org/2008/06/10/concept/en/WorkAgreement" class="cyc_term">WorkAgreement</a>, <a href="http://sw.opencyc.org/2008/06/10/concept/en/MaintenanceAgreement" class="cyc_term">MaintenanceAgreement</a>, <a href="http://sw.opencyc.org/2008/06/10/concept/en/Reservation" class="cyc_term">Reservation</a> and <a href="http://sw.opencyc.org/2008/06/10/concept/en/Appointment" class="cyc_term">Appointment</a>. For assertions about what is &quot;supposed to be&quot; true, given some <a href="http://sw.opencyc.org/2008/06/10/concept/en/Agreement" class="cyc_term">Agreement</a>, see <a href="http://sw.opencyc.org/2008/06/10/concept/en/ist_Agreement" class="cyc_term">ist_Agreement</a>. prettyString (<a href="http://sw.opencyc.org/2008/06/10/concept/en/prettyString" 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/en/prettyString" 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. Pretty String agreement Agreement A specialization of <a href="http://sw.opencyc.org/2008/06/10/concept/en/Policy" class="cyc_term">Policy</a> (q.v.). Each instance of this collection involves two or more parties who agree that certain propositions (which are the contents of a corresponding <a href="http://sw.opencyc.org/2008/06/10/concept/en/Microtheory" class="cyc_term">Microtheory</a> -- see the shared note <font color="#ff0000">#$AgreementNote</font>) should be true. Making the propositions true may require some action or commitment of resources on the part of one or more of the <a href="http://sw.opencyc.org/2008/06/10/concept/en/agreeingAgents" class="cyc_term">agreeingAgents</a>. Thus, instances of <a href="http://sw.opencyc.org/2008/06/10/concept/en/Agreement" class="cyc_term">Agreement</a> will usually involve some instances of <a href="http://sw.opencyc.org/2008/06/10/concept/en/Obligation" class="cyc_term">Obligation</a>. Instances of <a href="http://sw.opencyc.org/2008/06/10/concept/en/Agreement" class="cyc_term">Agreement</a> and <a href="http://sw.opencyc.org/2008/06/10/concept/en/Obligation" class="cyc_term">Obligation</a> differ, however, in that an <a href="http://sw.opencyc.org/2008/06/10/concept/en/obligatedAgents" class="cyc_term">obligatedAgents</a> is responsible for the truth of all of the propositions over which the obligation holds. In an <a href="http://sw.opencyc.org/2008/06/10/concept/en/Agreement" class="cyc_term">Agreement</a> some agents may not be so responsible. For example, in a loan agreement, the borrower agrees to give the lender back the money, but the borrower is the only <a href="http://sw.opencyc.org/2008/06/10/concept/en/obligatedAgents" class="cyc_term">obligatedAgents</a> for the repayment. Note that <a href="http://sw.opencyc.org/2008/06/10/concept/en/obligatedAgents" class="cyc_term">obligatedAgents</a> need not be among the <a href="http://sw.opencyc.org/2008/06/10/concept/en/agreeingAgents" class="cyc_term">agreeingAgents</a> in the agreement that involves or generates the obligation. Moreover, <a href="http://sw.opencyc.org/2008/06/10/concept/en/agreeingAgents" class="cyc_term">agreeingAgents</a> aren't always <a href="http://sw.opencyc.org/2008/06/10/concept/en/obligatedAgents" class="cyc_term">obligatedAgents</a>; e.g., Wanda and Paul may agree that Paul alone is obligated to do some task. Notable specializations of <a href="http://sw.opencyc.org/2008/06/10/concept/en/Agreement" class="cyc_term">Agreement</a> include <a href="http://sw.opencyc.org/2008/06/10/concept/en/PeaceAccord" class="cyc_term">PeaceAccord</a>, <a href="http://sw.opencyc.org/2008/06/10/concept/en/LegalAgreement" class="cyc_term">LegalAgreement</a>, <a href="http://sw.opencyc.org/2008/06/10/concept/en/InformalAgreement" class="cyc_term">InformalAgreement</a>, <a href="http://sw.opencyc.org/2008/06/10/concept/en/BusinessPartnershipAgreement" class="cyc_term">BusinessPartnershipAgreement</a>, <a href="http://sw.opencyc.org/2008/06/10/concept/en/WorkAgreement" class="cyc_term">WorkAgreement</a>, <a href="http://sw.opencyc.org/2008/06/10/concept/en/MaintenanceAgreement" class="cyc_term">MaintenanceAgreement</a>, <a href="http://sw.opencyc.org/2008/06/10/concept/en/Reservation" class="cyc_term">Reservation</a> and <a href="http://sw.opencyc.org/2008/06/10/concept/en/Appointment" class="cyc_term">Appointment</a>. For assertions about what is &quot;supposed to be&quot; true, given some <a href="http://sw.opencyc.org/2008/06/10/concept/en/Agreement" class="cyc_term">Agreement</a>, see <a href="http://sw.opencyc.org/2008/06/10/concept/en/ist_Agreement" class="cyc_term">ist_Agreement</a>.