realized (duplicate, delete) – socP5

socP5 realized (duplicate, delete)

Domain:

Quantification:

No quantifiers yet.

Scope note:

This property associates an instance of E7 Activity with the instance of E100 Activity Plan of which it is regarded as being a valid execution by the actors holding the ‘intention to apply’. To be valid the E61 Time Primitive associated with the instance of E7 Activity must fall within the E61 Time Primitive foreseen in the E101 Intention to Apply.

Examples:

The delivery of a fine to a citizen in the initial enforcement period of Law 3730/2008 against smoking in public/work places (E7) realized  provisions of Law 3730/2008 of the Greek Government against smoking in work places (E100).

The conservation of MS Greek 418 (E7 Activity) realised the proposals for its conservation (Activity Plan).

In First Order Logic:

  • socP5(x,y) ⊃ E7(x)
  • socP5(x,y) ⊃ socE(y)

Scope Notes

Show Scope note Language Namespace View details and comments
This property associates an instance of E7 Activity with the instance of E100 Activity Plan of which it is regarded as being a valid execution by the actors holding the ‘intention to apply’. To be valid the E61 Time Primitive associated with the instance of E7 Activity must fall within the E61 Time Primitive foreseen in the E101 Intention to Apply. en WIP

Examples

Show Example Language Namespace View details and comments
The delivery of a fine to a citizen in the initial enforcement period of Law 3730/2008 against smoking in public/work places (E7) realized  provisions of Law 3730/2008 of the Greek Government against smoking in work places (E100). en WIP
The conservation of MS Greek 418 (E7 Activity) realised the proposals for its conservation (Activity Plan). en WIP

Additional notes

Show Notes Language Namespace View details and comments
Duplicate property. Needs to be deleted. en WIP

Domain and range

E7 Activity → socP5 realized (duplicate, delete) → socE Activity Plan

Labels

Label Language Last updated View details and comments
realized (duplicate, delete) en 2019-03-13

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