realized - duplicate, delete – socP3

socP3 realized - duplicate, delete



No quantifiers yet.

Scope note:

No scope note yet.


No example yet.

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


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


Label Language Last updated View details Comments
realized - duplicate, delete * en 2019-12-17 0

: Standard label for this language


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

Parent properties

Domain Property Range Justification Relation namespace View association

Ancestor properties

Domain Property Range Depth Property namespace

Childs and descendant properties

Domain Property Range Depth Property namespace

Related properties

Relation Property Justification Relation namespace View details

Profiles using this class

Label Start date End date Last updated