
whole_life_individual
A <whole_life_individual> is a <possible_individual> that is a member of a <class_of_individual>,
and is not a temporal part of any other <possible_individual> that is also a member of the same
<class_of_individual>. A <whole_life_individual> includes its past and future.
NOTE A possible future temporal part of the <whole_life_individual> is a <possible_individual>
that is related to the <whole_life_individual> by a <temporal_whole_part> relation.
EXAMPLE 1 A plastic cup (bounded by its creation and destruction <event>s) can be represented
by an instance of <whole_life_individual>. The cup whilst it stands on this table is a temporal
part of this <whole_life_individual>.
EXAMPLE 2 The universe for all time is a <whole_life_individual>.
EXPRESS specification:
References (1):
Inheritance graph
|
|
| ENTITY whole_life_individual;
|
|