By calculation (generator: ["first_parameter@trueknowledge.com"]) I know that:
the United States
is the first parameter of
the United States and South Korea
By calculation (generator: ["second_parameter@trueknowledge.com"]) I know that:
South Korea
is the second parameter of
the United States and South Korea
I know from locally stored knowledge that:
the United States
commonly translates as
"the United States"
([fact: ["1158415@trueknowledge.com"]])
By calculation (generator: ["now@trueknowledge.com"]) I know that:
The current time is February 14th 2012, 10:28:34
I know from locally stored knowledge that:
the United States
is partly but not completely located within
Hawaii
([fact: ["20064392@trueknowledge.com"]])
Hawaii
is a
time zone area
([fact: ["20037729@trueknowledge.com"]])
By calculation (generator: ["time_zone_area_for2@trueknowledge.com"]) I know that:
Hawaii
is the time zone area for
the United States
I know from locally stored knowledge that:
Fact 1:
Hawaii-Aleutian Standard Time
is the time zone for
Hawaii
([fact: ["20031015@trueknowledge.com"]])
Fact 1
is true for
July 12th 2007, 00:00:00 onwards
([fact: ["20031016@trueknowledge.com"]])
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 1
is true at
February 14th 2012, 10:28:34
I know from locally stored knowledge that:
Fact 2:
-10 hours
is the time zone differential of
Hawaii-Aleutian Standard Time
([fact: ["20030745@trueknowledge.com"]])
Fact 2
is true for
August 20th 2010, 15:32:47 onwards
([fact: ["933758002@trueknowledge.com"]])
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 2
is true at
February 14th 2012, 10:28:34
I know from locally stored knowledge that:
"HAST"
is the unique short form of
Hawaii-Aleutian Standard Time
([fact: ["20036872@trueknowledge.com"]])
the United States
is partly but not completely located within
the EST/EDT region
([fact: ["99045278@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
the United States
I know from locally stored knowledge that:
Fact 3:
Eastern Standard Time
is the time zone for
the EST/EDT region
([fact: ["1807244@trueknowledge.com"]])
Fact 3
is true for
November 6th 2011, 06:00 - March 11th 2012, 07:00
([fact: ["851839984@trueknowledge.com"]])
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 3
is true at
February 14th 2012, 10:28:34
I know from locally stored knowledge that:
Fact 4:
-5 hours
is the time zone differential of
Eastern Standard Time
([fact: ["20030465@trueknowledge.com"]])
Fact 4
is true for
August 20th 2010, 15:32:26 onwards
([fact: ["933751218@trueknowledge.com"]])
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 4
is true at
February 14th 2012, 10:28:34
I know from locally stored knowledge that:
"EST"
is the unique short form of
Eastern Standard Time
([fact: ["646215952@trueknowledge.com"]])
the United States
is partly but not completely located within
the Alaska Standard Time region
([fact: ["20049139@trueknowledge.com"]])
the Alaska Standard Time region
is a
time zone area
([fact: ["20030834@trueknowledge.com"]])
By calculation (generator: ["time_zone_area_for2@trueknowledge.com"]) I know that:
the Alaska Standard Time region
is the time zone area for
the United States
I know from locally stored knowledge that:
Fact 5:
Alaska Standard Time
is the time zone for
the Alaska Standard Time region
([fact: ["105698551@trueknowledge.com"]])
Fact 5
is true for
November 6th 2011, 10:00 - March 11th 2012, 11:00
([fact: ["851826168@trueknowledge.com"]])
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 5
is true at
February 14th 2012, 10:28:34
I know from locally stored knowledge that:
-9 hours
is the time zone differential of
Alaska Standard Time
([fact: ["20030714@trueknowledge.com"]])
"AKST"
is the unique short form of
Alaska Standard Time
([fact: ["20036862@trueknowledge.com"]])
the United States
is partly but not completely located within
the Central Standard Time region
([fact: ["99042771@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
the United States
I know from locally stored knowledge that:
Fact 6:
Central Standard Time
is the time zone for
the Central Standard Time region
([fact: ["105703839@trueknowledge.com"]])
Fact 6
is true for
November 6th 2011, 07:00 - March 11th 2012, 08:00
([fact: ["851834380@trueknowledge.com"]])
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 6
is true at
February 14th 2012, 10:28:34
I know from locally stored knowledge that:
-6 hours
is the time zone differential of
Central Standard Time
([fact: ["20030735@trueknowledge.com"]])
"CST"
is the unique short form of
Central Standard Time
([fact: ["645701832@trueknowledge.com"]])
the United States
is partly but not completely located within
the Hawaii-Aleutian Standard Time region
([fact: ["20049155@trueknowledge.com"]])
the Hawaii-Aleutian Standard Time region
is a
time zone area
([fact: ["20031006@trueknowledge.com"]])
By calculation (generator: ["time_zone_area_for2@trueknowledge.com"]) I know that:
the Hawaii-Aleutian Standard Time region
is the time zone area for
the United States
I know from locally stored knowledge that:
Fact 7:
Hawaii-Aleutian Standard Time
is the time zone for
the Hawaii-Aleutian Standard Time region
([fact: ["966162302@trueknowledge.com"]])
Fact 7
is true for
September 1st 2010, 00:00:00 onwards
([fact: ["966162306@trueknowledge.com"]])
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 7
is true at
February 14th 2012, 10:28:34
I know from locally stored knowledge that:
the United States
is partly but not completely located within
the Pacific Standard Time region
([fact: ["99046360@trueknowledge.com"]])
the Pacific Standard Time region
is a
time zone area
([fact: ["20031039@trueknowledge.com"]])
By calculation (generator: ["time_zone_area_for2@trueknowledge.com"]) I know that:
the Pacific Standard Time region
is the time zone area for
the United States
I know from locally stored knowledge that:
Fact 8:
Pacific Standard Time
is the time zone for
the Pacific Standard Time region
([fact: ["20031079@trueknowledge.com"]])
Fact 8
is true for
November 6th 2011, 09:00 - March 11th 2012, 10:00
([fact: ["851851004@trueknowledge.com"]])
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 8
is true at
February 14th 2012, 10:28:34
I know from locally stored knowledge that:
-8 hours
is the time zone differential of
Pacific Standard Time
([fact: ["20030753@trueknowledge.com"]])
"PST"
is the unique short form of
Pacific Standard Time
([fact: ["646216036@trueknowledge.com"]])
the United States
is partly but not completely located within
Mountain Standard Time region
([fact: ["99045895@trueknowledge.com"]])
Mountain Standard Time region
is a
time zone area
([fact: ["20031189@trueknowledge.com"]])
By calculation (generator: ["time_zone_area_for2@trueknowledge.com"]) I know that:
Mountain Standard Time region
is the time zone area for
the United States
I know from locally stored knowledge that:
Fact 9:
Mountain Standard Time
is the time zone for
Mountain Standard Time region
([fact: ["20031257@trueknowledge.com"]])
Fact 9
is true for
November 6th 2011, 08:00 - March 11th 2012, 09:00
([fact: ["851846860@trueknowledge.com"]])
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 9
is true at
February 14th 2012, 10:28:34
I know from locally stored knowledge that:
-7 hours
is the time zone differential of
Mountain Standard Time
([fact: ["20030748@trueknowledge.com"]])
"MST"
is the unique short form of
Mountain Standard Time
([fact: ["20036879@trueknowledge.com"]])
the United States
is partly but not completely located within
the Mountain Standard Time region
([fact: ["99047079@trueknowledge.com"]])
the Mountain Standard Time region
is a
time zone area
([fact: ["98842080@trueknowledge.com"]])
By calculation (generator: ["time_zone_area_for2@trueknowledge.com"]) I know that:
the Mountain Standard Time region
is the time zone area for
the United States
I know from locally stored knowledge that:
Fact 10:
Mountain Standard Time
is the time zone for
the Mountain Standard Time region
([fact: ["98862176@trueknowledge.com"]])
Fact 10
is true for
the earliest time when the fact can make sense onwards
([fact: ["98862275@trueknowledge.com"]])
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 10
is true at
February 14th 2012, 10:28:34
I know from locally stored knowledge that:
South Korea
commonly translates as
"South Korea"
([fact: ["19590627@trueknowledge.com"]])
South Korea
is the time zone area for
South Korea
([fact: ["98007629@trueknowledge.com"]])
Fact 11:
Korea Standard Time
is the time zone for
South Korea
([fact: ["20031692@trueknowledge.com"]])
Fact 11
is true for
the earliest time when the fact can make sense onwards
([fact: ["20031693@trueknowledge.com"]])
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 11
is true at
February 14th 2012, 10:28:34
I know from locally stored knowledge that:
Fact 12:
+9 hours
is the time zone differential of
Korea Standard Time
([fact: ["20031689@trueknowledge.com"]])
Fact 12
is true for
August 20th 2010, 15:33:00 onwards
([fact: ["933761742@trueknowledge.com"]])
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 12
is true at
February 14th 2012, 10:28:34
I know from locally stored knowledge that:
"KST"
is the unique short form of
Korea Standard Time
([fact: ["20036889@trueknowledge.com"]])
By calculation (generator: ["timepoint_sum@trueknowledge.com"]) I know that:
February 14th 2012, 00:28:34
is the timepoint sum of
February 14th 2012, 10:28:34 and -10 hours and 0 minutes
By calculation (generator: ["local_time_equivalent_to@trueknowledge.com"]) I know that:
February 14th 2012, 00:28:34 HAST
is the local time equivalent to
February 14th 2012, 10:28:34
By calculation (generator: ["strictequal1@trueknowledge.com"]) I know that:
February 14th 2012, 00:28:34 HAST
is strictly equal to
February 14th 2012, 00:28:34 HAST
By calculation (generator: ["local_time_in@trueknowledge.com"]) I know that:
Fact 13:
February 14th 2012, 00:28:34 HAST
is the local time in
Hawaii
Fact 13
is true at
February 14th 2012, 10:28:34
By calculation (generator: ["timepoint_sum@trueknowledge.com"]) I know that:
February 14th 2012, 19:28:34
is the timepoint sum of
February 14th 2012, 10:28:34 and 9 hours and 0 minutes
By calculation (generator: ["local_time_equivalent_to@trueknowledge.com"]) I know that:
February 14th 2012, 19:28:34 KST
is the local time equivalent to
February 14th 2012, 10:28:34
By calculation (generator: ["strictequal1@trueknowledge.com"]) I know that:
February 14th 2012, 19:28:34 KST
is strictly equal to
February 14th 2012, 19:28:34 KST
By calculation (generator: ["local_time_in@trueknowledge.com"]) I know that:
Fact 13:
February 14th 2012, 19:28:34 KST
is the local time in
South Korea
Fact 13
is true at
February 14th 2012, 10:28:34
By calculation (generator: ["first_parameter@trueknowledge.com"]) I know that:
February 14th 2012, 00:28:34
is the first parameter of
February 14th 2012, 00:28:34 HAST
February 14th 2012, 19:28:34
is the first parameter of
February 14th 2012, 19:28:34 KST
By calculation (generator: ["timepoint_difference@trueknowledge.com"]) I know that:
19 hours, 0 minutes and 0 seconds
is the length of time between the timepoints
February 14th 2012, 00:28:34 and February 14th 2012, 19:28:34
By calculation (generator: ["time_difference_between@trueknowledge.com"]) I know that:
Fact 15:
19 hours, 0 minutes and 0 seconds
is the time difference between
Hawaii and South Korea
By calculation (generator: ["truenow1@trueknowledge.com"]) I know that:
Fact 15
is true at
February 14th 2012, 10:28:34
I know from locally stored knowledge that:
true now
applies to
is the time difference between
([fact: ["147989382@trueknowledge.com"]])
By calculation (generator: ["timepoint_sum@trueknowledge.com"]) I know that:
February 14th 2012, 05:28:34
is the timepoint sum of
February 14th 2012, 10:28:34 and -5 hours and 0 minutes
By calculation (generator: ["local_time_equivalent_to@trueknowledge.com"]) I know that:
February 14th 2012, 05:28:34 EST
is the local time equivalent to
February 14th 2012, 10:28:34
By calculation (generator: ["strictequal1@trueknowledge.com"]) I know that:
February 14th 2012, 05:28:34 EST
is strictly equal to
February 14th 2012, 05:28:34 EST
By calculation (generator: ["local_time_in@trueknowledge.com"]) I know that:
Fact 13:
February 14th 2012, 05:28:34 EST
is the local time in
the EST/EDT region
Fact 13
is true at
February 14th 2012, 10:28:34
By calculation (generator: ["first_parameter@trueknowledge.com"]) I know that:
February 14th 2012, 05:28:34
is the first parameter of
February 14th 2012, 05:28:34 EST
By calculation (generator: ["timepoint_difference@trueknowledge.com"]) I know that:
14 hours, 0 minutes and 0 seconds
is the length of time between the timepoints
February 14th 2012, 05:28:34 and February 14th 2012, 19:28:34
By calculation (generator: ["time_difference_between@trueknowledge.com"]) I know that:
Fact 15:
14 hours, 0 minutes and 0 seconds
is the time difference between
the EST/EDT region and South Korea
By calculation (generator: ["truenow1@trueknowledge.com"]) I know that:
Fact 15
is true at
February 14th 2012, 10:28:34
By calculation (generator: ["time_difference_description@trueknowledge.com"]) I know that:
Fact 18:
The United States ranges between 19 hours behind and 14 hours behind South Korea.
is the time difference description of
the United States and South Korea
Fact 18
is true for
October 1st 2009 - October 1st 2010
Adding…
