CP21 stipulates part (is part stipulated by)

Quantification:

No quantifiers yet.

Scope note:

This property enables the documentation of expected parts of a planned object and the particular features of those parts.

Examples:

In First Order Logic:

  • CP21(x,y) ⇒ CC11(x)
  • CP21(x,y) ⇒ CC11(y)

Scope notes

Examples

Additional notes

Identifier: CP21

Official URI: https://ontology.swissartresearch.net/cpro/CP21_stipulates_part
OntoME URI: https://ontome.net/ontology/p1372

Domain and range

cpro:CC11 Object Trigger Template → CP21 stipulates part (is part stipulated by) → cpro:CC11 Object Trigger Template

Labels

: Standard label for this language

Parent properties

Ancestor properties

Child and descendant properties

Related properties

Profiles using this property

Comments