By calculation (generator: ["now@trueknowledge.com"]) I know that:
The current time is May 23rd 2013, 04:34:23
I know from locally stored knowledge that:
Fact 1:
Eastern Daylight Time
is the time zone for
the EST/EDT region
([fact: ["20029991@trueknowledge.com"]])
Fact 1
is true for
March 9th 2014, 07:00 - November 2nd 2014, 06:00
([fact: ["851836600@trueknowledge.com"]])
daylight saving
applies to
Eastern Daylight Time
([fact: ["97193973@trueknowledge.com"]])
By calculation (generator: ["start_daylight_saving_time_in7@trueknowledge.com"]) I know that:
March 9th 2014, 07:00
is the start of daylight saving time in
East Providence, Rhode Island
By calculation (generator: ["timepoint_sum@trueknowledge.com"]) I know that:
June 23rd 2014, 04:34:23
is the timepoint sum of
May 23rd 2013, 04:34:23 and 1 year, 1 month and 0 days
By calculation (generator: ["strictequal1@trueknowledge.com"]) I know that:
May 23rd 2013, 04:34:23 - June 23rd 2014, 04:34:23
is strictly equal to
May 23rd 2013, 04:34:23 - June 23rd 2014, 04:34:23
By calculation (generator: ["pinstance@trueknowledge.com"]) I know that:
Fact 2:
March 9th 2014, 07:00
is a
point in time
Fact 2
is true for
all time
Fact 2:
May 23rd 2013, 04:34:23 - June 23rd 2014, 04:34:23
is a
period of time
Fact 2
is true for
all time
By calculation (generator: ["timepointintimeperiod@trueknowledge.com"]) I know that:
March 9th 2014, 07:00
is a timepoint within
May 23rd 2013, 04:34:23 - June 23rd 2014, 04:34:23
