I know from locally stored knowledge that:
Michigan
is partly but not completely located within
the Central Standard Time region
([fact: ["20049127@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:
Fact 1:
the Central Standard Time region
is the time zone area for
Michigan
By calculation (generator: ["perm5@trueknowledge.com"]) I know that:
Fact 1
is true for
all time
I know from locally stored knowledge that:
Fact 2:
Central Standard Time
is the time zone for
the Central Standard Time region
([fact: ["105703839@trueknowledge.com"]])
Fact 2
is true for
November 4th 2018, 07:00 - March 10th 2019, 08:00
([fact: ["851834616@trueknowledge.com"]])
Fact 2
is true for
November 4th 2007, 07:00 - March 9th 2008, 07:00
([fact: ["105703840@trueknowledge.com"]])
Fact 2
is true for
November 5th 2017, 07:00 - March 11th 2018, 08:00
([fact: ["851834600@trueknowledge.com"]])
Fact 2
is true for
November 6th 2016, 07:00 - March 12th 2017, 08:00
([fact: ["851834572@trueknowledge.com"]])
Fact 2
is true for
November 1st 2015, 07:00 - March 13th 2016, 08:00
([fact: ["851834496@trueknowledge.com"]])
Fact 2
is true for
November 2nd 2014, 07:00 - March 8th 2015, 08:00
([fact: ["851834464@trueknowledge.com"]])
Fact 2
is true for
November 3rd 2013, 07:00 - March 9th 2014, 08:00
([fact: ["851834456@trueknowledge.com"]])
Fact 2
is true for
November 4th 2012, 07:00 - March 10th 2013, 08:00
([fact: ["851834408@trueknowledge.com"]])
Fact 2
is true for
November 6th 2011, 07:00 - March 11th 2012, 08:00
([fact: ["851834380@trueknowledge.com"]])
Fact 2
is true for
November 7th 2010, 07:00 - March 13th 2011, 08:00
([fact: ["851834372@trueknowledge.com"]])
Fact 2
is true for
November 1st 2009, 07:00 - March 14th 2010, 08:00
([fact: ["359472003@trueknowledge.com"]])
Fact 2
is true for
November 2nd 2008, 07:00 - March 8th 2009, 08:00
([fact: ["127364136@trueknowledge.com"]])
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 3:
Central Standard Time
is the time zone for
Michigan
Fact 3
is true for
November 4th 2018, 07:00 - March 10th 2019, 08:00
Fact 3
is true for
November 4th 2007, 07:00 - March 9th 2008, 07:00
Fact 3
is true for
November 5th 2017, 07:00 - March 11th 2018, 08:00
Fact 3
is true for
November 6th 2016, 07:00 - March 12th 2017, 08:00
Fact 3
is true for
November 1st 2015, 07:00 - March 13th 2016, 08:00
Fact 3
is true for
November 2nd 2014, 07:00 - March 8th 2015, 08:00
Fact 3
is true for
November 3rd 2013, 07:00 - March 9th 2014, 08:00
Fact 3
is true for
November 4th 2012, 07:00 - March 10th 2013, 08:00
Fact 3
is true for
November 6th 2011, 07:00 - March 11th 2012, 08:00
Fact 3
is true for
November 7th 2010, 07:00 - March 13th 2011, 08:00
Fact 3
is true for
November 1st 2009, 07:00 - March 14th 2010, 08:00
Fact 3
is true for
November 2nd 2008, 07:00 - March 8th 2009, 08:00
I know from locally stored knowledge that:
left unique
applies to
is the time zone for
([fact: ["1165805@trueknowledge.com"]])
left object has variable accuracy
not applies to
is the time zone for
([fact: ["1165808@trueknowledge.com"]])
Michigan
is partly but not completely located within
the EST/EDT region
([fact: ["20049125@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:
Fact 1:
the EST/EDT region
is the time zone area for
Michigan
By calculation (generator: ["perm5@trueknowledge.com"]) I know that:
Fact 1
is true for
all time
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 10th 2019, 07:00 - November 3rd 2019, 06:00
([fact: ["851836708@trueknowledge.com"]])
Fact 5
is true for
March 11th 2007, 07:00 - November 4th 2007, 06:00
([fact: ["20029992@trueknowledge.com"]])
By calculation (generator: ["time_zone_for@trueknowledge.com"]) I know that:
Fact 3:
Eastern Daylight Time
is the time zone for
Michigan
Fact 3
is true for
March 10th 2019, 07:00 - November 3rd 2019, 06:00
Fact 3
is true for
March 11th 2007, 07:00 - November 4th 2007, 06:00
Therefore (generator: ["strictequal1@trueknowledge.com"]):
Eastern Daylight Time
is not strictly equal to
Central Standard Time
Therefore (generator: ["leftunique2@trueknowledge.com"]):
Fact 7:
Central Standard Time
is not the time zone for
Michigan
By calculation (generator: ["leftunique2@trueknowledge.com"]) I know that:
Fact 7
is true for
March 11th 2007, 07:00 - November 4th 2007, 06:00
Fact 7
is true for
March 11th 2018, 08:00 - November 4th 2018, 07:00
Fact 7
is true for
March 10th 2019, 08:00 - November 3rd 2019, 07:00
Fact 7
is true for
March 12th 2017, 08:00 - November 5th 2017, 07:00
Fact 7
is true for
March 13th 2016, 08:00 - November 6th 2016, 07:00
Fact 7
is true for
March 8th 2015, 08:00 - November 1st 2015, 07:00
Fact 7
is true for
March 9th 2014, 08:00 - November 2nd 2014, 07:00
Fact 7
is true for
March 10th 2013, 08:00 - November 3rd 2013, 07:00
Fact 7
is true for
March 11th 2012, 08:00 - November 4th 2012, 07:00
Fact 7
is true for
March 13th 2011, 08:00 - November 6th 2011, 07:00
Fact 7
is true for
March 14th 2010, 08:00 - November 7th 2010, 07:00
Fact 7
is true for
March 8th 2009, 08:00 - November 1st 2009, 07:00
Fact 7
is true for
March 9th 2008, 07:00 - November 2nd 2008, 07:00
Fact 7
is true for
March 25th 2007, 08:00 - November 4th 2007, 07:00
By calculation (generator: ["strictequal1@trueknowledge.com"]) I know that:
the fact inferred$central$standard$time$american$timezone$is$the$time$zone$for$michigan$false@trueknowledge.com
is strictly equal to
the fact inferred$central$standard$time$american$timezone$is$the$time$zone$for$michigan$false@trueknowledge.com
I know from locally stored knowledge that:
Fact 8:
Central Daylight Time
is the time zone for
the Central Standard Time region
([fact: ["20040794@trueknowledge.com"]])
Fact 8
is true for
March 11th 2018, 08:00 - November 4th 2018, 07:00
([fact: ["851833080@trueknowledge.com"]])
Fact 8
is true for
March 10th 2019, 08:00 - November 3rd 2019, 07:00
([fact: ["851833068@trueknowledge.com"]])
Fact 8
is true for
March 12th 2017, 08:00 - November 5th 2017, 07:00
([fact: ["851833052@trueknowledge.com"]])
Fact 8
is true for
March 13th 2016, 08:00 - November 6th 2016, 07:00
([fact: ["851832860@trueknowledge.com"]])
Fact 8
is true for
March 8th 2015, 08:00 - November 1st 2015, 07:00
([fact: ["851832672@trueknowledge.com"]])
Fact 8
is true for
March 9th 2014, 08:00 - November 2nd 2014, 07:00
([fact: ["851832760@trueknowledge.com"]])
Fact 8
is true for
March 10th 2013, 08:00 - November 3rd 2013, 07:00
([fact: ["851832660@trueknowledge.com"]])
Fact 8
is true for
March 11th 2012, 08:00 - November 4th 2012, 07:00
([fact: ["851832604@trueknowledge.com"]])
Fact 8
is true for
March 13th 2011, 08:00 - November 6th 2011, 07:00
([fact: ["851832412@trueknowledge.com"]])
Fact 8
is true for
March 14th 2010, 08:00 - November 7th 2010, 07:00
([fact: ["242946534@trueknowledge.com"]])
Fact 8
is true for
March 8th 2009, 08:00 - November 1st 2009, 07:00
([fact: ["135980997@trueknowledge.com"]])
Fact 8
is true for
March 9th 2008, 07:00 - November 2nd 2008, 07:00
([fact: ["105703847@trueknowledge.com"]])
Fact 8
is true for
March 25th 2007, 08:00 - November 4th 2007, 07:00
([fact: ["20040795@trueknowledge.com"]])
By calculation (generator: ["time_zone_for@trueknowledge.com"]) I know that:
Fact 3:
Central Daylight Time
is the time zone for
Michigan
Fact 3
is true for
March 11th 2018, 08:00 - November 4th 2018, 07:00
Fact 3
is true for
March 10th 2019, 08:00 - November 3rd 2019, 07:00
Fact 3
is true for
March 12th 2017, 08:00 - November 5th 2017, 07:00
Fact 3
is true for
March 13th 2016, 08:00 - November 6th 2016, 07:00
Fact 3
is true for
March 8th 2015, 08:00 - November 1st 2015, 07:00
Fact 3
is true for
March 9th 2014, 08:00 - November 2nd 2014, 07:00
Fact 3
is true for
March 10th 2013, 08:00 - November 3rd 2013, 07:00
Fact 3
is true for
March 11th 2012, 08:00 - November 4th 2012, 07:00
Fact 3
is true for
March 13th 2011, 08:00 - November 6th 2011, 07:00
Fact 3
is true for
March 14th 2010, 08:00 - November 7th 2010, 07:00
Fact 3
is true for
March 8th 2009, 08:00 - November 1st 2009, 07:00
Fact 3
is true for
March 9th 2008, 07:00 - November 2nd 2008, 07:00
Fact 3
is true for
March 25th 2007, 08:00 - November 4th 2007, 07:00
Therefore (generator: ["strictequal1@trueknowledge.com"]):
Central Daylight Time
is not strictly equal to
Central Standard Time
By calculation (generator: ["strictequal1@trueknowledge.com"]) I know that:
November 4th 2018, 07:00
is strictly equal to
November 4th 2018, 07:00
March 10th 2019, 08:00
is strictly equal to
March 10th 2019, 08:00
November 4th 2018, 07:00 - March 10th 2019, 08:00
is strictly equal to
November 4th 2018, 07:00 - March 10th 2019, 08:00
By calculation (generator: ["completetimperiod5@trueknowledge.com"]) I know that:
the fact inferred$central$standard$time$american$timezone$is$the$time$zone$for$michigan$@trueknowledge.com
is true for the complete timeperiod
November 4th 2018, 07:00 - March 10th 2019, 08:00
By calculation (generator: ["strictequal1@trueknowledge.com"]) I know that:
November 5th 2017, 07:00
is strictly equal to
November 5th 2017, 07:00
March 11th 2018, 08:00
is strictly equal to
March 11th 2018, 08:00
November 5th 2017, 07:00 - March 11th 2018, 08:00
is strictly equal to
November 5th 2017, 07:00 - March 11th 2018, 08:00
By calculation (generator: ["completetimperiod5@trueknowledge.com"]) I know that:
the fact inferred$central$standard$time$american$timezone$is$the$time$zone$for$michigan$@trueknowledge.com
is true for the complete timeperiod
November 5th 2017, 07:00 - March 11th 2018, 08:00
By calculation (generator: ["strictequal1@trueknowledge.com"]) I know that:
November 6th 2016, 07:00
is strictly equal to
November 6th 2016, 07:00
March 12th 2017, 08:00
is strictly equal to
March 12th 2017, 08:00
November 6th 2016, 07:00 - March 12th 2017, 08:00
is strictly equal to
November 6th 2016, 07:00 - March 12th 2017, 08:00
By calculation (generator: ["completetimperiod5@trueknowledge.com"]) I know that:
the fact inferred$central$standard$time$american$timezone$is$the$time$zone$for$michigan$@trueknowledge.com
is true for the complete timeperiod
November 6th 2016, 07:00 - March 12th 2017, 08:00
By calculation (generator: ["strictequal1@trueknowledge.com"]) I know that:
November 1st 2015, 07:00
is strictly equal to
November 1st 2015, 07:00
March 13th 2016, 08:00
is strictly equal to
March 13th 2016, 08:00
November 1st 2015, 07:00 - March 13th 2016, 08:00
is strictly equal to
November 1st 2015, 07:00 - March 13th 2016, 08:00
By calculation (generator: ["completetimperiod5@trueknowledge.com"]) I know that:
the fact inferred$central$standard$time$american$timezone$is$the$time$zone$for$michigan$@trueknowledge.com
is true for the complete timeperiod
November 1st 2015, 07:00 - March 13th 2016, 08:00
By calculation (generator: ["strictequal1@trueknowledge.com"]) I know that:
November 2nd 2014, 07:00
is strictly equal to
November 2nd 2014, 07:00
March 8th 2015, 08:00
is strictly equal to
March 8th 2015, 08:00
November 2nd 2014, 07:00 - March 8th 2015, 08:00
is strictly equal to
November 2nd 2014, 07:00 - March 8th 2015, 08:00
By calculation (generator: ["completetimperiod5@trueknowledge.com"]) I know that:
the fact inferred$central$standard$time$american$timezone$is$the$time$zone$for$michigan$@trueknowledge.com
is true for the complete timeperiod
November 2nd 2014, 07:00 - March 8th 2015, 08:00
By calculation (generator: ["strictequal1@trueknowledge.com"]) I know that:
November 3rd 2013, 07:00
is strictly equal to
November 3rd 2013, 07:00
March 9th 2014, 08:00
is strictly equal to
March 9th 2014, 08:00
November 3rd 2013, 07:00 - March 9th 2014, 08:00
is strictly equal to
November 3rd 2013, 07:00 - March 9th 2014, 08:00
By calculation (generator: ["completetimperiod5@trueknowledge.com"]) I know that:
the fact inferred$central$standard$time$american$timezone$is$the$time$zone$for$michigan$@trueknowledge.com
is true for the complete timeperiod
November 3rd 2013, 07:00 - March 9th 2014, 08:00
By calculation (generator: ["strictequal1@trueknowledge.com"]) I know that:
November 4th 2012, 07:00
is strictly equal to
November 4th 2012, 07:00
March 10th 2013, 08:00
is strictly equal to
March 10th 2013, 08:00
November 4th 2012, 07:00 - March 10th 2013, 08:00
is strictly equal to
November 4th 2012, 07:00 - March 10th 2013, 08:00
By calculation (generator: ["completetimperiod5@trueknowledge.com"]) I know that:
the fact inferred$central$standard$time$american$timezone$is$the$time$zone$for$michigan$@trueknowledge.com
is true for the complete timeperiod
November 4th 2012, 07:00 - March 10th 2013, 08:00
By calculation (generator: ["strictequal1@trueknowledge.com"]) I know that:
November 6th 2011, 07:00
is strictly equal to
November 6th 2011, 07:00
March 11th 2012, 08:00
is strictly equal to
March 11th 2012, 08:00
November 6th 2011, 07:00 - March 11th 2012, 08:00
is strictly equal to
November 6th 2011, 07:00 - March 11th 2012, 08:00
By calculation (generator: ["completetimperiod5@trueknowledge.com"]) I know that:
the fact inferred$central$standard$time$american$timezone$is$the$time$zone$for$michigan$@trueknowledge.com
is true for the complete timeperiod
November 6th 2011, 07:00 - March 11th 2012, 08:00
By calculation (generator: ["strictequal1@trueknowledge.com"]) I know that:
November 7th 2010, 07:00
is strictly equal to
November 7th 2010, 07:00
March 13th 2011, 08:00
is strictly equal to
March 13th 2011, 08:00
November 7th 2010, 07:00 - March 13th 2011, 08:00
is strictly equal to
November 7th 2010, 07:00 - March 13th 2011, 08:00
By calculation (generator: ["completetimperiod5@trueknowledge.com"]) I know that:
the fact inferred$central$standard$time$american$timezone$is$the$time$zone$for$michigan$@trueknowledge.com
is true for the complete timeperiod
November 7th 2010, 07:00 - March 13th 2011, 08:00
By calculation (generator: ["strictequal1@trueknowledge.com"]) I know that:
November 1st 2009, 07:00
is strictly equal to
November 1st 2009, 07:00
March 14th 2010, 08:00
is strictly equal to
March 14th 2010, 08:00
November 1st 2009, 07:00 - March 14th 2010, 08:00
is strictly equal to
November 1st 2009, 07:00 - March 14th 2010, 08:00
By calculation (generator: ["completetimperiod5@trueknowledge.com"]) I know that:
the fact inferred$central$standard$time$american$timezone$is$the$time$zone$for$michigan$@trueknowledge.com
is true for the complete timeperiod
November 1st 2009, 07:00 - March 14th 2010, 08:00
By calculation (generator: ["strictequal1@trueknowledge.com"]) I know that:
November 2nd 2008, 07:00
is strictly equal to
November 2nd 2008, 07:00
March 8th 2009, 08:00
is strictly equal to
March 8th 2009, 08:00
November 2nd 2008, 07:00 - March 8th 2009, 08:00
is strictly equal to
November 2nd 2008, 07:00 - March 8th 2009, 08:00
By calculation (generator: ["completetimperiod5@trueknowledge.com"]) I know that:
the fact inferred$central$standard$time$american$timezone$is$the$time$zone$for$michigan$@trueknowledge.com
is true for the complete timeperiod
November 2nd 2008, 07:00 - March 8th 2009, 08:00
By calculation (generator: ["strictequal1@trueknowledge.com"]) I know that:
November 4th 2007, 07:00
is strictly equal to
November 4th 2007, 07:00
March 9th 2008, 07:00
is strictly equal to
March 9th 2008, 07:00
November 4th 2007, 07:00 - March 9th 2008, 07:00
is strictly equal to
November 4th 2007, 07:00 - March 9th 2008, 07:00
By calculation (generator: ["completetimperiod5@trueknowledge.com"]) I know that:
the fact inferred$central$standard$time$american$timezone$is$the$time$zone$for$michigan$@trueknowledge.com
is true for the complete timeperiod
November 4th 2007, 07:00 - March 9th 2008, 07:00
Adding…
