Fundamental

Lifetime

The superclass for all classes of entities that have no proper parts of the same type of the whole. Fundamental(x) ≡ ∃φ[φ(x) ∧ ¬∃yRP⟨φ⟩(y, x)]

https://w3id.org/emmo#EMMO_57c75ca1_bf8a_42bc_85d9_58cfe38c7df2

The superclass for all classes of entities that have no proper parts of the same type of the whole.

Fundamental(x) ≡ ∃φ[φ(x) ∧ ¬∃yRP⟨φ⟩(y, x)]

Lifetime

Fundamental(x) ≡ ∃φ[φ(x) ∧ ¬∃yRP⟨φ⟩(y, x)]

The superclass for all classes of entities that have no proper parts of the same type of the whole.

A marathon is an example of class whose individuals are always maximal since the criteria satisfied by a marathon 4D entity poses some constraints on its temporal and spatial extent. On the contrary, the class for a generic running process does not necessarily impose maximality to its individuals. A running individual is maximal only when it extends in time for the minimum amount required to identify a running act, so every possible temporal part is always a non-running. Following the two examples, a marathon individual is a maximal that can be decomposed into running intervals. The marathon class is a subclass of running.

EMMO_57c75ca1_bf8a_42bc_85d9_58cfe38c7df2

emmo:EMMO_57c75ca1_bf8a_42bc_85d9_58cfe38c7df2

Fundamental

https://w3id.org/emmo#EMMO_bbca6dfa_7463_4e8d_8280_35862ff50ce0

https://w3id.org/emmo#EMMO_32e701c0_a925_49df_9829_0931b8554807