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

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

Range:

Quantification:

0,n:0,n

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

Show Scope note Language Namespace View details Comments
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. en WIP 0

Examples

Show Example Language Namespace View details Comments

Additional notes

Show Notes Language Namespace View details Comments

Identifier : P17

Domain and range

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

Labels

Label Language Last updated View details Comments
is composed of part of type (is type of part of) * en 2020-08-24 0

: Standard label for this language

Namespace

Namespace Last updated
CIDOC CRM supplement (HistDMI) ongoing 2020-08-19

Parent properties

Domain Property Range Justification Relation namespace View details Comments

Ancestor properties

Domain Property Range Depth Property namespace

Child and descendant properties

Domain Property Range Depth Property namespace

Related properties

Relation Property Justification Relation namespace View details Comments

Profiles using this class

Label Start date End date Last updated
Physical man-made objects and basic information about them 2020-08-24

Comments