By calculation (generator: ["now@trueknowledge.com"]) I know that:
The current time is February 12th 2012, 10:00:05
By calculation (generator: ["timepoint_sum@trueknowledge.com"]) I know that:
February 12th 2013, 10:00:05
is the timepoint sum of
February 12th 2012, 10:00:05 and 1 year, 0 months and 0 days
By calculation (generator: ["strictequal1@trueknowledge.com"]) I know that:
February 12th 2012, 10:00:05 - February 12th 2013, 10:00:05
is strictly equal to
February 12th 2012, 10:00:05 - February 12th 2013, 10:00:05
I know from locally stored knowledge that:
Fact 1:
Eastern Daylight Time
is the time zone for
the EST/EDT region
([fact: ["20029991@trueknowledge.com"]])
Fact 1
is true for
March 11th 2012, 07:00 - November 4th 2012, 06:00
([fact: ["851836448@trueknowledge.com"]])
the EST/EDT region
is a
time zone area
([fact: ["1165750@trueknowledge.com"]])
By calculation (generator: ["first_parameter@trueknowledge.com"]) I know that:
March 11th 2012, 07:00
is the first parameter of
March 11th 2012, 07:00 - November 4th 2012, 06:00
By calculation (generator: ["pinstance@trueknowledge.com"]) I know that:
Fact 2:
March 11th 2012, 07:00
is a
point in time
Fact 2
is true for
all time
Fact 2:
February 12th 2012, 10:00:05 - February 12th 2013, 10:00:05
is a
period of time
Fact 2
is true for
all time
By calculation (generator: ["timepointintimeperiod@trueknowledge.com"]) I know that:
March 11th 2012, 07:00
is a timepoint within
February 12th 2012, 10:00:05 - February 12th 2013, 10:00:05
Adding…
