Domain:

aaao:ZE15 Set 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

Scope note:

This property is used to indicate the specific type of belonging to the set which is indicated as holding between the subject entity and the target set.

Examples:

• The set status of the Marvin Gaye's album 'Let's Get It On' (ZE16) ascribes set belonging relation "has current set member" (E55)
• The set status of the Duffer Brother's 'Stranger Things' (ZE16) ascribes set belonging relation "has current set member" (E55)

In First Order Logic:

• ZP49(x,y) ⇒ ZE15(x)
• ZP49(x,y) ⇒ E55(y)
• ZP49(x,y) ⇒ ZP3(x,y)