was ended by (ended) – socP16

socP16 was ended by (ended)

Range:

Quantification:

0,1:0,n

Scope note:

This property associates an instance of scoE?? Intention to Apply with an explicit activity or event terminating it. Often, the termination of the ‘intention to apply’ is implicit in the realization of the activity plan. In some cases, it may be silently forgotten.

Examples:

The intention to apply §175 StGB of the German federal law (declaring homosexuality as a crime) was ended by the deletion of §175 StGB in 1994 by the German Budestag (E7).

Storing MS Greek 418 into its new phase box (E7 Activity) ends the intention to conserve it

In First Order Logic:

  • socP16(x,y) ⊃ socE(x)
  • socP16(x,y) ⊃ E5(y)

Scope Notes

Show Scope note Language Namespace View details and comments
This property associates an instance of scoE?? Intention to Apply with an explicit activity or event terminating it. Often, the termination of the ‘intention to apply’ is implicit in the realization of the activity plan. In some cases, it may be silently forgotten. en WIP

Examples

Show Example Language Namespace View details and comments
The intention to apply §175 StGB of the German federal law (declaring homosexuality as a crime) was ended by the deletion of §175 StGB in 1994 by the German Budestag (E7). en WIP
Storing MS Greek 418 into its new phase box (E7 Activity) ends the intention to conserve it en WIP

Additional notes

Show Notes Language Namespace View details and comments
Added Martin's example from the SIG email on 17 May 2018. en WIP

Domain and range

socE Intention to Apply → socP16 was ended by (ended) → E5 Event  (Quantifiers 0,1:0,n)

Labels

Label Language Last updated View details and comments
was ended by (ended) en 2019-02-05

Namespace

Namespace Last updated
CRMsoc version 0.1 ongoing 2019-04-02

Parent properties

Property identifier Justification Root namespace View association

Ancestor properties

Property identifier Depth Root namespace

Childs and descendant properties

Property identifier Depth Root namespace

Equivalent properties

Profiles using this class

Label Start date End date Last updated

Comments