realised (was realised by) – socP17

socP17 realised (was realised by)

Domain:

Quantification:

0,n:0,n

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:

  • socP17(x,y) ⊃ E7(x)
  • socP17(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

Domain and range

E7 Activity → socP17 realised (was realised by) → socE Activity Plan  (Quantifiers 0,n:0,n)

Labels

Label Language Last updated View details and comments
realised (was realised by) 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