Domain:

aaao:ZE1 Institutional Fact

Range:

crm:E55 Type

Quantification:

No quantifiers yet.

Superproperty of:

• aaao:ZE2 Appellative Status → aaao:ZP7 ascribes appellative relation (is appellative relation ascribed by) → crm:E55 Type
• aaao:ZE4 Classificatory Status → aaao:ZP13 ascribes classification relation (is classification relations ascribed by) → crm:E55 Type
• aaao:ZE7 Custodial Status → aaao:ZP22 ascribes custodial relation (is custodial relation ascribed by) → crm:E55 Type
• aaao:ZE8 Ownership Status → aaao:ZP25 ascribes ownership relation (is ownership relation ascribed by) → crm:E55 Type
• aaao:ZE9 Residential Status → aaao:ZP28 ascribes residence relation (is residence relation ascribed by) → crm:E55 Type
• aaao:ZE10 Family Status → aaao:ZP31 ascribes familial relation (is familial relation ascribed by) → crm:E55 Type
• aaao:ZE11 Membership Status → aaao:ZP34 ascribes membership relation (is membership relation ascribed by) → crm:E55 Type
• aaao:ZE12 Referential Status → aaao:ZP37 ascribes referential relation (is referential relation ascribed by) → crm:E55 Type
• aaao:ZE14 Similarity Status → aaao:ZP45 ascribes similarity relation (is similarity relation ascribed by) → crm:E55 Type
• aaao:ZE15 Set Status → aaao:ZP49 ascribes set belonging relation (is set belonging relation ascribed by) → crm:E55 Type
• aaao:ZE28 Obligation Status → aaao:ZP59 ascribes obligation relation (is obligation relation ascribed by) → crm:E55 Type
• aaao:ZE30 Property Right Status → aaao:ZP66 ascribes property right relation (is property right relation ascribed by) → crm:E55 Type

Scope note:

This property is used to indicate the relationship which an instance of institutional fact takes to hold between its subject and its object. The intentional relation indicated by this property is the kind of relationship which the institutional fact establishes as holding between them  for the group committed to this institutional reality.

Examples:

• The Ownership Status of the Gʼpsgolox totem pole (ZE8) ascribes ownership relation (ZP25) "has current owner" (E55).
• The Classificatory Status of the "French baguette" (ZE4) ascribes classification relation (ZP13) "has type" (E55).

In First Order Logic:

• ZP3(x,y) ⇒ ZE1(x)
• ZP3(x,y) ⇒ E55(y)