By calculation (generator: ["now@trueknowledge.com"]) I know that:
The current time is May 24th 2013, 08:51:20
By calculation (generator: ["geographical_parents_unknown@trueknowledge.com"]) I know that:
geographical parents statically unknown
applies to
Gondoharjo
I know from locally stored knowledge that:
Fact 1:
Gondoharjo
is in
Jawa Tengah
([fact: ["43997050@trueknowledge.com"]])
Fact 1
is true for
the earliest time when the fact can make sense onwards
([fact: ["43997051@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
the earliest time when the fact can make sense onwards and October 22nd 2006 onwards
By calculation (generator: ["geographically_located_within5@trueknowledge.com"]) I know that:
Fact 4:
Gondoharjo
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:
Gondoharjo
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
Gondoharjo
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 24th 2013, 08:51:20
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 24th 2013, 08:51:20
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 24th 2013, 08:51:20
By calculation (generator: ["timepoint_sum@trueknowledge.com"]) I know that:
May 24th 2013, 15:51:20
is the timepoint sum of
May 24th 2013, 08:51:20 and 7 hours and 0 minutes
By calculation (generator: ["local_time_equivalent_to@trueknowledge.com"]) I know that:
May 24th 2013, 15:51:20 WIB
is the local time equivalent to
May 24th 2013, 08:51:20
By calculation (generator: ["strictequal1@trueknowledge.com"]) I know that:
May 24th 2013, 15:51:20 WIB
is strictly equal to
May 24th 2013, 15:51:20 WIB
By calculation (generator: ["local_time_in@trueknowledge.com"]) I know that:
Fact 9:
May 24th 2013, 15:51:20 WIB
is the local time in
the Waktu Indonesia Bagian Barat region
Fact 9
is true at
May 24th 2013, 08:51:20
By calculation (generator: ["local_time_in3@trueknowledge.com"]) I know that:
Fact 10:
May 24th 2013, 15:51:20 WIB
is the local time in
Gondoharjo
Fact 10
is true at
May 24th 2013, 08:51:20
Facts
Show facts
