By calculation (generator: ["now@trueknowledge.com"]) I know that:
The current time is May 24th 2013, 01:31:32
I know from locally stored knowledge that:
Fact 1:
Central European Summer Time
is the time zone for
the Central European Time region
([fact: ["20031361@trueknowledge.com"]])
Fact 1
is true for
March 30th 2014, 01:00 - October 26th 2014, 01:00
([fact: ["851833568@trueknowledge.com"]])
daylight saving
applies to
Central European Summer Time
([fact: ["97193989@trueknowledge.com"]])
By calculation (generator: ["start_daylight_saving_time_in7@trueknowledge.com"]) I know that:
March 30th 2014, 01:00
is the start of daylight saving time in
Andorra la Vella
By calculation (generator: ["timepoint_sum@trueknowledge.com"]) I know that:
June 24th 2014, 01:31:32
is the timepoint sum of
May 24th 2013, 01:31:32 and 1 year, 1 month and 0 days
By calculation (generator: ["strictequal1@trueknowledge.com"]) I know that:
May 24th 2013, 01:31:32 - June 24th 2014, 01:31:32
is strictly equal to
May 24th 2013, 01:31:32 - June 24th 2014, 01:31:32
By calculation (generator: ["pinstance@trueknowledge.com"]) I know that:
Fact 2:
March 30th 2014, 01:00
is a
point in time
Fact 2
is true for
all time
Fact 2:
May 24th 2013, 01:31:32 - June 24th 2014, 01:31:32
is a
period of time
Fact 2
is true for
all time
By calculation (generator: ["timepointintimeperiod@trueknowledge.com"]) I know that:
March 30th 2014, 01:00
is a timepoint within
May 24th 2013, 01:31:32 - June 24th 2014, 01:31:32
