Domain:

cpro:CC5 Formulation

Range:

cpro:CC12 Event Trigger Template

Quantification:

No quantifiers yet.

Scope note:

This property describes the relation between a CC5 Formulation and a projected event it plans for. Instances of CC5 Formulation may contain detailed, analytic information regarding how the plan formulates an intended event, or set of events, to occur, documenting also how and under what conditions a specific event can be said to have taken place and achieved according to a set of agreed terms. By instantiating this property, an activity plan can be connected to the analytic information it details for the projected manner of execution of the event that it foresees.

Examples:

• The specific informational content of Studio Libeskind’s World Trade Center Master Plan (CC1) projects the eventual outcome (CC12), namely, that a building be erected at a given a site, within a given budget, and so forth. (https://libeskind.com/work/ground-zero-master-plan/)
• The specific informational content of the 6 August 1880 agreement between Rodin and the French Directorate of Fine Arts (CC6) projects the eventual outcome (CC12), namely, that a functional portal be constructed within a given timeframe and budget, and so forth. (https://rodinmuseum.org/collection/about-auguste-rodin)

In First Order Logic:

• CP4(x,y) ⇒ CC5(x)
• CP4(x,y) ⇒ CC12(y)