has component (is component of) – P148

P148 has component (is component of)

Quantification:

0,n:0,n

Scope note:

This property associates an instance of E89 Propositional Object with a structural part of it that is by itself an instance of E89 Propositional Object.

Examples:

No example yet.

In First Order Logic:

  • P148(x,y) ⊃ E89(x)
  • P148(x,y) ⊃ E89(y)

Scope Notes

Show Scope note Language Namespace View details Comments
This property associates an instance of E89 Propositional Object with a structural part of it that is by itself an instance of E89 Propositional Object. en WIP 0

Examples

Show Example Language Namespace View details Comments

Additional notes

Show Notes Language Namespace View details Comments

Identifier : P148

Domain and range

E89 Propositional Object → P148 has component (is component of) → E89 Propositional Object  (Quantifiers 0,n:0,n)

Labels

Label Language Last updated View details Comments
hat Bestandteil * de 2018-09-14 0
has component (is component of) * en 2020-08-26 0
有组件 * zh 2018-09-14 0

: Standard label for this language

Namespace

Namespace Last updated
CIDOC CRM version 6.2 2020-08-26

Parent properties

Domain Property Range Justification Relation namespace View details Comments

Ancestor properties

Domain Property Range Depth Property namespace

Childs and descendant properties

Domain Property Range Depth Property namespace
Expression – F2 (0,n) R5 has component (is component of) (0,n) Self-Contained Expression – F22 1 FRBRoo version 2.4
Complex Work – F15 (0,n) R10 has member (is member of) (2,n) Work – F1 1 FRBRoo version 2.4
Nomen Use Statement – F35 (1,n) R35 specified by (specifies) (1,1) KOS – F34 1 FRBRoo version 2.4

Related properties

Relation Property Justification Relation namespace View details Comments

Profiles using this class

Label Start date End date Last updated
Visual Contagions 2020-05-06
Silknow working profile 2020-02-21
Intellectual and literary life 2020-05-28

Comments