E63 Beginning of Existence in version 7.1
Subclass of :
This class comprises events that bring into existence any ΙΝΣΤΑΝΨΕ ΟΦ E77 Persistent Item.
It may be used for temporal reasoning about things (intellectual products, physical items, groups of people, living beings) beginning to exist; it serves as a hook for determination of a "terminus post quem” or “terminus ante quem".
- the birth of my child (E67) (fictitious)
- the birth of Snoopy, my dog (fictitious)
- the calving of the iceberg that sank the Titanic
- the construction of the Eiffel Tower (Tissandier, 1889)
In First Order Logic:
E63(x) ⇒ E5(x)