falls within (contains) – P10

P10 falls within (contains)

Quantification:

1,n:1,n

Scope note:

This property associates an instance of E92 Spacetime Volume with another instance of E92 Spacetime Volume that falls within the latter. In other words, all points in the former are also points in the latter.

This property is transitive and reflexive.

Examples:

The Great Plague (E4) falls within The Gothic period (E4). (Porter, 2009)

In First Order Logic:

  • P10(x,y) ⇒ E92(x)
  • P10(x,y) ⇒ E92(y)
  • P10(x,y) ⇒ P132(x,y)

Scope notes

Examples

Additional notes

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:E92 Spacetime Volume → P10 falls within (contains) → crm:E92 Spacetime Volume  (Quantifiers 1,n:1,n)

Labels

: Standard label for this language

Namespace

Parent properties

Ancestor properties

Child and descendant properties

Related properties

Profiles using this property

Comments