realized (duplicate, delete) – socP3

socP3 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:

  • socP3(x,y) ⊃ E7(x)
  • socP3(x,y) ⊃ socE2(y)

Scope Notes

Show Scope note Language Namespace View details 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 0

Examples

Show Example Language Namespace View details 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 0
The conservation of MS Greek 418 (E7 Activity) realised the proposals for its conservation (Activity Plan). en WIP 0

Additional notes

Show Notes Language Namespace View details Comments
Duplicate property. Needs to be deleted. en WIP 0

Identifier : socP3

Domain and range

E7 Activity → socP3 realized (duplicate, delete) → socE2 Activity Plan

Labels

Label Language Last updated View details Comments
realized (duplicate, delete) * en 2019-03-13 0

: Standard label for this language

Namespace

Namespace Last updated
CRMsoc version 0.1 ongoing 2019-06-13

Parent properties

Domain Property Range Justification Root namespace View association

Ancestor properties

Domain Property Range Depth Root namespace

Childs and descendant properties

Domain Property Range Depth Root namespace

Related properties

Relation Property Justification Defined in namespace View details

Profiles using this class

Label Start date End date Last updated

Comments