By calculation (generator: ["first_parameter@trueknowledge.com"]) I know that:
China
is the first parameter of
China and Jakarta
By calculation (generator: ["second_parameter@trueknowledge.com"]) I know that:
Jakarta
is the second parameter of
China and Jakarta
I know from locally stored knowledge that:
China
commonly translates as
"China"
([fact: ["1153068@trueknowledge.com"]])
By calculation (generator: ["now@trueknowledge.com"]) I know that:
The current time is February 14th 2012, 21:01:00
I know from locally stored knowledge that:
the China Time region
is the time zone area for
China
([fact: ["1007935458@trueknowledge.com"]])
Fact 1:
China Time
is the time zone for
the China Time region
([fact: ["20058150@trueknowledge.com"]])
Fact 1
is true for
September 13th 2007, 00:00:00 onwards
([fact: ["20058151@trueknowledge.com"]])
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 1
is true at
February 14th 2012, 21:01:00
I know from locally stored knowledge that:
Fact 2:
+8 hours
is the time zone differential of
China Time
([fact: ["20031605@trueknowledge.com"]])
Fact 2
is true for
August 20th 2010, 15:32:59 onwards
([fact: ["933761298@trueknowledge.com"]])
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 2
is true at
February 14th 2012, 21:01:00
I know from locally stored knowledge that:
"CT"
is the unique short form of
China Time
([fact: ["646216068@trueknowledge.com"]])
Hong Kong
is the time zone area for
China
([fact: ["1007936626@trueknowledge.com"]])
Fact 3:
Hong Kong Standard Time
is the time zone for
Hong Kong
([fact: ["20038144@trueknowledge.com"]])
Fact 3
is true for
July 20th 2007, 00:00:00 onwards
([fact: ["20038145@trueknowledge.com"]])
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 3
is true at
February 14th 2012, 21:01:00
I know from locally stored knowledge that:
+8 hours
is the time zone differential of
Hong Kong Standard Time
([fact: ["20037522@trueknowledge.com"]])
"HKST"
is the unique short form of
Hong Kong Standard Time
([fact: ["20037520@trueknowledge.com"]])
Jakarta
commonly translates as
"Jakarta"
([fact: ["1157125@trueknowledge.com"]])
Fact 4:
Waktu Indonesia Barat
is the time zone for
the Waktu Indonesia Bagian Barat region
([fact: ["20038885@trueknowledge.com"]])
Fact 4
is true for
July 21st 2007, 00:00:00 onwards
([fact: ["20038886@trueknowledge.com"]])
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 4
is true at
February 14th 2012, 21:01:00
I know from locally stored knowledge that:
Fact 5:
+7 hours
is the time zone differential of
Waktu Indonesia Barat
([fact: ["20038833@trueknowledge.com"]])
Fact 5
is true for
August 20th 2010, 15:34:11 onwards
([fact: ["933785422@trueknowledge.com"]])
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 5
is true at
February 14th 2012, 21:01:00
I know from locally stored knowledge that:
"WIB"
is the unique short form of
Waktu Indonesia Barat
([fact: ["20038834@trueknowledge.com"]])
By calculation (generator: ["timepoint_sum@trueknowledge.com"]) I know that:
February 15th 2012, 05:01:00
is the timepoint sum of
February 14th 2012, 21:01:00 and 8 hours and 0 minutes
By calculation (generator: ["local_time_equivalent_to@trueknowledge.com"]) I know that:
February 15th 2012, 05:01:00 CST
is the local time equivalent to
February 14th 2012, 21:01:00
By calculation (generator: ["strictequal1@trueknowledge.com"]) I know that:
February 15th 2012, 05:01:00 CST
is strictly equal to
February 15th 2012, 05:01:00 CST
By calculation (generator: ["local_time_in@trueknowledge.com"]) I know that:
Fact 6:
February 15th 2012, 05:01:00 CST
is the local time in
the China Time region
Fact 6
is true at
February 14th 2012, 21:01:00
I know from locally stored knowledge that:
permanent
applies to
is the time zone area for
([fact: ["98007581@trueknowledge.com"]])
the Waktu Indonesia Bagian Barat region
is a
time zone area
([fact: ["20038874@trueknowledge.com"]])
By calculation (generator: ["timepoint_sum@trueknowledge.com"]) I know that:
February 15th 2012, 04:01:00
is the timepoint sum of
February 14th 2012, 21:01:00 and 7 hours and 0 minutes
By calculation (generator: ["local_time_equivalent_to@trueknowledge.com"]) I know that:
February 15th 2012, 04:01:00 WIB
is the local time equivalent to
February 14th 2012, 21:01:00
By calculation (generator: ["strictequal1@trueknowledge.com"]) I know that:
February 15th 2012, 04:01:00 WIB
is strictly equal to
February 15th 2012, 04:01:00 WIB
By calculation (generator: ["local_time_in@trueknowledge.com"]) I know that:
Fact 6:
February 15th 2012, 04:01:00 WIB
is the local time in
the Waktu Indonesia Bagian Barat region
Fact 6
is true at
February 14th 2012, 21:01:00
By calculation (generator: ["local_time_in3@trueknowledge.com"]) I know that:
Fact 8:
February 15th 2012, 04:01:00 WIB
is the local time in
Jakarta
Fact 8
is true at
February 14th 2012, 21:01:00
By calculation (generator: ["first_parameter@trueknowledge.com"]) I know that:
February 15th 2012, 05:01:00
is the first parameter of
February 15th 2012, 05:01:00 CST
February 15th 2012, 04:01:00
is the first parameter of
February 15th 2012, 04:01:00 WIB
By calculation (generator: ["timepoint_difference@trueknowledge.com"]) I know that:
-1 hour, 0 minutes and 0 seconds
is the length of time between the timepoints
February 15th 2012, 05:01:00 and February 15th 2012, 04:01:00
By calculation (generator: ["time_difference_between@trueknowledge.com"]) I know that:
Fact 9:
-1 hour, 0 minutes and 0 seconds
is the time difference between
the China Time region and Jakarta
By calculation (generator: ["truenow1@trueknowledge.com"]) I know that:
Fact 9
is true at
February 14th 2012, 21:01:00
I know from locally stored knowledge that:
true now
applies to
is the time difference between
([fact: ["147989382@trueknowledge.com"]])
By calculation (generator: ["time_difference_description@trueknowledge.com"]) I know that:
Fact 10:
China is 1 hour ahead of Jakarta.
is the time difference description of
China and Jakarta
Fact 10
is true for
October 1st 2009 - October 1st 2010
Adding…
