By calculation (generator: ["now@trueknowledge.com"]) I know that:
The current time is May 19th 2013, 03:57:42
I know from locally stored knowledge that:
Fact 1:
Mong Kok
is in
Hong Kong
([fact: ["76380141@trueknowledge.com"]])
Fact 1
is true for
December 27th 1993 onwards
([fact: ["76380142@trueknowledge.com"]])
By calculation (generator: ["geographically_located_within_or_equal_to@trueknowledge.com"]) I know that:
Mong Kok
is geographically located within or is equal to
Hong Kong
I know from locally stored knowledge that:
Hong Kong
is a
time zone area
([fact: ["20037730@trueknowledge.com"]])
By calculation (generator: ["time_zone_area_for@trueknowledge.com"]) I know that:
Fact 2:
Hong Kong
is the time zone area for
Mong Kok
By calculation (generator: ["perm5@trueknowledge.com"]) I know that:
Fact 2
is true for
all time
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 2
is true at
May 19th 2013, 03:57:42
I know from locally stored knowledge that:
permanent
applies to
is the time zone area for
([fact: ["98007581@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
May 19th 2013, 03:57:42
I know from locally stored knowledge that:
Fact 4:
+8 hours
is the time zone differential of
Hong Kong Standard Time
([fact: ["20037522@trueknowledge.com"]])
Fact 4
is true for
August 20th 2010, 15:33:33 onwards
([fact: ["933772010@trueknowledge.com"]])
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 4
is true at
May 19th 2013, 03:57:42
By calculation (generator: ["timepoint_sum@trueknowledge.com"]) I know that:
May 19th 2013, 11:57:42
is the timepoint sum of
May 19th 2013, 03:57:42 and 8 hours and 0 minutes
By calculation (generator: ["local_time_equivalent_to@trueknowledge.com"]) I know that:
May 19th 2013, 11:57:42 HKST
is the local time equivalent to
May 19th 2013, 03:57:42
By calculation (generator: ["strictequal1@trueknowledge.com"]) I know that:
May 19th 2013, 11:57:42 HKST
is strictly equal to
May 19th 2013, 11:57:42 HKST
By calculation (generator: ["local_time_in@trueknowledge.com"]) I know that:
Fact 5:
May 19th 2013, 11:57:42 HKST
is the local time in
Hong Kong
Fact 5
is true at
May 19th 2013, 03:57:42
By calculation (generator: ["local_time_in3@trueknowledge.com"]) I know that:
Fact 6:
May 19th 2013, 11:57:42 HKST
is the local time in
Mong Kok
Fact 6
is true at
May 19th 2013, 03:57:42
By calculation (generator: ["pinstance@trueknowledge.com"]) I know that:
Fact 7:
May 19th 2013, 11:57:42 HKST
is a
local timepoint
Fact 7
is true for
all time
Therefore (generator: ["strictequal1@trueknowledge.com"]):
local timepoint
is not strictly equal to
unspecified member
By calculation (generator: ["geographical_parents_unknown@trueknowledge.com"]) I know that:
geographical parents statically unknown
applies to
Mong Kok
geographical parents statically unknown
applies to
Hong Kong
I know from locally stored knowledge that:
Fact 8:
Hong Kong
is in
[c-square: ["1211:1"]]
([fact: ["694004412@trueknowledge.com"]])
Fact 8
is true for
March 10th 2010 onwards
([fact: ["694004448@trueknowledge.com"]])
By calculation (generator: ["strictequal1@trueknowledge.com"]) I know that:
[c-square: ["1211:1"]]
is strictly equal to
[c-square: ["1211:1"]]
By calculation (generator: ["c-square_parents@trueknowledge.com"]) I know that:
[c-square: ["1211:1"]]
is in
[c-square: ["1211"]]
[c-square: ["1211:1"]]
is in
[c-square: ["1"]]
By calculation (generator: ["latitude_of_c-square@trueknowledge.com"]) I know that:
22°30'00"N
is the latitude of
[c-square: ["1211:1"]]
112°30'00"E
is the longitude of
[c-square: ["1211:1"]]
22°30'00"N and 112°30'00"E
is the co-ordinates of
[c-square: ["1211:1"]]
[c-square: ["1211:1"]]
is the c-square version of the co-ordinates
20°00'00"N and 110°00'00"E
By calculation (generator: ["strictequal1@trueknowledge.com"]) I know that:
22°30'00"N and 112°30'00"E
is strictly equal to
22°30'00"N and 112°30'00"E
By calculation (generator: ["first_parameter@trueknowledge.com"]) I know that:
22°30'00"N
is the first parameter of
22°30'00"N and 112°30'00"E
By calculation (generator: ["second_parameter@trueknowledge.com"]) I know that:
112°30'00"E
is the second parameter of
22°30'00"N and 112°30'00"E
By calculation (generator: ["lat_long_to_c-square@trueknowledge.com"]) I know that:
[c-square: ["1211:122:455:100:100:100:100:100"]]
is the c-square version of the co-ordinates
22°30'00"N and 112°30'00"E
I know from locally stored knowledge that:
Diaolou
is in
[c-square: ["1211:122"]]
([fact: ["2347591206@trueknowledge.com"]])
Kaiping Diaolou
is in
[c-square: ["1211:122"]]
([fact: ["2350408614@trueknowledge.com"]])
Guanyin of Mount Xiqiao
is in
[c-square: ["1211:122"]]
([fact: ["2350796686@trueknowledge.com"]])
Guanyin of the South China Sea, Mount Xiqiao
is in
[c-square: ["1211:122"]]
([fact: ["2350797078@trueknowledge.com"]])
Yunfu
is a
settlement
([fact: ["58611167@trueknowledge.com"]])
By calculation (generator: ["best_guess_settlement@trueknowledge.com"]) I know that:
Yunfu
is the best-guess settlement for the co-ordinates
22°30'00"N and 112°30'00"E
By calculation (generator: ["csquare_to_country@trueknowledge.com"]) I know that:
Fact 9:
[c-square: ["1211:1"]]
is in
the China Time region
Fact 9
is true for
December 8th 2007, 00:00:00 onwards
By calculation (generator: ["tpintersect@trueknowledge.com"]) I know that:
March 10th 2010 onwards
is the timeperiod intersection of
March 10th 2010 onwards and December 8th 2007, 00:00:00 onwards
By calculation (generator: ["geographically_located_within5@trueknowledge.com"]) I know that:
Fact 10:
Hong Kong
is in
the China Time region
Fact 10
is true for
March 10th 2010 onwards
By calculation (generator: ["tpintersect@trueknowledge.com"]) I know that:
March 10th 2010 onwards
is the timeperiod intersection of
December 27th 1993 onwards and March 10th 2010 onwards
By calculation (generator: ["geographically_located_within5@trueknowledge.com"]) I know that:
Fact 10:
Mong Kok
is in
the China Time region
Fact 10
is true for
March 10th 2010 onwards
By calculation (generator: ["geographically_located_within_or_equal_to@trueknowledge.com"]) I know that:
Mong Kok
is geographically located within or is equal to
the China Time region
I know from locally stored knowledge that:
the China Time region
is a
time zone area
([fact: ["20058024@trueknowledge.com"]])
By calculation (generator: ["time_zone_area_for@trueknowledge.com"]) I know that:
Fact 2:
the China Time region
is the time zone area for
Mong Kok
By calculation (generator: ["perm5@trueknowledge.com"]) I know that:
Fact 2
is true for
all time
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 2
is true at
May 19th 2013, 03:57:42
I know from locally stored knowledge that:
Fact 13:
China Time
is the time zone for
the China Time region
([fact: ["20058150@trueknowledge.com"]])
Fact 13
is true for
September 13th 2007, 00:00:00 onwards
([fact: ["20058151@trueknowledge.com"]])
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 13
is true at
May 19th 2013, 03:57:42
I know from locally stored knowledge that:
Fact 14:
+8 hours
is the time zone differential of
China Time
([fact: ["20031605@trueknowledge.com"]])
Fact 14
is true for
August 20th 2010, 15:32:59 onwards
([fact: ["933761298@trueknowledge.com"]])
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 14
is true at
May 19th 2013, 03:57:42
By calculation (generator: ["local_time_equivalent_to@trueknowledge.com"]) I know that:
May 19th 2013, 11:57:42 CST
is the local time equivalent to
May 19th 2013, 03:57:42
By calculation (generator: ["strictequal1@trueknowledge.com"]) I know that:
May 19th 2013, 11:57:42 CST
is strictly equal to
May 19th 2013, 11:57:42 CST
By calculation (generator: ["local_time_in@trueknowledge.com"]) I know that:
Fact 5:
May 19th 2013, 11:57:42 CST
is the local time in
the China Time region
Fact 5
is true at
May 19th 2013, 03:57:42
By calculation (generator: ["local_time_in3@trueknowledge.com"]) I know that:
Fact 6:
May 19th 2013, 11:57:42 CST
is the local time in
Mong Kok
Fact 6
is true at
May 19th 2013, 03:57:42
By calculation (generator: ["pinstance@trueknowledge.com"]) I know that:
Fact 7:
May 19th 2013, 11:57:42 CST
is a
local timepoint
Fact 7
is true for
all time
Facts
Show facts
