By calculation (generator: ["now@trueknowledge.com"]) I know that:
The current time is February 13th 2012, 18:45:35
I know from locally stored knowledge that:
Fact 1:
Hong Kong Standard Time
is the time zone for
Hong Kong
([fact: ["20038144@trueknowledge.com"]])
Fact 1
is true for
July 20th 2007, 00:00:00 onwards
([fact: ["20038145@trueknowledge.com"]])
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 1
is true at
February 13th 2012, 18:45:35
I know from locally stored knowledge that:
Fact 2:
+8 hours
is the time zone differential of
Hong Kong Standard Time
([fact: ["20037522@trueknowledge.com"]])
Fact 2
is true for
August 20th 2010, 15:33:33 onwards
([fact: ["933772010@trueknowledge.com"]])
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 2
is true at
February 13th 2012, 18:45:35
By calculation (generator: ["timepoint_sum@trueknowledge.com"]) I know that:
February 14th 2012, 02:45:35
is the timepoint sum of
February 13th 2012, 18:45:35 and 8 hours and 0 minutes
By calculation (generator: ["local_time_equivalent_to@trueknowledge.com"]) I know that:
February 14th 2012, 02:45:35 HKST
is the local time equivalent to
February 13th 2012, 18:45:35
By calculation (generator: ["strictequal1@trueknowledge.com"]) I know that:
February 14th 2012, 02:45:35 HKST
is strictly equal to
February 14th 2012, 02:45:35 HKST
By calculation (generator: ["local_time_in@trueknowledge.com"]) I know that:
Fact 3:
February 14th 2012, 02:45:35 HKST
is the local time in
Hong Kong
Fact 3
is true at
February 13th 2012, 18:45:35