CP19 stipulates function (is function stipulated by)

Quantification:

No quantifiers yet.

Scope note:

This property describes the expected function of the projected object.

Examples:

In First Order Logic:

  • CP19(x,y) ⇒ CC11(x)
  • CP19(x,y) ⇒ E55(y)

Scope notes

Examples

Additional notes

Identifier: CP19

Official URI: https://ontology.swissartresearch.net/cpro/CP19_stipulates_function
OntoME URI: https://ontome.net/ontology/p1370

Domain and range

cpro:CC11 Object Trigger Template → CP19 stipulates function (is function 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