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

Validation status:  Validated

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

Domain:

aaao:ZE24 Notional Set

Range:

crm:E1 CRM Entity

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

Show Scope note Language Namespace View details Comments Validation
This property is used to connect an instance of set to an entity considered to be one of its members. en Art and Architectural Argumentation Ontology Version 1.6 0 Validated
This property is used to connect an instance of set to an entity considered to be one of its members. en Art and Architectural Argumentation Ontology Version 1.6 ongoing 0 Validated

Examples

Show Example Language Namespace View details Comments Validation
The 500 Greatest Albums of All Time (ZE24) has former or current set member Marvin Gaye's album 'Let's Get It On' (E73). (https://www.rollingstone.com/music/music-lists/best-albums-of-all-time-1062063/) The 50 Best TV Shows of 2022 (ZE24) has former or current set member the Duffer Brother's 'Stranger Things' (E73).(https://www.theguardian.com/tv-and-radio/2022/dec/02/the-50-best-tv-shows-of-2022) en Art and Architectural Argumentation Ontology Version 1.6 0 Validated
The 500 Greatest Albums of All Time (ZE24) has former or current set member Marvin Gaye's album 'Let's Get It On' (E73). (https://www.rollingstone.com/music/music-lists/best-albums-of-all-time-1062063/) The 50 Best TV Shows of 2022 (ZE24) has former or current set member the Duffer Brother's 'Stranger Things' (E73).(https://www.theguardian.com/tv-and-radio/2022/dec/02/the-50-best-tv-shows-of-2022) en Art and Architectural Argumentation Ontology Version 1.6 ongoing 0 Validated

Additional notes

Show Notes Type Language Namespace View details Comments Validation

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

Label Language Last updated View details Comments Validation
has former or current set member (is current or former set member of) en 2024-11-26 0 Validated
has former or current set member (is current or former set member of) en 2023-10-31 0 Validated

: Standard label for this language

Parent properties

Domain Property Range Property namespace Relation defined in Justification View details Edit Delete Comments Validation

Ancestor properties

Domain Property Range Depth Property namespace

Child and descendant properties

Domain Property Range Depth Property namespace

Related properties

Relation Property Property namespace Relation defined in Justification View details Edit Delete Comments Validation

Profiles using this property

Label Version Status Last updated

Comments