Relation OBLIGATION-IN

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

Slots on this relation:

Documentation:

In this agreement, this agent has the following obligation

Instance-Of: Relation

Arity: 3

Implication Axioms:

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

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

Axioms:

(Nth-Domain Obligation-In 3 Obligation)

(Nth-Domain Obligation-In 2 Agent)

(Nth-Domain Obligation-In 1 Agreement)

Other Related Axioms:

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

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