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:

Dante’s “Divine Comedy” (E89) has component Dante’s “Hell” (E89)

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 CIDOC CRM version 6.2 0

Examples

Show Example Language Namespace View details Comments
Dante’s “Divine Comedy” (E89) has component Dante’s “Hell” (E89) en CIDOC CRM version 6.2 0

Additional notes

Show Notes Type Language Namespace View details Comments

Identifier: P148

Official URI: http://www.cidoc-crm.org/cidoc-crm/P148_has_component
OntoME URI: https://ontome.net/ontology/p136

Domain and range

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

Labels

Label Language Last updated View details Comments
has component (is component of) en 2022-06-13 0
有组件 * zh 2021-06-10 0
hat Bestandteil * de 2021-06-10 0

: Standard label for this language

Namespace

Namespace Last updated
CIDOC CRM version 7.1.2 2022-06-13
CIDOC CRM version 5.0.4 2022-06-13
CIDOC CRM version 6.2 2021-06-10

Parent properties

Domain Property Range Property namespace Relation defined in Justification View details Edit Delete Comments

Ancestor properties

Domain Property Range Depth Property namespace

Child and descendant properties

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

Related properties

Relation Property Property namespace Relation defined in Justification View details Edit Delete Comments

Profiles using this property

Label Version Status Last updated
Intellectual and literary life 1 Ongoing 2023-10-25
Silknow working profile 1 Ongoing 2023-10-25
Planned voyages ongoing 1 Ongoing 2023-11-05

Comments