I know from locally stored knowledge that:
Clonyquin
commonly translates as
"Clonyquin"
([fact: ["66014331@trueknowledge.com"]])
Clonyquin
is in
The Republic of Ireland
([fact: ["66014346@trueknowledge.com"]])
By calculation (generator: ["geographically_located_within_or_equal_to@trueknowledge.com"]) I know that:
Clonyquin
is geographically located within or is equal to
The Republic of Ireland
I know from locally stored knowledge that:
The Republic of Ireland
is a
time zone area
([fact: ["20037733@trueknowledge.com"]])
By calculation (generator: ["time_zone_area_for@trueknowledge.com"]) I know that:
The Republic of Ireland
is the time zone area for
Clonyquin
I know from locally stored knowledge that:
Fact 1:
Irish Summer Time
is the time zone for
The Republic of Ireland
([fact: ["20031715@trueknowledge.com"]])
Fact 1
is true for
March 31st 2013, 01:00 - October 27th 2013, 01:00
([fact: ["847689204@trueknowledge.com"]])
daylight saving
applies to
Irish Summer Time
([fact: ["97193999@trueknowledge.com"]])
By calculation (generator: ["now@trueknowledge.com"]) I know that:
The current time is May 23rd 2013, 04:35:52
By calculation (generator: ["earlier_than_timepoint@trueknowledge.com"]) I know that:
May 23rd 2013, 04:35:52
is earlier than the timepoint
October 27th 2013, 01:00
Therefore (generator: ["earlier_than_timepoint@trueknowledge.com"]):
May 23rd 2013, 04:35:52
is not later than the timepoint
October 27th 2013, 01:00
By calculation (generator: ["timepoint_sum@trueknowledge.com"]) I know that:
November 23rd 2013, 04:35:52
is the timepoint sum of
May 23rd 2013, 04:35:52 and 6 months and 0 days
By calculation (generator: ["earlier_than_timepoint@trueknowledge.com"]) I know that:
October 27th 2013, 01:00
is earlier than the timepoint
November 23rd 2013, 04:35:52
Therefore (generator: ["earlier_than_timepoint@trueknowledge.com"]):
October 27th 2013, 01:00
is not later than the timepoint
November 23rd 2013, 04:35:52
I know from locally stored knowledge that:
Fact 2:
+1 hour
is the time zone differential of
Irish Summer Time
([fact: ["20030746@trueknowledge.com"]])
Fact 2
is true for
August 20th 2010, 15:32:48 onwards
([fact: ["933757974@trueknowledge.com"]])
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 2
is true at
May 23rd 2013, 04:35:52
By calculation (generator: ["timepoint_sum@trueknowledge.com"]) I know that:
October 27th 2013, 02:00
is the timepoint sum of
October 27th 2013, 01:00 and 1 hour and 0 minutes
By calculation (generator: ["local_time_equivalent_to@trueknowledge.com"]) I know that:
October 27th 2013, 02:00 IST
is the local time equivalent to
October 27th 2013, 01:00
By calculation (generator: ["strictequal1@trueknowledge.com"]) I know that:
October 27th 2013, 02:00 IST
is strictly equal to
October 27th 2013, 02:00 IST
October 27th 2013, 01:00
is strictly equal to
October 27th 2013, 01:00
By calculation (generator: ["timepoint_common_translation@trueknowledge.com"]) I know that:
October 27th 2013, 01:00
commonly translates as
"October 27th 2013, 01:00"
By calculation (generator: ["tptranslate1@trueknowledge.com"]) I know that:
October 27th 2013, 02:00 IST
commonly translates as
"October 27th 2013, 02:00 IST"
By calculation (generator: ["description_daylight-saving_end_in@trueknowledge.com"]) I know that:
Fact 3:
The clocks in Clonyquin go back on October 27th 2013, 02:00 IST (October 27th 2013, 01:00 UTC).
is the description of daylight-saving end in
Clonyquin
Fact 3
is true for
May 23rd 2013, 04:35:52 - November 23rd 2013, 04:35:52