Agreement
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.