Domain:

aaao:ZE45 Promissory Status

Range:

crm:E55 Type

Quantification:

No quantifiers yet.

Subproperty of:

• aaao:ZE1 Institutional Fact → aaao:ZP3 ascribes intentional relation (is intentional relation ascribed by) → crm:E55 Type

Superproperty of:

• aaao:ZE28 Obligation Status → aaao:ZP59 ascribes obligation relation (is obligation relation ascribed by) → crm:E55 Type

Scope note:

This property is used to indicate the specific type of promise relation that holds between the promisor and the promisee.

Examples:

• The Promissory Status of the promise to recognize the Black Hills as part of the Great Sioux Reservation (ZE45) ascribes promissory relation 'promised' (E55)
• The Promissory Status of the promise to close Guantanamo Bay (ZE45) ascribes promissory relation 'promised' (E55)

In First Order Logic:

• ZP90(x,y) ⇒ ZE45(x)
• ZP90(x,y) ⇒ E55(y)
• ZP90(x,y) ⇒ ZP3(x,y)