is spatiotemporally separated from – P133

P133 is spatiotemporally separated from

Quantification:

0,n:0,n

Scope note:

This symmetric property associates two instances of E92 Spacetime Volume that have no extents in common. If only the fuzzy boundaries of the instances of E92 Spacetime Volume overlap, this property cannot be determined from observation alone and therefore should not be applied. However, there may be other forms of justification that the two instances of E92 Spacetime Volume must not have any of their extents in common regardless of where and when precisely.

If this property holds for two instances of E92 Spacetime Volume then it cannot be the case that P132 spatiotemporally overlaps with also holds for the same two instances. Furthermore, there are cases where neither P132 spatiotemporally overlaps with nor P133 is spatiotemporally separated from holds between two instances of E92 Spacetime Volume. This would occur where only an overlap of the fuzzy boundaries of the two instances of E92 Spacetime Volume occurs and no other evidence is available.

This property is not transitive. This property is symmetric. This property is irreflexive.

Examples:

The “Hallstatt” period (E4) is spatiotemporally separated from the “La Tène” era (E4). (Marion, 2004)

Kingdom of Greece (1831-1924) (E92) is spatiotemporally separated from Ottoman Empire (1299-1922) (E92).

The path of the army of Alexander the Great (335-323 B.C.) (E7) is spatiotemporally separated from the Mauryan Empire (E4). (Lane Fox, 2004)

In First Order Logic:

  • P133(x,y) ⇒ E92(x)
  • P133(x,y) ⇒ E92(y)

Scope notes

Show Scope note Language Namespace View details Comments
This symmetric property associates two instances of E92 Spacetime Volume that have no extents in common. If only the fuzzy boundaries of the instances of E92 Spacetime Volume overlap, this property cannot be determined from observation alone and therefore should not be applied. However, there may be other forms of justification that the two instances of E92 Spacetime Volume must not have any of their extents in common regardless of where and when precisely. If this property holds for two instances of E92 Spacetime Volume then it cannot be the case that P132 spatiotemporally overlaps with also holds for the same two instances. Furthermore, there are cases where neither P132 spatiotemporally overlaps with nor P133 is spatiotemporally separated from holds between two instances of E92 Spacetime Volume. This would occur where only an overlap of the fuzzy boundaries of the two instances of E92 Spacetime Volume occurs and no other evidence is available.This property is not transitive. This property is symmetric. This property is irreflexive. en CIDOC CRM version 7.1.2 0

Examples

Show Example Language Namespace View details Comments
The “Hallstatt” period (E4) is spatiotemporally separated from the “La Tène” era (E4). (Marion, 2004) en CIDOC CRM version 7.1.2 0
Kingdom of Greece (1831-1924) (E92) is spatiotemporally separated from Ottoman Empire (1299-1922) (E92). en CIDOC CRM version 7.1.2 0
The path of the army of Alexander the Great (335-323 B.C.) (E7) is spatiotemporally separated from the Mauryan Empire (E4). (Lane Fox, 2004) en CIDOC CRM version 7.1.2 0

Additional notes

Show Notes Type Language Namespace View details Comments

Identifier: P133

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

Domain and range

crm:E92 Spacetime Volume → P133 is spatiotemporally separated from → crm:E92 Spacetime Volume  (Quantifiers 0,n:0,n)

Labels

Label Language Last updated View details Comments
is spatiotemporally separated from * en 2022-06-13 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

Related properties

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

Profiles using this property

Label Version Status Last updated

Comments