OpenCyc HomepageAgreement

E-Mail Comments to: opencyc-doc@cyc.com
Last Update: 12/13/02
Copyright© 1996-2002. All rights reserved. See Terms of Usage.

Return to Documentation Contents
Return to Vocabulary Contents


#$Agreement   agreements
A specialization of #$PropositionalInformationThing and #$Artifact-Intangible. Each instance of this collection involves two or more parties who agree that certain propositions (which correspond to a small #$Microtheory -- see the shared note #$AgreementNote) should be true. Making the propositions true may require some action or commitment of resources on the part of one or more of the #$agreeingAgents. Thus, instances of #$Agreement will usually involve some instances of #$Obligation. Instances of #$Agreement and #$Obligation differ, however, in that an #$obligatedAgent is responsible for the truth of all of the propositions over which the obligation holds. In an #$Agreement 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 #$obligatedAgent for the repayment. Note that #$obligatedAgents need not be among the #$agreeingAgents in the agreement that involves or generates the obligation. Moreover, #$agreeingAgents aren't always #$obligatedAgents; e.g., Wanda and Paul may agree that Paul alone is obligated to do some task. Notable specializations of #$Agreement include #$PeaceAccord, #$LegalAgreement, #$InformalAgreement, #$BusinessPartnershipAgreement, #$WorkAgreement, #$MaintenanceAgreement, #$Reservation and #$Appointment. For assertions about what is supposed to be true, given some #$Agreement, see #$ist-Agreement.
guid: bd58afa3-9c29-11b1-9dad-c379636f7270
direct instance of: #$ObjectType
direct specialization of: #$IntangibleExistingThing  #$Artifact-Intangible  #$SupposedToBeMicrotheory  #$PropositionalInformationThing  
direct generalization of: #$OrganizationPolicy #$SalesAgreement #$AuthorizedAgreement #$WorkAgreement #$LegalAgreement #$Permission

Predicates Describing Agreements


#$subAgreements   sub agreements
The predicate #$subAgreements relates particular agreements to subordinate agreements which comprise them. (#$subAgreements AGR SUB) means that both AGR and SUB are instances of #$Agreement, and AGR has SUB as a part. For instance: (#$subAgreements #$LawOfTheSea-UnitedNationsConvention #$MineralRightsClause-UNLawOfTheSea).
guid: be018058-9c29-11b1-9dad-c379636f7270
direct instance of: #$AsymmetricBinaryPredicate #$TransitiveBinaryPredicate #$NonPhysicalPartPredicate
direct specialization of: #$subInformation
#$agreeingAgents   agreeing agents
The predicate #$agreeingAgents relates a particular agreement to the agents who made, or who are making, the agreement. (#$agreeingAgents AGREE PARTY) means that the #$Agreement AGREE has the #$Agent PARTY among its agreeing parties. If an #$Agreement AGREE and an #$Agent PARTY are related via #$agreeingAgents, they may also be related by more specialized versions of #$agreeingAgents, such as #$agreeingBuyer or #$agreeingSeller, #$insuringAgent or #$policyHolder, #$employedAgent or #$employingAgent. Note that if (#$agreeingAgents AGREE PARTY) holds, the #$Agent PARTY will be mentioned in the #$Agreement AGREE.
guid: bd58dc25-9c29-11b1-9dad-c379636f7270
direct instance of: #$InterActorSlot #$CotemporalObjectsSlot
direct specialization of: #$propositionalInfoAbout
#$governedByAgreement   governed by agreement    **COMMENT NOT REVIEWED**    **GAFs NOT REVIEWED**
The predicate #$governedByAgreement relates an event to an agreement that stipulates something with respect to it, such as certain conditions that are to hold during the event, or whether the event should or should not occur. (#$governedByAgreement EVT AGR) means that some aspects of the instance of #$HumanActivity EVT are controlled by, or 'under the jurisdiction of', the instance of #$Agreement AGR. For example, a #$BuyingGroup may have #$SalesContracts with its #$suppliers that specify what prices may be charged for goods bought by members of the group during the agreement period. But note that an event's being governed by an agreement does not entail that the event conforms to what the agreement stipulates: an act that violates the agreement is still governed by it.
guid: c10adbcb-9c29-11b1-9dad-c379636f7270
direct instance of: #$ActorSlot
direct specialization of: #$preActors
#$ist-Agreement   ist - agreement
The predicate #$ist-Agreement is used to indicate the propositions which have been agreed upon in a particular agreement. (#$ist-Agreement AGR PROP) means that the #$Agreement AGR pertains to (commits its agreeing parties to) making the proposition (#$ELSentence-Assertible) PROP true. Since each #$Agreement is represented in Cyc as a #$Microtheory, the way that this is expressed is to say that PROP is considered to _be_ true within the microtheory which represents AGR. PROP may or may not be true in reality (or, thus, according to #$Microtheorys intended to represent reality). (#$ist-Agreement AGR PROP) should not be taken to be a simple specialization of (#$ist MT PROP) for cases where MT is an instance of #$Agreement. Whereas #$ist relates any particular microtheory to all assertions that happen to be true in that microtheory, #$ist-Agreement indicates only those assertions in an #$Agreement microtheory which pertain to the agreement itself (and are not just something that happens to be true in it, e.g., that one of the #$agreeingAgents is named Joe ).
guid: bd58b89d-9c29-11b1-9dad-c379636f7270
direct instance of: #$MicrotheoryDesignatingPredicate #$MicrotheoryPredicate #$BinaryPredicate
direct specialization of: #$ist
#$agreementForbids   action forbidden by agreement
This quaternary predicate is used to indicate a type of action that a particular agent is forbidden to play a particular role in under the terms of a particular agreement. (#$agreementForbids AGREEMENT AGENT ACTTYPE ROLE) means that AGREEMENT forbids AGENT to play ROLE in any instance of ACTTYPE. For example, if a peace accord ACCORD forbids its signatories to wage war against one another, and SIGNER is one such signatory, then (#$agreementForbids ACCORD SIGNER #$WagingWar #$performedBy) holds. Similarly, a business contract may forbid one agent to compete with another after s/he sells rights to a product, design, or practice to a second agent.
guid: bd58b463-9c29-11b1-9dad-c379636f7270
direct instance of: #$QuaternaryPredicate
#$agreementPeriod   agreement period
The predicate #$agreementPeriod is used to indicate the period of time during which a particular agreement is in force. (#$agreementPeriod AGREE TIME) means that the #$Agreement AGREE holds during the #$TimeInterval TIME. TIME may or may not begin at the moment that AGREE is created; e.g., a person may sign an employment contract on the very day she begins working or several weeks before, to begin on a specified future date. An #$agreementPeriod could even begin before the agreement was made, e.g., when an agent agrees to pay disputed royalties retroactively.
guid: c10ad9c8-9c29-11b1-9dad-c379636f7270
direct instance of: #$StrictlyFunctionalSlot


Copyright© 1996-2002. All rights reserved. See Terms of Usage.