Domain:

aaao:ZE1 Institutional Fact

Range:

crm:E1 CRM Entity

Quantification:

No quantifiers yet.

Superproperty of:

• aaao:ZE2 Appellative Status → aaao:ZP5 has appellative subject (is appellative subject of) → crm:E1 CRM Entity
• aaao:ZE4 Classificatory Status → aaao:ZP11 has classificatory subject (is classificatory subject of) → crm:E1 CRM Entity
• aaao:ZE7 Custodial Status → aaao:ZP20 has custodial subject (is custodial subject of) → crm:E18 Physical Thing
• aaao:ZE8 Ownership Status → aaao:ZP23 has ownership subject (is ownership subject of) → crm:E18 Physical Thing
• aaao:ZE10 Family Status → aaao:ZP29 has familial subject (is familial subject of) → crm:E21 Person
• aaao:ZE11 Membership Status → aaao:ZP32 has membership subject (is membership subject of) → crm:E39 Actor
• aaao:ZE12 Referential Status → aaao:ZP35 has referential subject (is referential subject of) → crm:E89 Propositional Object
• aaao:ZE14 Similarity Status → aaao:ZP43 has similarity subject (is similarity subject of) → crm:E1 CRM Entity
• aaao:ZE15 Set Status → aaao:ZP47 has set belonging subject (is set belonging subject of) → crm:E1 CRM Entity
• aaao:ZE25 Dating Status → aaao:ZP55 has dating subject (is dating subject of) → crm:E4 Period
• aaao:ZE28 Obligation Status → aaao:ZP57 has obligation subject (is obligation subject of) → crm:E54 Dimension
• aaao:ZE30 Property Right Status → aaao:ZP64 has property right subject (is property right subject of) → crm:E72 Legal Object

Scope note:

This property is used to connect an instance of institutional fact to an entity with which it is concerned. The intentional subject indicated by this property is the object about which the institutional fact holds for the group committed to this institutional reality.

Examples:

• The Ownership Status of the Gʼpsgolox totem pole (ZE8) has ownership subject (ZP23) the Gʼpsgolox totem pole (E22). (https://en.wikipedia.org/wiki/G%CA%BCpsgolox_totem_pole)
• The Classificatory Status of the "French baguette" (ZE4) has classificatory subject (ZP11) the "French baguette" (E55). (https://www.bbc.com/news/world-europe-63800674)

In First Order Logic:

• ZP1(x,y) ⇒ ZE1(x)
• ZP1(x,y) ⇒ E1(y)