I know from locally stored knowledge that:
Salisbury
commonly translates as
"Salisbury"
([fact: ["160996465@trueknowledge.com"]])
Fact 1:
Eastern Daylight Time
is the time zone for
the EST/EDT region
([fact: ["20029991@trueknowledge.com"]])
Fact 1
is true for
March 10th 2013, 07:00 - November 3rd 2013, 06:00
([fact: ["851836552@trueknowledge.com"]])
daylight saving
applies to
Eastern Daylight Time
([fact: ["97193973@trueknowledge.com"]])
By calculation (generator: ["now@trueknowledge.com"]) I know that:
The current time is June 20th 2013, 01:39:31
By calculation (generator: ["earlier_than_timepoint@trueknowledge.com"]) I know that:
June 20th 2013, 01:39:31
is earlier than the timepoint
November 3rd 2013, 06:00
Therefore (generator: ["earlier_than_timepoint@trueknowledge.com"]):
June 20th 2013, 01:39:31
is not later than the timepoint
November 3rd 2013, 06:00
By calculation (generator: ["timepoint_sum@trueknowledge.com"]) I know that:
December 20th 2013, 01:39:31
is the timepoint sum of
June 20th 2013, 01:39:31 and 6 months and 0 days
By calculation (generator: ["earlier_than_timepoint@trueknowledge.com"]) I know that:
November 3rd 2013, 06:00
is earlier than the timepoint
December 20th 2013, 01:39:31
Therefore (generator: ["earlier_than_timepoint@trueknowledge.com"]):
November 3rd 2013, 06:00
is not later than the timepoint
December 20th 2013, 01:39:31
I know from locally stored knowledge that:
Fact 2:
-4 hours
is the time zone differential of
Eastern Daylight Time
([fact: ["20030737@trueknowledge.com"]])
Fact 2
is true for
August 20th 2010, 15:32:26 onwards
([fact: ["933751242@trueknowledge.com"]])
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 2
is true at
June 20th 2013, 01:39:31
By calculation (generator: ["timepoint_sum@trueknowledge.com"]) I know that:
November 3rd 2013, 02:00
is the timepoint sum of
November 3rd 2013, 06:00 and -4 hours and 0 minutes
By calculation (generator: ["local_time_equivalent_to@trueknowledge.com"]) I know that:
November 3rd 2013, 02:00 EDT
is the local time equivalent to
November 3rd 2013, 06:00
By calculation (generator: ["strictequal1@trueknowledge.com"]) I know that:
November 3rd 2013, 02:00 EDT
is strictly equal to
November 3rd 2013, 02:00 EDT
November 3rd 2013, 06:00
is strictly equal to
November 3rd 2013, 06:00
By calculation (generator: ["timepoint_common_translation@trueknowledge.com"]) I know that:
November 3rd 2013, 06:00
commonly translates as
"November 3rd 2013, 06:00"
By calculation (generator: ["tptranslate1@trueknowledge.com"]) I know that:
November 3rd 2013, 02:00 EDT
commonly translates as
"November 3rd 2013, 02:00 EDT"
By calculation (generator: ["description_daylight-saving_end_in@trueknowledge.com"]) I know that:
Fact 3:
The clocks in Salisbury go back on November 3rd 2013, 02:00 EDT (November 3rd 2013, 06:00 UTC).
is the description of daylight-saving end in
Salisbury
Fact 3
is true for
June 20th 2013, 01:39:31 - December 20th 2013, 01:39:31