Skip to content

Updated description of Event to reference historical events.#2660

Closed
RichardWallis wants to merge 1 commit intomainfrom
historicalevents
Closed

Updated description of Event to reference historical events.#2660
RichardWallis wants to merge 1 commit intomainfrom
historicalevents

Conversation

@RichardWallis
Copy link
Contributor

@RichardWallis RichardWallis commented Jul 21, 2020

Also added historical event example.

Implements issue #1931.

@danbri danbri mentioned this pull request Jul 21, 2020
Closed
@RichardWallis RichardWallis changed the base branch from master to main July 23, 2020 13:02
@danbri
Copy link
Contributor

danbri commented Jul 23, 2020

I want to take a look into this topic a bit first, if that's alright...

@smrgeoinfo
Copy link

smrgeoinfo commented Jul 23, 2020

While you're editing the definition ... currently we have suggested "Event: An event happening at a certain time, past or future, and location..." Please can we have a non-circular definition? Is there such a thing as an event that does not happen at a certain time and location? Basically the current definition boils down to 'an event is an event'.

How about something like:
Event:
"Something that occurs in a certain place during a particular interval of time" (https://www.dictionary.com/browse/event);
"an occurrence; something that happens" (https://wikidiff.com/event/process, https://www.merriam-webster.com/dictionary/event).

@github-actions
Copy link

github-actions bot commented Sep 22, 2020

This pull request is being tagged as Stale due to inactivity.

@github-actions github-actions bot added the no-pr-activity Discuss has gone quiet. Auto-tagging to encourage people to re-engage with the issue (or close it!). label Sep 22, 2020
@RichardWallis RichardWallis mentioned this pull request Jun 30, 2021
Closed
@RichardWallis
Copy link
Contributor Author

RichardWallis commented Jun 30, 2021

@danbri can we revisit this - note recent activity in #503

@MatthiasWiesmann MatthiasWiesmann deleted the historicalevents branch September 16, 2024 08:36
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

No reviews

Assignees

No one assigned

Labels

no-pr-activity Discuss has gone quiet. Auto-tagging to encourage people to re-engage with the issue (or close it!).

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

4 participants

@RichardWallis @danbri @smrgeoinfo @MatthiasWiesmann