Relation AGREEING-AGENTS

• Defined in theory: Product-theory
• Source code: product-theory.lisp

Slots on this relation:

Documentation:

Points to agents that are the agreeing parties in an agreement. There must be at least two of these per agreement.

Instance-Of: Relation

Arity: 2

Domain: Agreement

Range: Agent

Other Related Axioms:

(=> (Agreeing-Agents ?Ag ?Agent)
    (Exists (@Obligation) (Obligation-In ?Ag ?Agent ?Obligation)))

(=> (Obligation-In ?Ag ?Agent ?Obligation)
    (Agreeing-Agents ?Ag ?Agent))

(=> (Agreeing-Agents $X $Y) (Agreement $X))

(=> (Agreeing-Agents $X $Y) (Agent $Y))

(Inherited-Facet-Value Minimum-Slot-Cardinality
                       Agreement
                       Agreeing-Agents
                       2)