is composed of part of type (is type of part of) – P17

This property does not yet have the minimum number of validated parts required for publication.

P17 is composed of part of type (is type of part of)

Domain:

crm:E18 Physical Thing

Range:

crm:E55 Type

Quantification:

0,n:0,1

Scope note:

This property models components of physical objects that are not identified as individuals but just as types. It extends the crm:P46 is composed of property to more general situation where the identification of each part of a physical thing is not identified as such.

Examples:

No example yet.

In First Order Logic:

  • P17(x,y) ⇒ E18(x)
  • P17(x,y) ⇒ E55(y)

Scope notes

Examples

Additional notes

Identifier: P17

Official URI: https://sdhss.org/ontology/crm-supplement/P17
OntoME URI: https://ontome.net/ontology/p1657

Domain and range

crm:E18 Physical Thing → P17 is composed of part of type (is type of part of) → crm:E55 Type  (Quantifiers 0,n:0,1)

Labels

: Standard label for this language

Namespace

Parent properties

Ancestor properties

Child and descendant properties

Related properties

Profiles using this property

Comments