I know from locally stored knowledge that:
England
commonly translates as
"England"
([fact: ["1134841@trueknowledge.com"]])
England
is in
the British time region
([fact: ["648409044@trueknowledge.com"]])
By calculation (generator: ["geographically_located_within_or_equal_to@trueknowledge.com"]) I know that:
England
is geographically located within or is equal to
the British time region
I know from locally stored knowledge that:
the British time region
is a
time zone area
([fact: ["104823689@trueknowledge.com"]])
By calculation (generator: ["time_zone_area_for@trueknowledge.com"]) I know that:
the British time region
is the time zone area for
England
I know from locally stored knowledge that:
Fact 1:
British Summer Time
is the time zone for
the British time region
([fact: ["104823702@trueknowledge.com"]])
Fact 1
is true for
March 31st 2013, 01:00 - October 27th 2013, 01:00
([fact: ["847689136@trueknowledge.com"]])
daylight saving
applies to
British Summer Time
([fact: ["97193985@trueknowledge.com"]])
By calculation (generator: ["now@trueknowledge.com"]) I know that:
The current time is May 18th 2013, 23:39:46
By calculation (generator: ["earlier_than_timepoint@trueknowledge.com"]) I know that:
May 18th 2013, 23:39:46
is earlier than the timepoint
October 27th 2013, 01:00
Therefore (generator: ["earlier_than_timepoint@trueknowledge.com"]):
May 18th 2013, 23:39:46
is not later than the timepoint
October 27th 2013, 01:00
By calculation (generator: ["timepoint_sum@trueknowledge.com"]) I know that:
November 18th 2013, 23:39:46
is the timepoint sum of
May 18th 2013, 23:39:46 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 18th 2013, 23:39:46
Therefore (generator: ["earlier_than_timepoint@trueknowledge.com"]):
October 27th 2013, 01:00
is not later than the timepoint
November 18th 2013, 23:39:46
I know from locally stored knowledge that:
Fact 2:
+1 hour
is the time zone differential of
British Summer Time
([fact: ["20030718@trueknowledge.com"]])
Fact 2
is true for
August 20th 2010, 15:32:42 onwards
([fact: ["933756066@trueknowledge.com"]])
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 2
is true at
May 18th 2013, 23:39:46
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 BST
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 BST
is strictly equal to
October 27th 2013, 02:00 BST
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 BST
commonly translates as
"October 27th 2013, 02:00 BST"
By calculation (generator: ["description_daylight-saving_end_in@trueknowledge.com"]) I know that:
Fact 3:
The clocks in England go back on October 27th 2013, 02:00 BST (October 27th 2013, 01:00 UTC).
is the description of daylight-saving end in
England
Fact 3
is true for
May 18th 2013, 23:39:46 - November 18th 2013, 23:39:46