Declarative Leaving – ZE23

Validation status:  Validated

ZE23 Declarative Leaving

Subclass of:

Scope note:

Instances of this class comprise official leaving events undertaken following formal procedures within a social grouping leading to formal change in the membership status of an actor relative to a group for the participating parties. The substance of declarative leaving is an intentional, social act. 

Instances of ZE23 Declarative Leaving come about when the specific social procedure required is intentionally and successfully enacted according to the prevalent rules. They end with the successful termination of the act or because of its premature termination.

A successful act of ZE23 Declarative Leaving leads to the termination of an instance of ZE11 Membership Status, the institutional fact that thereafter no longer mediates the social relation between the group and actor in question.

Examples:

In First Order Logic:

  • ZE23(x) ⇒ ZE13(x)
  • ZE23(x) ⇒ E86(x)

Scope notes

Show Scope note Language Namespace View details Comments Validation
Instances of this class comprise official leaving events undertaken following formal procedures within a social grouping leading to formal change in the membership status of an actor relative to a group for the participating parties. The substance of declarative leaving is an intentional, social act.  Instances of ZE23 Declarative Leaving come about when the specific social procedure required is intentionally and successfully enacted according to the prevalent rules. They end with the successful termination of the act or because of its premature termination. A successful act of ZE23 Declarative Leaving leads to the termination of an instance of ZE11 Membership Status, the institutional fact that thereafter no longer mediates the social relation between the group and actor in question. en CRM for Art and Architectural Argumentation Version 1.5.1 ongoing 0 Validated

Examples

Show Example Language Namespace View details Comments Validation
The declarative leaving of the Commonwealth of Nations (E74) by the Republic of Ireland (E74) on 18 April 1949 through the ratification of the Republic of Ireland Act (https://en.wikipedia.org/wiki/The_Republic_of_Ireland_Act_1948) The declarative leaving of the Polity of the United States of America (E74) by Li Lianjie (aka Jet Li) (E21) in 2009 through the relenquishment of citizenship. (https://nomadcapitalist.com/global-citizen/freedom/top-5-famous-people-renounce-us-citizenship/) en CRM for Art and Architectural Argumentation Version 1.5.1 ongoing 0 Validated

Additional notes

Show Notes Type Language Namespace View details Comments Validation

Identifier: ZE23

Official URI: https://takin.solutions/ontologies/crmaaa/ZE23_Declarative_Leaving
OntoME URI: https://ontome.net/ontology/c1101

Labels

Label Language Last updated View details Comments Validation
Declarative Leaving en 2023-10-31 0 Validated

* : Standard label for this language

Parent classes

Class Class namespace Relation defined in Justification View details Edit Delete Comments Validation
ZE13 Speech Act CRM for Art and Architectural Argumentation Version 1.5.1 ongoing CRM for Art and Architectural Argumentation Version 1.5.1 ongoing 0 Validated
E86 Leaving CIDOC CRM version 7.1.2 CRM for Art and Architectural Argumentation Version 1.5.1 ongoing 0 Validated

Ancestor classes

Class Depth Class namespace Via
E1 CRM Entity 6 CIDOC CRM version 7.1.2 E86 - E7 - E5 - E4 - E2
E1 CRM Entity 6 CIDOC CRM version 7.1.2 E86 - E7 - E5 - E4 - E92
E1 CRM Entity 6 CIDOC CRM version 7.1.2 ZE13 - E7 - E5 - E4 - E2
E1 CRM Entity 6 CIDOC CRM version 7.1.2 ZE13 - E7 - E5 - E4 - E92
E2 Temporal Entity 5 CIDOC CRM version 7.1.2 E86 - E7 - E5 - E4
E2 Temporal Entity 5 CIDOC CRM version 7.1.2 ZE13 - E7 - E5 - E4
E4 Period 4 CIDOC CRM version 7.1.2 E86 - E7 - E5
E4 Period 4 CIDOC CRM version 7.1.2 ZE13 - E7 - E5
E5 Event 3 CIDOC CRM version 7.1.2 E86 - E7
E5 Event 3 CIDOC CRM version 7.1.2 ZE13 - E7
E7 Activity 2 CIDOC CRM version 7.1.2 E86
E7 Activity 2 CIDOC CRM version 7.1.2 ZE13
E92 Spacetime Volume 5 CIDOC CRM version 7.1.2 E86 - E7 - E5 - E4
E92 Spacetime Volume 5 CIDOC CRM version 7.1.2 ZE13 - E7 - E5 - E4
Thing 7 OntoME internal model - active version E86 - E7 - E5 - E4 - E2 - E1
Thing 7 OntoME internal model - active version E86 - E7 - E5 - E4 - E92 - E1
Thing 7 OntoME internal model - active version ZE13 - E7 - E5 - E4 - E2 - E1
Thing 7 OntoME internal model - active version ZE13 - E7 - E5 - E4 - E92 - E1

Child and descendant classes

Class Depth Class namespace Via

Related classes

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

Outgoing properties (this class is domain)

Domain Property identifier Range Namespace

Outgoing properties (inherited from ancestors)

Domain Property identifier Range Namespace
ZE23 Declarative Leaving (is a E1 CRM Entity ) crm:P1 is identified by (identifies) E41 Appellation CIDOC CRM version 7.1.2
ZE23 Declarative Leaving (is a E1 CRM Entity ) crm:P2 has type (is type of) E55 Type CIDOC CRM version 7.1.2
ZE23 Declarative Leaving (is a E1 CRM Entity ) crm:P3 has note E62 String CIDOC CRM version 7.1.2
ZE23 Declarative Leaving (is a E1 CRM Entity ) crm:P48 has preferred identifier (is preferred identifier of) E42 Identifier CIDOC CRM version 7.1.2
ZE23 Declarative Leaving (is a E1 CRM Entity ) crm:P137 exemplifies (is exemplified by) E55 Type CIDOC CRM version 7.1.2
ZE23 Declarative Leaving (is a E1 CRM Entity ) crmdig:L54 is same-as (is same-as) E1 CRM Entity CRMdig version 4.0
ZE23 Declarative Leaving (is a E2 Temporal Entity ) crm:P4 has time-span (is time-span of) E52 Time-Span CIDOC CRM version 7.1.2
ZE23 Declarative Leaving (is a E2 Temporal Entity ) crm:P173 starts before or with the end of (ends after or with the start of) E2 Temporal Entity CIDOC CRM version 7.1.2
ZE23 Declarative Leaving (is a E2 Temporal Entity ) crm:P174 starts before the end of (ends after the start of) E2 Temporal Entity CIDOC CRM version 7.1.2
ZE23 Declarative Leaving (is a E2 Temporal Entity ) crm:P175 starts before or with the start of (starts after or with the start of) E2 Temporal Entity CIDOC CRM version 7.1.2
ZE23 Declarative Leaving (is a E2 Temporal Entity ) crm:P176 starts before the start of (starts after the start of) E2 Temporal Entity CIDOC CRM version 7.1.2
ZE23 Declarative Leaving (is a E2 Temporal Entity ) crm:P182 ends before or with the start of (starts after or with the end of) E2 Temporal Entity CIDOC CRM version 7.1.2
ZE23 Declarative Leaving (is a E2 Temporal Entity ) crm:P183 ends before the start of (starts after the end of) E2 Temporal Entity CIDOC CRM version 7.1.2
ZE23 Declarative Leaving (is a E2 Temporal Entity ) crm:P184 ends before or with the end of (ends with or after the end of) E2 Temporal Entity CIDOC CRM version 7.1.2
ZE23 Declarative Leaving (is a E2 Temporal Entity ) crm:P185 ends before the end of (ends after the end of) E2 Temporal Entity CIDOC CRM version 7.1.2
ZE23 Declarative Leaving (is a E4 Period ) crm:P7 took place at (witnessed) E53 Place CIDOC CRM version 7.1.2
ZE23 Declarative Leaving (is a E4 Period ) crm:P8 took place on or within (witnessed) E18 Physical Thing CIDOC CRM version 7.1.2
ZE23 Declarative Leaving (is a E4 Period ) crm:P9 consists of (forms part of) E4 Period CIDOC CRM version 7.1.2
ZE23 Declarative Leaving (is a E5 Event ) crm:P11 had participant (participated in) E39 Actor CIDOC CRM version 7.1.2
ZE23 Declarative Leaving (is a E5 Event ) crm:P12 occurred in the presence of (was present at) E77 Persistent Item CIDOC CRM version 7.1.2
ZE23 Declarative Leaving (is a E7 Activity ) crm:P14 carried out by (performed) E39 Actor CIDOC CRM version 7.1.2
ZE23 Declarative Leaving (is a E7 Activity ) crm:P15 was influenced by (influenced) E1 CRM Entity CIDOC CRM version 7.1.2
ZE23 Declarative Leaving (is a E7 Activity ) crm:P16 used specific object (was used for) E70 Thing CIDOC CRM version 7.1.2
ZE23 Declarative Leaving (is a E7 Activity ) crm:P17 was motivated by (motivated) E1 CRM Entity CIDOC CRM version 7.1.2
ZE23 Declarative Leaving (is a E7 Activity ) crm:P19 was intended use of (was made for) E71 Human-Made Thing CIDOC CRM version 7.1.2
ZE23 Declarative Leaving (is a E7 Activity ) crm:P20 had specific purpose (was purpose of) E5 Event CIDOC CRM version 7.1.2
ZE23 Declarative Leaving (is a E7 Activity ) crm:P21 had general purpose (was purpose of) E55 Type CIDOC CRM version 7.1.2
ZE23 Declarative Leaving (is a E7 Activity ) crm:P32 used general technique (was technique of) E55 Type CIDOC CRM version 7.1.2
ZE23 Declarative Leaving (is a E7 Activity ) crm:P33 used specific technique (was used by) E29 Design or Procedure CIDOC CRM version 7.1.2
ZE23 Declarative Leaving (is a E7 Activity ) crm:P125 used object of type (was type of object used in) E55 Type CIDOC CRM version 7.1.2
ZE23 Declarative Leaving (is a E7 Activity ) crm:P134 continued (was continued by) E7 Activity CIDOC CRM version 7.1.2
ZE23 Declarative Leaving (is a E86 Leaving ) crm:P145 separated (left by) E39 Actor CIDOC CRM version 7.1.2
ZE23 Declarative Leaving (is a E86 Leaving ) crm:P146 separated from (lost member by) E74 Group CIDOC CRM version 7.1.2
ZE23 Declarative Leaving (is a E92 Spacetime Volume ) crm:P10 falls within (contains) E92 Spacetime Volume CIDOC CRM version 7.1.2
ZE23 Declarative Leaving (is a E92 Spacetime Volume ) crm:P132 spatiotemporally overlaps with E92 Spacetime Volume CIDOC CRM version 7.1.2
ZE23 Declarative Leaving (is a E92 Spacetime Volume ) crm:P133 is spatiotemporally separated from E92 Spacetime Volume CIDOC CRM version 7.1.2
ZE23 Declarative Leaving (is a E92 Spacetime Volume ) crm:P160 has temporal projection (is temporal projection of) E52 Time-Span CIDOC CRM version 7.1.2
ZE23 Declarative Leaving (is a E92 Spacetime Volume ) crm:P161 has spatial projection (is spatial projection of) E53 Place CIDOC CRM version 7.1.2
ZE23 Declarative Leaving (is a ZE13 Speech Act ) crmaaa:ZP39 invoked (was invoked by) E29 Design or Procedure CRM for Art and Architectural Argumentation Version 1.5.1 ongoing
ZE23 Declarative Leaving (is a ZE13 Speech Act ) crmaaa:ZP40 performed (was performed by) E29 Design or Procedure CRM for Art and Architectural Argumentation Version 1.5.1 ongoing
ZE23 Declarative Leaving (is a ZE13 Speech Act ) crmaaa:ZP41 uttered (was uttered by) E73 Information Object CRM for Art and Architectural Argumentation Version 1.5.1 ongoing
ZE23 Declarative Leaving (is a ZE13 Speech Act ) crmaaa:ZP42 intentionally initiated (was intentionally initiated by) ZE1 Institutional Fact CRM for Art and Architectural Argumentation Version 1.5.1 ongoing
ZE23 Declarative Leaving (is a ZE13 Speech Act ) crmaaa:ZP52 intentionally terminated (was intentionally terminated by) ZE1 Institutional Fact CRM for Art and Architectural Argumentation Version 1.5.1 ongoing
ZE23 Declarative Leaving (is a ZE13 Speech Act ) crmaaa:ZP53 initiated institutional fact for (had institutional fact initiated by) E74 Group CRM for Art and Architectural Argumentation Version 1.5.1 ongoing
ZE23 Declarative Leaving (is a ZE13 Speech Act ) crmaaa:ZP74 terminated institutional fact for (had institutional fact terminated by) E74 Group CRM for Art and Architectural Argumentation Version 1.5.1 ongoing

Incoming properties (this class is range)

Domain Property identifier Range Namespace

Incoming properties (inherited from ancestors)

Domain Property identifier Range Namespace
E1 CRM Entity crmdig:L54 is same-as (is same-as) ZE23 Declarative Leaving (is a E1) CRMdig version 4.0
E2 Temporal Entity crm:P173 starts before or with the end of (ends after or with the start of) ZE23 Declarative Leaving (is a E2) CIDOC CRM version 7.1.2
E2 Temporal Entity crm:P174 starts before the end of (ends after the start of) ZE23 Declarative Leaving (is a E2) CIDOC CRM version 7.1.2
E2 Temporal Entity crm:P175 starts before or with the start of (starts after or with the start of) ZE23 Declarative Leaving (is a E2) CIDOC CRM version 7.1.2
E2 Temporal Entity crm:P176 starts before the start of (starts after the start of) ZE23 Declarative Leaving (is a E2) CIDOC CRM version 7.1.2
E2 Temporal Entity crm:P182 ends before or with the start of (starts after or with the end of) ZE23 Declarative Leaving (is a E2) CIDOC CRM version 7.1.2
E2 Temporal Entity crm:P183 ends before the start of (starts after the end of) ZE23 Declarative Leaving (is a E2) CIDOC CRM version 7.1.2
E2 Temporal Entity crm:P184 ends before or with the end of (ends with or after the end of) ZE23 Declarative Leaving (is a E2) CIDOC CRM version 7.1.2
E2 Temporal Entity crm:P185 ends before the end of (ends after the end of) ZE23 Declarative Leaving (is a E2) CIDOC CRM version 7.1.2
E4 Period crm:P9 consists of (forms part of) ZE23 Declarative Leaving (is a E4) CIDOC CRM version 7.1.2
E7 Activity crm:P134 continued (was continued by) ZE23 Declarative Leaving (is a E7) CIDOC CRM version 7.1.2
E7 Activity crm:P15 was influenced by (influenced) ZE23 Declarative Leaving (is a E1) CIDOC CRM version 7.1.2
E7 Activity crm:P17 was motivated by (motivated) ZE23 Declarative Leaving (is a E1) CIDOC CRM version 7.1.2
E7 Activity crm:P20 had specific purpose (was purpose of) ZE23 Declarative Leaving (is a E5) CIDOC CRM version 7.1.2
E13 Attribute Assignment crm:P140 assigned attribute to (was attributed by) ZE23 Declarative Leaving (is a E1) CIDOC CRM version 7.1.2
E13 Attribute Assignment crm:P141 assigned (was assigned by) ZE23 Declarative Leaving (is a E1) CIDOC CRM version 7.1.2
E17 Type Assignment crm:P41 classified (was classified by) ZE23 Declarative Leaving (is a E1) CIDOC CRM version 7.1.2
E18 Physical Thing crm:P196 defines (is defined by) ZE23 Declarative Leaving (is a E92) CIDOC CRM version 7.1.2
E24 Physical Human-Made Thing crm:P62 depicts (is depicted by) ZE23 Declarative Leaving (is a E1) CIDOC CRM version 7.1.2
E31 Document crm:P70 documents (is documented in) ZE23 Declarative Leaving (is a E1) CIDOC CRM version 7.1.2
E32 Authority Document crm:P71 lists (is listed in) ZE23 Declarative Leaving (is a E1) CIDOC CRM version 7.1.2
E36 Visual Item crm:P138 represents (has representation) ZE23 Declarative Leaving (is a E1) CIDOC CRM version 7.1.2
E83 Type Creation crm:P136 was based on (supported type creation) ZE23 Declarative Leaving (is a E1) CIDOC CRM version 7.1.2
E89 Propositional Object crm:P129 is about (is subject of) ZE23 Declarative Leaving (is a E1) CIDOC CRM version 7.1.2
E89 Propositional Object crm:P67 refers to (is referred to by) ZE23 Declarative Leaving (is a E1) CIDOC CRM version 7.1.2
E92 Spacetime Volume crm:P10 falls within (contains) ZE23 Declarative Leaving (is a E92) CIDOC CRM version 7.1.2
E92 Spacetime Volume crm:P132 spatiotemporally overlaps with ZE23 Declarative Leaving (is a E92) CIDOC CRM version 7.1.2
E92 Spacetime Volume crm:P133 is spatiotemporally separated from ZE23 Declarative Leaving (is a E92) CIDOC CRM version 7.1.2
E93 Presence crm:P166 was a presence of (had presence) ZE23 Declarative Leaving (is a E92) CIDOC CRM version 7.1.2
D2 Digitization Process crmdig:L60 documents ZE23 Declarative Leaving (is a E1) CRMdig version 4.0
D29 Annotation Object crmdig:L43 annotates (is annotated by) ZE23 Declarative Leaving (is a E1) CRMdig version 4.0
ZE1 Institutional Fact crmaaa:ZP1 has intentional subject (is intentional subject of) ZE23 Declarative Leaving (is a E1) CRM for Art and Architectural Argumentation Version 1.5.1 ongoing
ZE1 Institutional Fact crmaaa:ZP2 ascribes intentional target (is intentional target ascribed by) ZE23 Declarative Leaving (is a E1) CRM for Art and Architectural Argumentation Version 1.5.1 ongoing
ZE1 Institutional Fact crmaaa:ZP75 applies for context (is context for) ZE23 Declarative Leaving (is a E5) CRM for Art and Architectural Argumentation Version 1.5.1 ongoing
ZE2 Appellative Status crmaaa:ZP5 has appellative subject (is appellative subject of) ZE23 Declarative Leaving (is a E1) CRM for Art and Architectural Argumentation Version 1.5.1 ongoing
ZE4 Classificatory Status crmaaa:ZP11 has classificatory subject (is classificatory subject of) ZE23 Declarative Leaving (is a E1) CRM for Art and Architectural Argumentation Version 1.5.1 ongoing
ZE5 Function Status crmaaa:ZP14 has functional subject (is functional subject of) ZE23 Declarative Leaving (is a E1) CRM for Art and Architectural Argumentation Version 1.5.1 ongoing
ZE12 Referential Status crmaaa:ZP36 ascribes referent (is referent ascribed by) ZE23 Declarative Leaving (is a E1) CRM for Art and Architectural Argumentation Version 1.5.1 ongoing
E95 Spacetime Primitive crm:P169 defines spacetime volume (spacetime volume is defined by) ZE23 Declarative Leaving (is a E92) CIDOC CRM version 7.1.2
ZE14 Similarity Status crmaaa:ZP43 has similarity subject (is similarity subject of) ZE23 Declarative Leaving (is a E1) CRM for Art and Architectural Argumentation Version 1.5.1 ongoing
ZE14 Similarity Status crmaaa:ZP44 ascribes similarity target (is similarity target ascribed by) ZE23 Declarative Leaving (is a E1) CRM for Art and Architectural Argumentation Version 1.5.1 ongoing
ZE15 Set Status crmaaa:ZP47 has set belonging subject (is set belonging subject of) ZE23 Declarative Leaving (is a E1) CRM for Art and Architectural Argumentation Version 1.5.1 ongoing
ZE24 Notional Set crmaaa:ZP51 has former or current set member (is current or former set member of) ZE23 Declarative Leaving (is a E1) CRM for Art and Architectural Argumentation Version 1.5.1 ongoing
ZE25 Dating Status crmaaa:ZP54 ascribes relative date (is relative date ascribed by) ZE23 Declarative Leaving (is a E4) CRM for Art and Architectural Argumentation Version 1.5.1 ongoing
ZE25 Dating Status crmaaa:ZP55 has dating subject (is dating subject of) ZE23 Declarative Leaving (is a E4) CRM for Art and Architectural Argumentation Version 1.5.1 ongoing

Profiles using this class

Label Version Status Last updated

Linked classes graph

Use mouse wheel to zoom in/out.

Comments