has validity time-span (is time-span validity for) – O31

O31 has validity time-span (is time-span validity for)

Quantification:

0,n:1,1

Scope note:

This property associates an instance of S23 Position Determination with the instance of E52 Time-Span for which the determination is valid according to the observer at the time of the observation. No inferences can be made in relation to the validity of the determination outside this time-span despite the fact that some entities are relatively stable and their positions may remain the same after the determination. The time-span of validity should fall within the overall time-span of the process of determination.

Examples:

  • The determination of the position of the Titanic for the initial distress call after hitting an iceberg (S23) has validity time-span the time of the collision (E52). [This is a plausible
    guess based on Boxhall’s account; the collision was on 14 April 1912 23:40 ship’s time.] (Halpern, 2011, Boxhall, 1962)
  • The determination of the position of the Titanic by officer Joseph G. Boxhall after the initial distress signal was sent (S23) has validity time-span the time of the collision (E52).
    [Boxhall was convinced of the correctness of his position determination until his death.] (Halpern 2011, Boxhall, 1962)
  • The determination of the position of the Titanic by Robert Ballard's team after the Titanic ship-wreck was found (S23) has validity time-span the time of the position determination
    (E52). [This time period falls within the 1 st of September 1985 00:48, i.e. the first encounter of a piece of Titanic debris and 1987] (Ballard et al., 1987)

In First Order Logic:

  • O31(x,y) ⇒ S23(x)
  • O31(x,y) ⇒ E52(y)
  • O31(x,y) ⇒ P4(x,y)

Scope notes

Examples

Additional notes

Identifier: O31

Official URI: http://www.cidoc-crm.org/cidoc-crm/CRMsci/O31
OntoME URI: https://ontome.net/ontology/p2302

Domain and range

crmsci:S23 Position Determination → O31 has validity time-span (is time-span validity for) → crm:E52 Time-Span  (Quantifiers 0,n:1,1)

Labels

: Standard label for this language

Namespace

Parent properties

Ancestor properties

Child and descendant properties

Related properties

Profiles using this property

Comments