Whole Life Individual

CLASS OF INDIVIDUAL - Whole Life Individual

Description

Abstract Concept

A Whole Life Individual is a Bounded Individual that is not the temporal slice of any other Bounded Individual.
A Whole Life Individual includes its past and future.

Examples:

. The Eiffel tower (31st March 1889 - ...).

. William Shakespeare (23 April 1564 - 23 April 1616).

. Confucius (685-758).

. Mount Vesuvius eruption (Aug. 24-25, A.D. 79).

. Oackland digital hospital (1994 - ...).

. The execution of the registration process at the Oackland digital hospital, by John Smith, on 17 March 2020.

Functional Domain: 4D Composite Knowledge Graph

The purpose of the 4D Composite Knowledge Graph is to layer structured spatio-temporal concepts onto the Reflexive Knowledge Graph,

External references

ISO 15926 - WholeLifeIndividual

OMG - KerML - Life

Super Types

Bounded Individual (from partition: Structural Partition of Bounded Individual)

Power Type

Whole Life Class

Dictionary

SysFEAT Upper Ontology

RELATIONSHIPS

Simple Graph Graph & Inheritance Table

Simple Graph

Composition: ➝ Classification: ➝ Specialization: ➝ Instance Of: --> Enumerated definition: ➝ Syntax: ➝

Graph & Hierarchy

Composition: ➝ Classification: ➝ Specialization: ➝ Instance Of: --> Enumerated definition: ➝ Syntax: ➝

Relationship Table

Relationship	Cardinality	Target Entity	Source Entity	Description
PowerTyped by Whole Life Class	[1..1]	Whole Life Class	Whole Life Individual	Abstract Relationship
Reference Holonymy	[*..0]	Bounded Individual	Bounded Individual	Abstract Relationship Reference Holonymy is a non-reified Holonymy Relation where the composed Bounded Individual is referenced (Reference Relation) as a part of the source Bounded Individual.
End	[*..0]	Temporal Bounding	Bounded Individual	Abstract Relationship An End is the temporal Exit Border of a Bounded Individual that denotes the end of the Bounded Individual.
Temporal Border	[*..0]	Temporal Bounding	Bounded Individual	Abstract Relationship Temporal border of a Bounded Individual
Start	[*..0]	Temporal Bounding	Bounded Individual	Abstract Relationship A Start is the temporal Entry Border of a Bounded Individual that denotes the beginning of the Bounded Individual.
Aggregate Holonymy	[*..0]	Bounded Individual	Bounded Individual	Abstract Relationship Aggregate Holonymy is a reified Holonymy Relation where the composed Bounded Individual becomes a Bounded Member of the whole Bounded Individual.
Temporal Ordering	[*..0]	Temporal Bounding	Bounded Individual	Abstract Relationship
Property of Individual	[*..0]	Property	Individual	Abstract Relationship An instance of Entity from a Bounded Individual to a Property that asserts the Bounded Individual has the Property.
Meronymy Relation	[*..0]	First Order Entity	First Order Entity	Abstract Relationship Meronymy Relation is a directional part-to-whole Meronymy Relation between First Order Entitys, where the source First Order Entity (the part) is defined has being part of a larger whole First Order Entity.In accordance with principles of Compositionality, Meronymy Relation is not simply the inverse of Holonymy Relation. In some cases, the whole First Order Entity is not inherently defined by some its parts. Location (Located at) and period relationships are such Meronymy Relations.Example:- William Shakespeare is born in Stratford-upon-Avon, but the Stratford-upon-Avon geo-location is not inherently defined by William Shakespeare. It is defined by its geophysical containers: Continent-Europe, Landmass-Great Britain.- William Shakespeare is born in 1564, but the year 1564 is not inherently defined by the birth of William Shakespeare. It is defined by its position in the Gregorian calendar and contains countless other global events.

LOGICAL FORMULATION

LOGIC-AGDA RDF

File: 342f74b166156e02.agda

File: 342f74b166156e02.rdf

SEMANTIC TAXONOMY

Sub-Types Super-Types

SUB-TYPES

Click node rectangle to collapse/expand one level. Click triangle for full recursive collapse/expand. Double-click on a node to open its URL. Hover for description.

BORDERS

Name	Super type	Border Type	Description
End	Bounded Individual::Temporal Border Bounded Aggregate::Exit Border	Temporal Bounding	An End is the temporal Exit Border of a Bounded Individual that denotes the end of the Bounded Individual.
Start	Bounded Individual::Temporal Border Bounded Aggregate::Entry Border	Temporal Bounding	A Start is the temporal Entry Border of a Bounded Individual that denotes the beginning of the Bounded Individual.
Temporal Border	Bounded Aggregate::Border	Temporal Bounding	Temporal border of a Bounded Individual