By calculation (generator: ["now@trueknowledge.com"]) I know that:
The current time is February 12th 2012, 15:27:41
By calculation (generator: ["geographical_parents_unknown@trueknowledge.com"]) I know that:
geographical parents statically unknown
applies to
Ottawa
I know from locally stored knowledge that:
Fact 1:
Ottawa
is in
Jawa Tengah
([fact: ["60224481@trueknowledge.com"]])
Fact 1
is true for
December 22nd 2005 onwards
([fact: ["60224482@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
December 22nd 2005 onwards and October 22nd 2006 onwards
By calculation (generator: ["geographically_located_within5@trueknowledge.com"]) I know that:
Fact 4:
Ottawa
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:
Ottawa
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
Ottawa
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
February 12th 2012, 15:27:41
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
February 12th 2012, 15:27:41
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
February 12th 2012, 15:27:41
By calculation (generator: ["timepoint_sum@trueknowledge.com"]) I know that:
February 12th 2012, 22:27:41
is the timepoint sum of
February 12th 2012, 15:27:41 and 7 hours and 0 minutes
By calculation (generator: ["local_time_equivalent_to@trueknowledge.com"]) I know that:
February 12th 2012, 22:27:41 WIB
is the local time equivalent to
February 12th 2012, 15:27:41
By calculation (generator: ["strictequal1@trueknowledge.com"]) I know that:
February 12th 2012, 22:27:41 WIB
is strictly equal to
February 12th 2012, 22:27:41 WIB
By calculation (generator: ["local_time_in@trueknowledge.com"]) I know that:
Fact 9:
February 12th 2012, 22:27:41 WIB
is the local time in
the Waktu Indonesia Bagian Barat region
Fact 9
is true at
February 12th 2012, 15:27:41
By calculation (generator: ["local_time_in3@trueknowledge.com"]) I know that:
Fact 10:
February 12th 2012, 22:27:41 WIB
is the local time in
Ottawa
Fact 10
is true at
February 12th 2012, 15:27:41
By calculation (generator: ["pinstance@trueknowledge.com"]) I know that:
Fact 11:
February 12th 2012, 22:27:41 WIB
is a
local timepoint
Fact 11
is true for
all time
Therefore (generator: ["strictequal1@trueknowledge.com"]):
local timepoint
is not strictly equal to
unspecified member
Adding…
