consists of – P45

P45 consists of

Range:

Quantification:

No quantifiers yet.

Scope note:

This property identifies the instances of E57 Materials of which an instance of E18 Physical Thing is composed. All physical things consist of physical materials. P45 consists of (is incorporated in) allows the different Materials to be recorded. P45 consists of (is incorporated in) refers here to observed Material as opposed to the consumed raw material. A Material, such as a theoretical alloy, may not have any physical instances

Examples:

No example yet.

In First Order Logic:

  • P45(x,y) ⊃ E18(x)
  • P45(x,y) ⊃ E57(y)
  • P45(x,y) ⊃ topObjectProperty(x,y)

Scope Notes

Show Scope note Language Namespace View details Comments
This property identifies the instances of E57 Materials of which an instance of E18 Physical Thing is composed. All physical things consist of physical materials. P45 consists of (is incorporated in) allows the different Materials to be recorded. P45 consists of (is incorporated in) refers here to observed Material as opposed to the consumed raw material. A Material, such as a theoretical alloy, may not have any physical instances en WIP 0

Examples

Show Example Language Namespace View details Comments

Additional notes

Show Notes Language Namespace View details Comments

Identifier : P45

Domain and range

E18 Physical Thing → P45 consists of → E57 Material

Labels

Label Language Last updated View details Comments
besteht aus * de 2018-09-14 0
αποτελείται από * el 2018-09-14 0
consists of * en 2018-09-14 0
consiste en * fr 2018-09-14 0
consiste de * pt 2018-09-14 0
составлен из * ru 2018-09-14 0
有构成材料 * zh 2018-09-14 0

: Standard label for this language

Namespace

Namespace Last updated
CIDOC CRM version 6.2 2019-03-28

Parent properties

Domain Property Range Justification Root namespace View association
Thing topObjectProperty Thing The OWL 2 Schema vocabulary

Ancestor properties

Domain Property Range Depth Root namespace

Childs and descendant properties

Domain Property Range Depth Root namespace

Related properties

Relation Property Justification Defined in namespace View details

Profiles using this class

Label Start date End date Last updated
Silknow working profile 2019-09-23

Comments