Reference Space – SP3

SP3 Reference Space

Subclass of:

Scope note:

This class comprises the (typically Euclidian) Space (S) that is at rest (I) in relation to an instance of E18 Physical Thing and extends (U) infinitely beyond it. It is the space in which we typically expect things to stay in place if no particular natural or human distortion processes occur. This definition requires that at least essential parts of the respective physical thing have a stability of form. The degree of this stability (e.g., elastic deformation of a ship on sea, landslides, geological deformations) limits the precision to which an instance of SP3 Reference Space is defined. It is possible to construct types of (non Euclidian) reference spaces which adapt to elastic deformations or have other geometric and dynamic properties to adapt to changes of form of the reference object, but they are of rare utility in the cultural-historical discourse.

An instance of SP3 Reference Space begins to exist with the largest thing that is at rest in it and ceases to exist with its E6 Destruction. If other things are at rest in the same space and their time-span of existence falls within the one of the reference object, they share the same reference space (I). It has therefore the same temporal extent (time-span of existence) as the whole of the E18 Physical Things it is at rest with (E).

Examples:

  • The Space inside and around H.M.S. Victory while it is moving through the Atlantic Ocean
  • The Space inside and around the Eurasian Continental Plate
  • The Space inside and around the Earth
  • The Space inside and around the Solar system

In First Order Logic:

  • SP3(x) ⇒ E1(x)

Scope notes

Examples

Additional notes

Identifier: SP3

Official URI: http://www.ics.forth.gr/isl/CRMgeo/SP3_Reference_Space
OntoME URI: https://ontome.net/ontology/c347

Labels

* : Standard label for this language

Namespace

Parent classes

Ancestor classes

Child and descendant classes

Related classes

Outgoing properties (this class is domain)

Outgoing properties (inherited from ancestors)

Incoming properties (this class is range)

Incoming properties (inherited from ancestors)

Profiles using this class

Linked classes graph

Use mouse wheel to zoom in/out.

Comments