By calculation (generator: ["now@trueknowledge.com"]) I know that:
The current time is May 23rd 2013, 17:49:03
By calculation (generator: ["geographical_parents_unknown@trueknowledge.com"]) I know that:
geographical parents statically unknown
applies to
Bangkok
I know from locally stored knowledge that:
Fact 1:
Bangkok
is in
Krung Thep Mahanakhon
([fact: ["74881282@trueknowledge.com"]])
Fact 1
is true for
May 25th 2007 onwards
([fact: ["74883422@trueknowledge.com"]])
By calculation (generator: ["geographical_parents_unknown@trueknowledge.com"]) I know that:
geographical parents statically unknown
applies to
Krung Thep Mahanakhon
I know from locally stored knowledge that:
Fact 2:
Krung Thep Mahanakhon
is in
Thailand
([fact: ["72034761@trueknowledge.com"]])
Fact 2
is true for
the earliest time when the fact can make sense onwards
([fact: ["72034762@trueknowledge.com"]])
Fact 3:
Thailand
is in
Indochina Time region
([fact: ["20044205@trueknowledge.com"]])
Fact 3
is true for
the earliest time when the fact can make sense onwards
([fact: ["20044206@trueknowledge.com"]])
By calculation (generator: ["tpintersect@trueknowledge.com"]) I know that:
the beginning of time onwards
is the timeperiod intersection of
the earliest time when the fact can make sense 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:
Krung Thep Mahanakhon
is in
Indochina Time region
Fact 4
is true for
the beginning of time onwards
By calculation (generator: ["tpintersect@trueknowledge.com"]) I know that:
May 25th 2007 onwards
is the timeperiod intersection of
May 25th 2007 onwards and the beginning of time onwards
By calculation (generator: ["geographically_located_within5@trueknowledge.com"]) I know that:
Fact 4:
Bangkok
is in
Indochina Time region
Fact 4
is true for
May 25th 2007 onwards
By calculation (generator: ["geographically_located_within_or_equal_to@trueknowledge.com"]) I know that:
Bangkok
is geographically located within or is equal to
Indochina Time region
I know from locally stored knowledge that:
Indochina Time region
is a
time zone area
([fact: ["20037634@trueknowledge.com"]])
By calculation (generator: ["time_zone_area_for@trueknowledge.com"]) I know that:
Fact 6:
Indochina Time region
is the time zone area for
Bangkok
By calculation (generator: ["perm5@trueknowledge.com"]) I know that:
Fact 6
is true for
all time
I know from locally stored knowledge that:
Fact 7:
Indochina Time
is the time zone for
Indochina Time region
([fact: ["20037651@trueknowledge.com"]])
Fact 7
is true for
the earliest time when the fact can make sense onwards
([fact: ["20037652@trueknowledge.com"]])
permanent
applies to
is the time zone area for
([fact: ["98007581@trueknowledge.com"]])
By calculation (generator: ["second_parameter@trueknowledge.com"]) I know that:
the end of time
is the second parameter of
all time
By calculation (generator: ["in_group@trueknowledge.com"]) I know that:
the end of time
is in the group
indefinitely after and the end of time
By calculation (generator: ["time_zone_for@trueknowledge.com"]) I know that:
Fact 8:
Indochina Time
is the time zone for
Bangkok
Fact 8
is true for
the earliest time when the fact can make sense onwards
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 8
is true at
May 23rd 2013, 17:49:03
By calculation (generator: ["first_parameter@trueknowledge.com"]) I know that:
12:00pm
is the first parameter of
12:00pm Pacific Standard Time
By calculation (generator: ["second_parameter@trueknowledge.com"]) I know that:
Pacific Standard Time
is the second parameter of
12:00pm Pacific Standard Time
By calculation (generator: ["strictequal1@trueknowledge.com"]) I know that:
12:00pm Indochina Time
is strictly equal to
12:00pm Indochina Time
I know from locally stored knowledge that:
Fact 9:
-8 hours
is the time zone differential of
Pacific Standard Time
([fact: ["20030753@trueknowledge.com"]])
Fact 9
is true for
August 20th 2010, 15:32:53 onwards
([fact: ["933759482@trueknowledge.com"]])
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 9
is true at
May 23rd 2013, 17:49:03
By calculation (generator: ["first_parameter@trueknowledge.com"]) I know that:
-8 hours and 0 minutes
is the first parameter of
-8 hours
I know from locally stored knowledge that:
Fact 10:
+7 hours
is the time zone differential of
Indochina Time
([fact: ["20037560@trueknowledge.com"]])
Fact 10
is true for
August 20th 2010, 15:33:35 onwards
([fact: ["933772582@trueknowledge.com"]])
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 10
is true at
May 23rd 2013, 17:49:03
By calculation (generator: ["first_parameter@trueknowledge.com"]) I know that:
7 hours and 0 minutes
is the first parameter of
+7 hours
By calculation (generator: ["strictequal1@trueknowledge.com"]) I know that:
January 1st 1, 01:01:01
is strictly equal to
January 1st 1, 01:01:01
-8 hours and 0 minutes
is strictly equal to
-8 hours and 0 minutes
7 hours and 0 minutes
is strictly equal to
7 hours and 0 minutes
By calculation (generator: ["timepoint_sum@trueknowledge.com"]) I know that:
December 31st 0 BC, 17:01:01
is the timepoint sum of
January 1st 1, 01:01:01 and -8 hours and 0 minutes
January 1st 1, 08:01:01
is the timepoint sum of
January 1st 1, 01:01:01 and 7 hours and 0 minutes
By calculation (generator: ["timepoint_difference@trueknowledge.com"]) I know that:
-15 hours, 0 minutes and 0 seconds
is the length of time between the timepoints
January 1st 1, 08:01:01 and December 31st 0 BC, 17:01:01
By calculation (generator: ["difference_between_lengths_of_time@trueknowledge.com"]) I know that:
-15 hours, 0 minutes and 0 seconds
is the difference between the scalar quantities
-8 hours and 0 minutes and 7 hours and 0 minutes
By calculation (generator: ["pinstance@trueknowledge.com"]) I know that:
Fact 11:
-15 hours, 0 minutes and 0 seconds
is a
length of time
Fact 11
is true for
all time
By calculation (generator: ["inverse_length_time@trueknowledge.com"]) I know that:
15 hours, 0 minutes and 0 seconds
is the inverse of
-15 hours, 0 minutes and 0 seconds
By calculation (generator: ["sum_local_clock_time_and_length_time@trueknowledge.com"]) I know that:
3:00:00am Indochina Time
is the sum of the local clock time and the length of time
12:00pm Indochina Time and 15 hours, 0 minutes and 0 seconds
By calculation (generator: ["local_time_equivalent@trueknowledge.com"]) I know that:
12:00pm Pacific Standard Time
is equivalent to the local clock time
3:00:00am Indochina Time
Indochina Time
is the time zone specified in
3:00:00am Indochina Time