falls within (contains) – P10

P10 falls within (contains)

Quantification:

0,n:0,n

Scope note:

This property describes an instance of E4 Period, which falls within the E53 Place and E52 Time-Span of another.

The difference with P9 consists of (forms part of) is subtle. Unlike P9 consists of (forms part of), P10 falls within (contains) does not imply any logical connection between the two periods and it may refer to a period of a completely different type.

Examples:

the Great Plague (E4) falls within The Gothic period (E4)

In First Order Logic:

  • P10(x,y) ⇒ E4(x)
  • P10(x,y) ⇒ E4(y)

Scope notes

Show Scope note Language Namespace View details Comments
This property describes an instance of E4 Period, which falls within the E53 Place and E52 Time-Span of another. The difference with P9 consists of (forms part of) is subtle. Unlike P9 consists of (forms part of), P10 falls within (contains) does not imply any logical connection between the two periods and it may refer to a period of a completely different type. en CIDOC CRM version 5.0.4 0

Examples

Show Example Language Namespace View details Comments
the Great Plague (E4) falls within The Gothic period (E4) en CIDOC CRM version 5.0.4 0

Additional notes

Show Notes Type Language Namespace View details Comments

Identifier: P10

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

Domain and range

crm:E4 Period → P10 falls within (contains) → crm:E4 Period  (Quantifiers 0,n:0,n)

Labels

Label Language Last updated View details Comments
falls within (contains) en 2022-06-13 0
s’insère dans le cours de (contient) fr 2024-12-21 0
находится в пределах (содержит) ru 2024-12-21 0
está contido em (contém) pt 2024-12-21 0
εμπίπτει (περιλαμβάνει) el 2024-12-21 0
fällt in (enthält) de 2024-12-21 0

: Standard label for this language

Namespace

Namespace Last updated
CIDOC CRM version 7.1.3 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

Related properties

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

Profiles using this property

Label Version Status Last updated
Silknow working profile 1 Ongoing 2023-10-25

Comments