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 Art and Architectural Argumentation Ontology Version 1.6 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 Art and Architectural Argumentation Ontology Version 1.6 ongoing 0 Validated

Additional notes

Show Notes Type Language Namespace View details Comments Validation

Identifier: ZE23

Official URI: https://ontology.swissartresearch.net/aaao/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 Art and Architectural Argumentation Ontology Version 1.6 ongoing Art and Architectural Argumentation Ontology Version 1.6 ongoing 0 Validated
E86 Leaving CIDOC CRM version 7.1.3 Art and Architectural Argumentation Ontology Version 1.6 ongoing 0 Validated

Ancestor classes

Class Depth Class namespace Via
E1 CRM Entity 5 CIDOC CRM version 7.1.3 E86 - E7 - E5 - S15
E1 CRM Entity 6 CIDOC CRM version 7.1.3 E86 - E7 - E5 - E4 - E2
E1 CRM Entity 6 CIDOC CRM version 7.1.3 E86 - E7 - E5 - E4 - E92
E1 CRM Entity 7 CIDOC CRM version 7.1.3 ZE13 - ZE52 - ZE53 - E7 - E5 - S15
E1 CRM Entity 8 CIDOC CRM version 7.1.3 ZE13 - ZE52 - ZE53 - E7 - E5 - E4 - E2
E1 CRM Entity 8 CIDOC CRM version 7.1.3 ZE13 - ZE52 - ZE53 - E7 - E5 - E4 - E92
E2 Temporal Entity 5 CIDOC CRM version 7.1.3 E86 - E7 - E5 - E4
E2 Temporal Entity 7 CIDOC CRM version 7.1.3 ZE13 - ZE52 - ZE53 - E7 - E5 - E4
E4 Period 4 CIDOC CRM version 7.1.3 E86 - E7 - E5
E4 Period 6 CIDOC CRM version 7.1.3 ZE13 - ZE52 - ZE53 - E7 - E5
E5 Event 3 CIDOC CRM version 7.1.3 E86 - E7
E5 Event 5 CIDOC CRM version 7.1.3 ZE13 - ZE52 - ZE53 - E7
E7 Activity 2 CIDOC CRM version 7.1.3 E86
E7 Activity 4 CIDOC CRM version 7.1.3 ZE13 - ZE52 - ZE53
E92 Spacetime Volume 5 CIDOC CRM version 7.1.3 E86 - E7 - E5 - E4
E92 Spacetime Volume 7 CIDOC CRM version 7.1.3 ZE13 - ZE52 - ZE53 - E7 - E5 - E4
Thing 6 OntoME internal model - active version E86 - E7 - E5 - S15 - E1
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 8 OntoME internal model - active version ZE13 - ZE52 - ZE53 - E7 - E5 - S15 - E1
Thing 9 OntoME internal model - active version ZE13 - ZE52 - ZE53 - E7 - E5 - E4 - E2 - E1
Thing 9 OntoME internal model - active version ZE13 - ZE52 - ZE53 - E7 - E5 - E4 - E92 - E1
S15 Observable Entity 4 CRMsci version 2.0 E86 - E7 - E5
S15 Observable Entity 6 CRMsci version 2.0 ZE13 - ZE52 - ZE53 - E7 - E5
ZE52 Transformative Symbolic Act 2 Art and Architectural Argumentation Ontology Version 1.6 ongoing ZE13
ZE53 Symbolic Act 3 Art and Architectural Argumentation Ontology Version 1.6 ongoing ZE13 - ZE52

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.3
ZE23 Declarative Leaving (is a E1 CRM Entity ) crm:P2 has type (is type of) E55 Type CIDOC CRM version 7.1.3
ZE23 Declarative Leaving (is a E1 CRM Entity ) crm:P3 has note E62 String CIDOC CRM version 7.1.3
ZE23 Declarative Leaving (is a E1 CRM Entity ) crm:P48 has preferred identifier (is preferred identifier of) E42 Identifier CIDOC CRM version 7.1.3
ZE23 Declarative Leaving (is a E1 CRM Entity ) crm:P137 exemplifies (is exemplified by) E55 Type CIDOC CRM version 7.1.3
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.3
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.3
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.3
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.3
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.3
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.3
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.3
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.3
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.3
ZE23 Declarative Leaving (is a E4 Period ) crm:P7 took place at (witnessed) E53 Place CIDOC CRM version 7.1.3
ZE23 Declarative Leaving (is a E4 Period ) crm:P8 took place on or within (witnessed) E18 Physical Thing CIDOC CRM version 7.1.3
ZE23 Declarative Leaving (is a E4 Period ) crm:P9 consists of (forms part of) E4 Period CIDOC CRM version 7.1.3
ZE23 Declarative Leaving (is a E5 Event ) crm:P11 had participant (participated in) E39 Actor CIDOC CRM version 7.1.3
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.3
ZE23 Declarative Leaving (is a E5 Event ) crmsci:O13 triggered (was triggered by) E5 Event CRMsci version 2.0
ZE23 Declarative Leaving (is a E5 Event ) aaao:ZP111 initiated (was initiated by) ZE1 Institutional Fact Art and Architectural Argumentation Ontology Version 1.6 ongoing
ZE23 Declarative Leaving (is a E5 Event ) aaao:ZP112 terminated (was terminated by) ZE1 Institutional Fact Art and Architectural Argumentation Ontology Version 1.6 ongoing
ZE23 Declarative Leaving (is a E7 Activity ) crm:P14 carried out by (performed) E39 Actor CIDOC CRM version 7.1.3
ZE23 Declarative Leaving (is a E7 Activity ) crm:P15 was influenced by (influenced) E1 CRM Entity CIDOC CRM version 7.1.3
ZE23 Declarative Leaving (is a E7 Activity ) crm:P16 used specific object (was used for) E70 Thing CIDOC CRM version 7.1.3
ZE23 Declarative Leaving (is a E7 Activity ) crm:P17 was motivated by (motivated) E1 CRM Entity CIDOC CRM version 7.1.3
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.3
ZE23 Declarative Leaving (is a E7 Activity ) crm:P20 had specific purpose (was purpose of) E5 Event CIDOC CRM version 7.1.3
ZE23 Declarative Leaving (is a E7 Activity ) crm:P21 had general purpose (was purpose of) E55 Type CIDOC CRM version 7.1.3
ZE23 Declarative Leaving (is a E7 Activity ) crm:P32 used general technique (was technique of) E55 Type CIDOC CRM version 7.1.3
ZE23 Declarative Leaving (is a E7 Activity ) crm:P33 used specific technique (was used by) E29 Design or Procedure CIDOC CRM version 7.1.3
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.3
ZE23 Declarative Leaving (is a E7 Activity ) crm:P134 continued (was continued by) E7 Activity CIDOC CRM version 7.1.3
ZE23 Declarative Leaving (is a E86 Leaving ) crm:P145 separated (left by) E39 Actor CIDOC CRM version 7.1.3
ZE23 Declarative Leaving (is a E86 Leaving ) crm:P146 separated from (lost member by) E74 Group CIDOC CRM version 7.1.3
ZE23 Declarative Leaving (is a E92 Spacetime Volume ) crm:P10 falls within (contains) E92 Spacetime Volume CIDOC CRM version 7.1.3
ZE23 Declarative Leaving (is a E92 Spacetime Volume ) crm:P132 spatiotemporally overlaps with E92 Spacetime Volume CIDOC CRM version 7.1.3
ZE23 Declarative Leaving (is a E92 Spacetime Volume ) crm:P133 is spatiotemporally separated from E92 Spacetime Volume CIDOC CRM version 7.1.3
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.3
ZE23 Declarative Leaving (is a E92 Spacetime Volume ) crm:P161 has spatial projection (is spatial projection of) E53 Place CIDOC CRM version 7.1.3
ZE23 Declarative Leaving (is a S15 Observable Entity ) crmsci:O12 has dimension (is dimension of) E54 Dimension CRMsci version 2.0
ZE23 Declarative Leaving (is a ZE13 Speech Act ) aaao:ZP39 invoked (was invoked by) E29 Design or Procedure Art and Architectural Argumentation Ontology Version 1.6 ongoing
ZE23 Declarative Leaving (is a ZE13 Speech Act ) aaao:ZP41 uttered (was uttered by) E73 Information Object Art and Architectural Argumentation Ontology Version 1.6 ongoing
ZE23 Declarative Leaving (is a ZE52 Transformative Symbolic Act ) aaao:ZP42 intentionally initiated (was intentionally initiated by) ZE1 Institutional Fact Art and Architectural Argumentation Ontology Version 1.6 ongoing
ZE23 Declarative Leaving (is a ZE52 Transformative Symbolic Act ) aaao:ZP52 intentionally terminated (was intentionally terminated by) ZE1 Institutional Fact Art and Architectural Argumentation Ontology Version 1.6 ongoing
ZE23 Declarative Leaving (is a ZE52 Transformative Symbolic Act ) aaao:ZP53 intentionally initiated institutional fact for (had institutional fact intentionally initiated by) E74 Group Art and Architectural Argumentation Ontology Version 1.6 ongoing
ZE23 Declarative Leaving (is a ZE52 Transformative Symbolic Act ) aaao:ZP74 intentionally terminated institutional fact for (had institutional fact intentionally terminated by) E74 Group Art and Architectural Argumentation Ontology Version 1.6 ongoing
ZE23 Declarative Leaving (is a ZE53 Symbolic Act ) aaao:ZP40 performed (was performed by) E29 Design or Procedure Art and Architectural Argumentation Ontology Version 1.6 ongoing
ZE23 Declarative Leaving (is a ZE53 Symbolic Act ) aaao:ZP100 challenged (was challenged by) ZE1 Institutional Fact Art and Architectural Argumentation Ontology Version 1.6 ongoing
ZE23 Declarative Leaving (is a ZE53 Symbolic Act ) aaao:ZP101 affirmed (was affirmed by) ZE1 Institutional Fact Art and Architectural Argumentation Ontology Version 1.6 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.3
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.3
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.3
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.3
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.3
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.3
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.3
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.3
E4 Period crm:P9 consists of (forms part of) ZE23 Declarative Leaving (is a E4) CIDOC CRM version 7.1.3
E5 Event crmsci:O13 triggered (was triggered by) ZE23 Declarative Leaving (is a E5) CRMsci version 2.0
E7 Activity crm:P134 continued (was continued by) ZE23 Declarative Leaving (is a E7) CIDOC CRM version 7.1.3
E7 Activity crm:P15 was influenced by (influenced) ZE23 Declarative Leaving (is a E1) CIDOC CRM version 7.1.3
E7 Activity crm:P17 was motivated by (motivated) ZE23 Declarative Leaving (is a E1) CIDOC CRM version 7.1.3
E7 Activity crm:P20 had specific purpose (was purpose of) ZE23 Declarative Leaving (is a E5) CIDOC CRM version 7.1.3
E13 Attribute Assignment crm:P140 assigned attribute to (was attributed by) ZE23 Declarative Leaving (is a E1) CIDOC CRM version 7.1.3
E13 Attribute Assignment crm:P141 assigned (was assigned by) ZE23 Declarative Leaving (is a E1) CIDOC CRM version 7.1.3
E17 Type Assignment crm:P41 classified (was classified by) ZE23 Declarative Leaving (is a E1) CIDOC CRM version 7.1.3
E18 Physical Thing crm:P196 defines (is defined by) ZE23 Declarative Leaving (is a E92) CIDOC CRM version 7.1.3
E24 Physical Human-Made Thing crm:P62 depicts (is depicted by) ZE23 Declarative Leaving (is a E1) CIDOC CRM version 7.1.3
E31 Document crm:P70 documents (is documented in) ZE23 Declarative Leaving (is a E1) CIDOC CRM version 7.1.3
E32 Authority Document crm:P71 lists (is listed in) ZE23 Declarative Leaving (is a E1) CIDOC CRM version 7.1.3
E36 Visual Item crm:P138 represents (has representation) ZE23 Declarative Leaving (is a E1) CIDOC CRM version 7.1.3
E83 Type Creation crm:P136 was based on (supported type creation) ZE23 Declarative Leaving (is a E1) CIDOC CRM version 7.1.3
E89 Propositional Object crm:P129 is about (is subject of) ZE23 Declarative Leaving (is a E1) CIDOC CRM version 7.1.3
E89 Propositional Object crm:P67 refers to (is referred to by) ZE23 Declarative Leaving (is a E1) CIDOC CRM version 7.1.3
E92 Spacetime Volume crm:P10 falls within (contains) ZE23 Declarative Leaving (is a E92) CIDOC CRM version 7.1.3
E92 Spacetime Volume crm:P132 spatiotemporally overlaps with ZE23 Declarative Leaving (is a E92) CIDOC CRM version 7.1.3
E92 Spacetime Volume crm:P133 is spatiotemporally separated from ZE23 Declarative Leaving (is a E92) CIDOC CRM version 7.1.3
E93 Presence crm:P166 was a presence of (had presence) ZE23 Declarative Leaving (is a E92) CIDOC CRM version 7.1.3
S4 Observation crmsci:O16 observed value (value was observed by) ZE23 Declarative Leaving (is a E1) CRMsci version 2.0
S4 Observation crmsci:O8 observed (was observed by) ZE23 Declarative Leaving (is a S15) CRMsci version 2.0
S6 Data Evaluation crmsci:O11 described (was described by) ZE23 Declarative Leaving (is a S15) CRMsci version 2.0
S21 Measurement crmsci:O24 measured (was measured by) ZE23 Declarative Leaving (is a S15) CRMsci version 2.0
S22 Segment of Matter crmsci:O23 is defined by (defines) ZE23 Declarative Leaving (is a E92) CRMsci version 2.0
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 aaao:ZP1 has intentional subject (is intentional subject of) ZE23 Declarative Leaving (is a E1) Art and Architectural Argumentation Ontology Version 1.6 ongoing
ZE1 Institutional Fact aaao:ZP2 ascribes intentional target (is intentional target ascribed by) ZE23 Declarative Leaving (is a E1) Art and Architectural Argumentation Ontology Version 1.6 ongoing
ZE1 Institutional Fact aaao:ZP75 applies for context (is context for) ZE23 Declarative Leaving (is a E5) Art and Architectural Argumentation Ontology Version 1.6 ongoing
ZE2 Appellative Status aaao:ZP5 has appellative subject (is appellative subject of) ZE23 Declarative Leaving (is a E1) Art and Architectural Argumentation Ontology Version 1.6 ongoing
ZE4 Classificatory Status aaao:ZP11 has classificatory subject (is classificatory subject of) ZE23 Declarative Leaving (is a E1) Art and Architectural Argumentation Ontology Version 1.6 ongoing
ZE5 Function Status aaao:ZP14 has functional subject (is functional subject of) ZE23 Declarative Leaving (is a E1) Art and Architectural Argumentation Ontology Version 1.6 ongoing
ZE12 Referential Status aaao:ZP36 ascribes referent (is referent ascribed by) ZE23 Declarative Leaving (is a E1) Art and Architectural Argumentation Ontology Version 1.6 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.3
S23 Position Determination crmsci:O32 determined position of (was located by) ZE23 Declarative Leaving (is a S15) CRMsci version 2.0
ZE14 Similarity Status aaao:ZP43 has similarity subject (is similarity subject of) ZE23 Declarative Leaving (is a E1) Art and Architectural Argumentation Ontology Version 1.6 ongoing
ZE14 Similarity Status aaao:ZP44 ascribes similarity target (is similarity target ascribed by) ZE23 Declarative Leaving (is a E1) Art and Architectural Argumentation Ontology Version 1.6 ongoing
ZE15 Set Status aaao:ZP47 has set belonging subject (is set belonging subject of) ZE23 Declarative Leaving (is a E1) Art and Architectural Argumentation Ontology Version 1.6 ongoing
ZE24 Notional Set aaao:ZP51 has former or current set member (is current or former set member of) ZE23 Declarative Leaving (is a E1) Art and Architectural Argumentation Ontology Version 1.6 ongoing
ZE25 Dating Status aaao:ZP54 ascribes relative date (is relative date ascribed by) ZE23 Declarative Leaving (is a E4) Art and Architectural Argumentation Ontology Version 1.6 ongoing
ZE25 Dating Status aaao:ZP55 has dating subject (is dating subject of) ZE23 Declarative Leaving (is a E4) Art and Architectural Argumentation Ontology Version 1.6 ongoing
ZE60 Evental Locative Status aaao:ZP120 has event location subject (is event location subject of) ZE23 Declarative Leaving (is a E5) Art and Architectural Argumentation Ontology Version 1.6 ongoing

Profiles using this class

Label Version Status Last updated

Linked classes graph

Use mouse wheel to zoom in/out.

Comments