By calculation (generator: ["now@trueknowledge.com"]) I know that:
The current time is May 25th 2013, 09:28:33
By calculation (generator: ["geographical_parents_unknown@trueknowledge.com"]) I know that:
geographical parents statically unknown
applies to
Gading
I know from locally stored knowledge that:
Fact 1:
Gading
is in
Jawa Tengah
([fact: ["60515036@trueknowledge.com"]])
Fact 1
is true for
April 12th 2006 onwards
([fact: ["60515037@trueknowledge.com"]])
By calculation (generator: ["geographical_parents_unknown@trueknowledge.com"]) I know that:
geographical parents statically unknown
applies to
Jawa Tengah
I know from locally stored knowledge that:
Fact 2:
Jawa Tengah
is in
Java
([fact: ["104806909@trueknowledge.com"]])
Fact 2
is true for
January 13th 2009 onwards
([fact: ["702789956@trueknowledge.com"]])
Fact 2
is true for
October 22nd 2006 onwards
([fact: ["403404275@trueknowledge.com"]])
Fact 3:
Java
is in
the Waktu Indonesia Bagian Barat region
([fact: ["20043447@trueknowledge.com"]])
Fact 3
is true for
the earliest time when the fact can make sense onwards
([fact: ["20043448@trueknowledge.com"]])
By calculation (generator: ["tpintersect@trueknowledge.com"]) I know that:
January 13th 2009 onwards
is the timeperiod intersection of
January 13th 2009 onwards and the earliest time when the fact can make sense onwards
By calculation (generator: ["geographically_located_within5@trueknowledge.com"]) I know that:
Fact 4:
Jawa Tengah
is in
the Waktu Indonesia Bagian Barat region
Fact 4
is true for
January 13th 2009 onwards
Fact 4
is true for
October 22nd 2006 onwards
By calculation (generator: ["tpintersect@trueknowledge.com"]) I know that:
October 22nd 2006 onwards
is the timeperiod intersection of
October 22nd 2006 onwards and the earliest time when the fact can make sense onwards
October 22nd 2006 onwards
is the timeperiod intersection of
April 12th 2006 onwards and October 22nd 2006 onwards
By calculation (generator: ["geographically_located_within5@trueknowledge.com"]) I know that:
Fact 4:
Gading
is in
the Waktu Indonesia Bagian Barat region
Fact 4
is true for
October 22nd 2006 onwards
By calculation (generator: ["geographically_located_within_or_equal_to@trueknowledge.com"]) I know that:
Gading
is geographically located within or is equal to
the Waktu Indonesia Bagian Barat region
I know from locally stored knowledge that:
the Waktu Indonesia Bagian Barat region
is a
time zone area
([fact: ["20038874@trueknowledge.com"]])
By calculation (generator: ["time_zone_area_for@trueknowledge.com"]) I know that:
Fact 6:
the Waktu Indonesia Bagian Barat region
is the time zone area for
Gading
By calculation (generator: ["perm5@trueknowledge.com"]) I know that:
Fact 6
is true for
all time
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 6
is true at
May 25th 2013, 09:28:33
I know from locally stored knowledge that:
permanent
applies to
is the time zone area for
([fact: ["98007581@trueknowledge.com"]])
Fact 7:
Waktu Indonesia Barat
is the time zone for
the Waktu Indonesia Bagian Barat region
([fact: ["20038885@trueknowledge.com"]])
Fact 7
is true for
July 21st 2007, 00:00:00 onwards
([fact: ["20038886@trueknowledge.com"]])
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 7
is true at
May 25th 2013, 09:28:33
I know from locally stored knowledge that:
Fact 8:
+7 hours
is the time zone differential of
Waktu Indonesia Barat
([fact: ["20038833@trueknowledge.com"]])
Fact 8
is true for
August 20th 2010, 15:34:11 onwards
([fact: ["933785422@trueknowledge.com"]])
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 8
is true at
May 25th 2013, 09:28:33
By calculation (generator: ["timepoint_sum@trueknowledge.com"]) I know that:
May 25th 2013, 16:28:33
is the timepoint sum of
May 25th 2013, 09:28:33 and 7 hours and 0 minutes
By calculation (generator: ["local_time_equivalent_to@trueknowledge.com"]) I know that:
May 25th 2013, 16:28:33 WIB
is the local time equivalent to
May 25th 2013, 09:28:33
By calculation (generator: ["strictequal1@trueknowledge.com"]) I know that:
May 25th 2013, 16:28:33 WIB
is strictly equal to
May 25th 2013, 16:28:33 WIB
By calculation (generator: ["local_time_in@trueknowledge.com"]) I know that:
Fact 9:
May 25th 2013, 16:28:33 WIB
is the local time in
the Waktu Indonesia Bagian Barat region
Fact 9
is true at
May 25th 2013, 09:28:33
By calculation (generator: ["local_time_in3@trueknowledge.com"]) I know that:
Fact 10:
May 25th 2013, 16:28:33 WIB
is the local time in
Gading
Fact 10
is true at
May 25th 2013, 09:28:33
