stipulates type of object outcome (is type of object outcome stipulated by) – CP5

CP5 stipulates type of object outcome (is type of object outcome stipulated by)

Quantification:

No quantifiers yet.

Scope note:

This property describes what type of object has been stipulated in a CC12 Event Trigger Template, as expected to be brought into existence through the event it projects. The form of stipulation is categorical, specifying a kind of object to be produced but not its particular features.

Examples:

In First Order Logic:

  • CP5(x,y) ⇒ CC12(x)
  • CP5(x,y) ⇒ E55(y)

Scope notes

Examples

Additional notes

Identifier: CP5

Official URI: https://ontology.swissartresearch.net/cpro/CP5_stipulates_type_of_object_outcome
OntoME URI: https://ontome.net/ontology/p2258

Domain and range

cpro:CC12 Event Trigger Template → CP5 stipulates type of object outcome (is type of object outcome stipulated by) → crm:E55 Type

Labels

: Standard label for this language

Parent properties

Ancestor properties

Child and descendant properties

Related properties

Profiles using this property

Comments