requires (is required by) – socP27

socP27 requires (is required by)

Quantification:

1,n:0,n

Scope note:

 

This property associates an instance of socE2 Activity Plan with an instance of socE4 Event Template which specifies the activity that should take place. This property can be used to describe active plans.

Examples:

 

My wedding plan (socE2) requires the event template (socE4) which specifies the date (12th August), place (Cardiff Castle) and the minister (Rev Glyn Tidwell) taking the service.

 

The disaster plan of the Tate Archives (socE2) requires the event template (socE4) which specifies the water-tight doors of the archive store rooms are shut.

In First Order Logic:

  • socP27(x,y) ⊃ socE2(x)
  • socP27(x,y) ⊃ socE4(y)
  • socP27(x,y) ⊃ P67(x,y)

Scope Notes

Show Scope note Language Namespace View details Comments
  This property associates an instance of socE2 Activity Plan with an instance of socE4 Event Template which specifies the activity that should take place. This property can be used to describe active plans. en WIP 0

Examples

Show Example Language Namespace View details Comments
  My wedding plan (socE2) requires the event template (socE4) which specifies the date (12th August), place (Cardiff Castle) and the minister (Rev Glyn Tidwell) taking the service. en WIP 0
  The disaster plan of the Tate Archives (socE2) requires the event template (socE4) which specifies the water-tight doors of the archive store rooms are shut. en WIP 0

Additional notes

Show Notes Language Namespace View details Comments
George, Vincent and Thanasis discussed this and agreed that this is the type of event triggering the plan, so it is correct. en WIP 0
New scope note and example. It is unclear if this property implies the type of events to which the activity plan is triggered (which is what I currently have in the scope note), or the kind of conditions required for the plan to be executable (such as being winter for lime plastering). To discuss in the SIG? en WIP 0

Identifier : socP27

Domain and range

socE2 Activity Plan → socP27 requires (is required by) → socE4 Event Template  (Quantifiers 1,n:0,n)

Labels

Label Language Last updated View details Comments
requires (is required by) * en 2020-02-20 0

: Standard label for this language

Namespace

Namespace Last updated
CRMsoc ongoing 2020-02-25

Parent properties

Domain Property Range Justification Relation namespace View association
Propositional Object – E89 P67 refers to CRM Entity – E1 CRMsoc ongoing

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

Comments