Domain:

aaao:ZE45 Promissory Status

Range:

aaao:ZE59 Plan

Quantification:

No quantifiers yet.

Subproperty of:

• aaao:ZE1 Institutional Fact → aaao:ZP1 has intentional subject (is intentional subject of) → crm:E1 CRM Entity

Superproperty of:

• aaao:ZE28 Obligation Status → aaao:ZP57 has obligation subject (is obligation subject of) → crm:E54 Dimension
• aaao:ZE28 Obligation Status → aaao:ZP57 has obligation subject (is obligation subject of) → crm:E54 Dimension

Scope note:

This property is used to indicate an instance of formulation which represents the promise given from one party to another within an instance of an intentional promise.

Examples:

• The Promissory Status of the promise to recognize the Black Hills as part of the Great Sioux Reservation (ZE45) has promissory subject the recognition of the Black Hills as part of the Great Sioux Reservation (ZE59)
• The Promissory Status of the promise to close Guantanamo Bay (ZE45) has promissory subject the closure of Guantanamo Bay (ZE59)

In First Order Logic:

• ZP89(x,y) ⇒ ZE45(x)
• ZP89(x,y) ⇒ ZE59(y)
• ZP89(x,y) ⇒ ZP1(x,y)