By calculation (generator: ["now@trueknowledge.com"]) I know that:
The current time is September 3rd 2010, 17:54:34
I know from locally stored knowledge that:
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:
daylight saving
applies to
the British time region
([fact: ["104823745@trueknowledge.com"]])
Fact 1:
Greenwich Mean Time
is the time zone for
the British time region
([fact: ["138194819@trueknowledge.com"]])
Fact 1:
is true for
October 31st 2010, 01:00 - March 27th 2011, 01:00
([fact: ["847689128@trueknowledge.com"]])
used in the winter
applies to
Greenwich Mean Time
([fact: ["97194219@trueknowledge.com"]])
By calculation (generator: ["start_daylight_saving_time_in6@trueknowledge.com"]) I know that:
March 27th 2011, 01:00
is the start of daylight saving time in
England
By calculation (generator: ["timepoint_sum@trueknowledge.com"]) I know that:
October 3rd 2011, 17:54:34
is the timepoint sum of
September 3rd 2010, 17:54:34 and 1 year, 1 month and 0 days
By calculation (generator: ["strictequal1@trueknowledge.com"]) I know that:
September 3rd 2010, 17:54:34 - October 3rd 2011, 17:54:34
is strictly equal to
September 3rd 2010, 17:54:34 - October 3rd 2011, 17:54:34
By calculation (generator: ["pinstance@trueknowledge.com"]) I know that:
Fact 2
March 27th 2011, 01:00
is a
point in time
Fact 2:
is true for
all time
Fact 2
September 3rd 2010, 17:54:34 - October 3rd 2011, 17:54:34
is a
period of time
Fact 2:
is true for
all time
By calculation (generator: ["timepointintimeperiod@trueknowledge.com"]) I know that:
March 27th 2011, 01:00
is a timepoint within
September 3rd 2010, 17:54:34 - October 3rd 2011, 17:54:34