Validation status:  Validated

ZP52 intentionally terminated (was intentionally terminated by)

Quantification:

No quantifiers yet.

Scope note:

This property is used to connect an instance of transformative symbolic act to the instance of institutional fact which it cancels through the successful performance of a specified norm type conformant symbolic act.

Examples:

In First Order Logic:

  • ZP52(x,y) ⇒ ZE52(x)
  • ZP52(x,y) ⇒ ZE1(y)
  • ZP52(x,y) ⇒ ZP112(x,y)

Scope notes

Examples

Additional notes

Identifier: ZP52

Official URI: https://ontology.swissartresearch.net/aaao/ZP52_intentionally_terminated
OntoME URI: https://ontome.net/ontology/p2154

Domain and range

aaao:ZE52 Transformative Symbolic Act → ZP52 intentionally terminated (was intentionally terminated by) → aaao:ZE1 Institutional Fact

Labels

: Standard label for this language

Parent properties

Ancestor properties

Child and descendant properties

Related properties

Profiles using this property

Comments