Validation status:  Validated

ZP51 has former or current set member (is current or former set member of)

Quantification:

No quantifiers yet.

Scope note:

This property is used to connect an instance of set to an entity considered to be one of its members.

Examples:

In First Order Logic:

  • ZP51(x,y) ⇒ ZE24(x)
  • ZP51(x,y) ⇒ E1(y)

Scope notes

Examples

Additional notes

Identifier: ZP51

Official URI: https://ontology.swissartresearch.net/aaao/ZP51_has_former_or_current_set_member
OntoME URI: https://ontome.net/ontology/p2137

Domain and range

aaao:ZE24 Notional Set → ZP51 has former or current set member (is current or former set member of) → crm:E1 CRM Entity

Labels

: Standard label for this language

Parent properties

Ancestor properties

Child and descendant properties

Related properties

Profiles using this property

Comments