By calculation (generator: ["now@trueknowledge.com"]) I know that:
The current time is February 14th 2012, 15:40:11
I know from locally stored knowledge that:
Florida
is partly but not completely located within
the Central Standard Time region
([fact: ["20049135@trueknowledge.com"]])
the Central Standard Time region
is a
time zone area
([fact: ["20030900@trueknowledge.com"]])
By calculation (generator: ["time_zone_area_for2@trueknowledge.com"]) I know that:
the Central Standard Time region
is the time zone area for
Florida
I know from locally stored knowledge that:
Fact 1:
Central Daylight Time
is the time zone for
the Central Standard Time region
([fact: ["20040794@trueknowledge.com"]])
Fact 1
is true for
March 11th 2012, 08:00 - November 4th 2012, 07:00
([fact: ["851832604@trueknowledge.com"]])
Fact 1
is true for
March 10th 2013, 08:00 - November 3rd 2013, 07:00
([fact: ["851832660@trueknowledge.com"]])
daylight saving
applies to
Central Daylight Time
([fact: ["97193987@trueknowledge.com"]])
By calculation (generator: ["start_daylight_saving_time_in7@trueknowledge.com"]) I know that:
March 11th 2012, 08:00
is the start of daylight saving time in
Florida
By calculation (generator: ["timepoint_sum@trueknowledge.com"]) I know that:
March 14th 2013, 15:40:11
is the timepoint sum of
February 14th 2012, 15:40:11 and 1 year, 1 month and 0 days
By calculation (generator: ["strictequal1@trueknowledge.com"]) I know that:
February 14th 2012, 15:40:11 - March 14th 2013, 15:40:11
is strictly equal to
February 14th 2012, 15:40:11 - March 14th 2013, 15:40:11
By calculation (generator: ["pinstance@trueknowledge.com"]) I know that:
Fact 2:
March 11th 2012, 08:00
is a
point in time
Fact 2
is true for
all time
Fact 2:
February 14th 2012, 15:40:11 - March 14th 2013, 15:40:11
is a
period of time
Fact 2
is true for
all time
By calculation (generator: ["timepointintimeperiod@trueknowledge.com"]) I know that:
March 11th 2012, 08:00
is a timepoint within
February 14th 2012, 15:40:11 - March 14th 2013, 15:40:11
By calculation (generator: ["start_daylight_saving_time_in7@trueknowledge.com"]) I know that:
March 10th 2013, 08:00
is the start of daylight saving time in
Florida
By calculation (generator: ["pinstance@trueknowledge.com"]) I know that:
Fact 2:
March 10th 2013, 08:00
is a
point in time
Fact 2
is true for
all time
By calculation (generator: ["timepointintimeperiod@trueknowledge.com"]) I know that:
March 10th 2013, 08:00
is a timepoint within
February 14th 2012, 15:40:11 - March 14th 2013, 15:40:11
I know from locally stored knowledge that:
Florida
is partly but not completely located within
the EST/EDT region
([fact: ["20049133@trueknowledge.com"]])
the EST/EDT region
is a
time zone area
([fact: ["1165750@trueknowledge.com"]])
By calculation (generator: ["time_zone_area_for2@trueknowledge.com"]) I know that:
the EST/EDT region
is the time zone area for
Florida
I know from locally stored knowledge that:
Fact 5:
Eastern Daylight Time
is the time zone for
the EST/EDT region
([fact: ["20029991@trueknowledge.com"]])
Fact 5
is true for
March 11th 2012, 07:00 - November 4th 2012, 06:00
([fact: ["851836448@trueknowledge.com"]])
Fact 5
is true for
March 10th 2013, 07:00 - November 3rd 2013, 06:00
([fact: ["851836552@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 11th 2012, 07:00
is the start of daylight saving time in
Florida
By calculation (generator: ["pinstance@trueknowledge.com"]) I know that:
Fact 2:
March 11th 2012, 07:00
is a
point in time
Fact 2
is true for
all time
By calculation (generator: ["timepointintimeperiod@trueknowledge.com"]) I know that:
March 11th 2012, 07:00
is a timepoint within
February 14th 2012, 15:40:11 - March 14th 2013, 15:40:11
By calculation (generator: ["start_daylight_saving_time_in7@trueknowledge.com"]) I know that:
March 10th 2013, 07:00
is the start of daylight saving time in
Florida
By calculation (generator: ["pinstance@trueknowledge.com"]) I know that:
Fact 2:
March 10th 2013, 07:00
is a
point in time
Fact 2
is true for
all time
By calculation (generator: ["timepointintimeperiod@trueknowledge.com"]) I know that:
March 10th 2013, 07:00
is a timepoint within
February 14th 2012, 15:40:11 - March 14th 2013, 15:40:11