I know from locally stored knowledge that:
the UK
commonly translates as
"the UK"
([fact: ["1131747@trueknowledge.com"]])
the UK
is the time zone area for
the UK
([fact: ["98007626@trueknowledge.com"]])
Fact 1:
British Summer Time
is the time zone for
the UK
([fact: ["20031093@trueknowledge.com"]])
Fact 1:
is true for
March 28th 2010, 01:00 - October 31st 2010, 01:00
([fact: ["242946542@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 September 3rd 2010, 17:42:23
Therefore (generator: ["length_time_less_than@trueknowledge.com"]):
2,010 years, 9 months, 3 days, 17 hours, 42 minutes and 23 seconds
is not greater than
2,010 years, 10 months, 31 days, 1 hour and 0 minutes
By calculation (generator: ["length_time_less_than@trueknowledge.com"]) I know that:
2,010 years, 9 months, 3 days, 17 hours, 42 minutes and 23 seconds
is less than
2,010 years, 10 months, 31 days, 1 hour and 0 minutes
Therefore (generator: ["length_time_less_than@trueknowledge.com"]):
2,010 years, 9 months, 3 days, 17 hours, 42 minutes and 23 seconds
is not the same as
2,010 years, 10 months, 31 days, 1 hour and 0 minutes
By calculation (generator: ["earlier_than_timepoint@trueknowledge.com"]) I know that:
September 3rd 2010, 17:42:23
is earlier than the timepoint
October 31st 2010, 01:00
By calculation (generator: ["timepoint_sum@trueknowledge.com"]) I know that:
March 3rd 2011, 17:42:23
is the timepoint sum of
September 3rd 2010, 17:42:23 and 6 months and 0 days
Therefore (generator: ["length_time_less_than@trueknowledge.com"]):
2,010 years, 10 months, 31 days, 1 hour and 0 minutes
is not greater than
2,011 years, 3 months, 3 days, 17 hours, 42 minutes and 23 seconds
By calculation (generator: ["length_time_less_than@trueknowledge.com"]) I know that:
2,010 years, 10 months, 31 days, 1 hour and 0 minutes
is less than
2,011 years, 3 months, 3 days, 17 hours, 42 minutes and 23 seconds
Therefore (generator: ["length_time_less_than@trueknowledge.com"]):
2,010 years, 10 months, 31 days, 1 hour and 0 minutes
is not the same as
2,011 years, 3 months, 3 days, 17 hours, 42 minutes and 23 seconds
By calculation (generator: ["earlier_than_timepoint@trueknowledge.com"]) I know that:
October 31st 2010, 01:00
is earlier than the timepoint
March 3rd 2011, 17:42:23
I know from locally stored knowledge that:
+1 hour
is the time zone differential of
British Summer Time
([fact: ["20030718@trueknowledge.com"]])
By calculation (generator: ["timepoint_sum@trueknowledge.com"]) I know that:
October 31st 2010, 02:00
is the timepoint sum of
October 31st 2010, 01:00 and 1 hour and 0 minutes
By calculation (generator: ["local_time_equivalent_to@trueknowledge.com"]) I know that:
October 31st 2010, 02:00 BST
is the local time equivalent to
October 31st 2010, 01:00
By calculation (generator: ["strictequal1@trueknowledge.com"]) I know that:
October 31st 2010, 02:00 BST
is strictly equal to
October 31st 2010, 02:00 BST
By calculation (generator: ["pinstance@trueknowledge.com"]) I know that:
Fact 2
October 31st 2010, 01:00
is a
point in time
Fact 2:
is true for
all time
By calculation (generator: ["timepoint_common_translation@trueknowledge.com"]) I know that:
October 31st 2010, 01:00
commonly translates as
"October 31st 2010, 01:00"
By calculation (generator: ["tptranslate1@trueknowledge.com"]) I know that:
October 31st 2010, 02:00 BST
commonly translates as
"October 31st 2010, 02:00 BST"
By calculation (generator: ["description_daylight-saving_end_in@trueknowledge.com"]) I know that:
Fact 3
The clocks in the UK go back on October 31st 2010, 02:00 BST (October 31st 2010, 01:00 UTC).
is the description of daylight-saving end in
the UK
Fact 3:
is true for
September 3rd 2010, 17:42:23 - March 3rd 2011, 17:42:23