By calculation (generator: ["now@trueknowledge.com"]) I know that:
The current time is May 20th 2013, 15:56:36
By calculation (generator: ["in_group@trueknowledge.com"]) I know that:
is the start of daylight saving time in
is in the group
is the start of daylight saving time in and is the end of daylight saving time in
is the end of daylight saving time in
is in the group
is the start of daylight saving time in and is the end of daylight saving time in
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"]])
Fact 1
is true for
March 11th 2007, 07:00 - November 4th 2007, 06:00
([fact: ["20029992@trueknowledge.com"]])
Fact 1
is true for
March 10th 2013, 07:00 - November 3rd 2013, 06:00
([fact: ["851836552@trueknowledge.com"]])
Fact 1
is true for
March 10th 2019, 07:00 - November 3rd 2019, 06:00
([fact: ["851836708@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
Lake Mary, Florida
By calculation (generator: ["timepoint_sum@trueknowledge.com"]) I know that:
June 20th 2014, 15:56:36
is the timepoint sum of
May 20th 2013, 15:56:36 and 1 year, 1 month and 0 days
By calculation (generator: ["strictequal1@trueknowledge.com"]) I know that:
May 20th 2013, 15:56:36 - June 20th 2014, 15:56:36
is strictly equal to
May 20th 2013, 15:56:36 - June 20th 2014, 15:56:36
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 20th 2013, 15:56:36 - June 20th 2014, 15:56:36
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 20th 2013, 15:56:36 - June 20th 2014, 15:56:36
I know from locally stored knowledge that:
permanent
applies to
is the time zone area for
([fact: ["98007581@trueknowledge.com"]])
By calculation (generator: ["second_parameter@trueknowledge.com"]) I know that:
the end of time
is the second parameter of
all time
By calculation (generator: ["in_group@trueknowledge.com"]) I know that:
the end of time
is in the group
indefinitely after and the end of time
By calculation (generator: ["time_zone_for@trueknowledge.com"]) I know that:
Fact 4:
Eastern Daylight Time
is the time zone for
Lake Mary, Florida
Fact 4
is true for
March 11th 2007, 07:00 - November 4th 2007, 06:00
Fact 4
is true for
March 10th 2013, 07:00 - November 3rd 2013, 06:00
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 4
is true at
May 20th 2013, 15:56:36
By calculation (generator: ["time_zone_for@trueknowledge.com"]) I know that:
Fact 4
is true for
March 10th 2019, 07:00 - November 3rd 2019, 06:00
I know from locally stored knowledge that:
Fact 5:
-4 hours
is the time zone differential of
Eastern Daylight Time
([fact: ["20030737@trueknowledge.com"]])
Fact 5
is true for
August 20th 2010, 15:32:26 onwards
([fact: ["933751242@trueknowledge.com"]])
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 5
is true at
May 20th 2013, 15:56:36
By calculation (generator: ["timepoint_sum@trueknowledge.com"]) I know that:
March 9th 2014, 03:00
is the timepoint sum of
March 9th 2014, 07:00 and -4 hours and 0 minutes
By calculation (generator: ["local_time_equivalent_to@trueknowledge.com"]) I know that:
March 9th 2014, 03:00 EDT
is the local time equivalent to
March 9th 2014, 07:00
By calculation (generator: ["strictequal1@trueknowledge.com"]) I know that:
March 9th 2014, 03:00 EDT
is strictly equal to
March 9th 2014, 03:00 EDT
By calculation (generator: ["end_daylight_saving_time_in7@trueknowledge.com"]) I know that:
November 3rd 2013, 06:00
is the end of daylight saving time in
Lake Mary, Florida
By calculation (generator: ["pinstance@trueknowledge.com"]) I know that:
Fact 2:
November 3rd 2013, 06:00
is a
point in time
Fact 2
is true for
all time
By calculation (generator: ["timepointintimeperiod@trueknowledge.com"]) I know that:
November 3rd 2013, 06:00
is a timepoint within
May 20th 2013, 15:56:36 - June 20th 2014, 15:56:36
By calculation (generator: ["timepoint_sum@trueknowledge.com"]) I know that:
November 3rd 2013, 02:00
is the timepoint sum of
November 3rd 2013, 06:00 and -4 hours and 0 minutes
By calculation (generator: ["local_time_equivalent_to@trueknowledge.com"]) I know that:
November 3rd 2013, 02:00 EDT
is the local time equivalent to
November 3rd 2013, 06:00
By calculation (generator: ["strictequal1@trueknowledge.com"]) I know that:
November 3rd 2013, 02:00 EDT
is strictly equal to
November 3rd 2013, 02:00 EDT
Facts
Show facts
