By calculation (generator: ["now@trueknowledge.com"]) I know that:
The current time is February 10th 2012, 18:08:55
By calculation (generator: ["timepoint_sum@trueknowledge.com"]) I know that:
February 10th 2013, 18:08:55
is the timepoint sum of
February 10th 2012, 18:08:55 and 1 year, 0 months and 0 days
By calculation (generator: ["strictequal1@trueknowledge.com"]) I know that:
February 10th 2012, 18:08:55 - February 10th 2013, 18:08:55
is strictly equal to
February 10th 2012, 18:08:55 - February 10th 2013, 18:08:55
I know from locally stored knowledge that:
Fact 1:
British Summer Time
is the time zone for
western european time region
([fact: ["20031365@trueknowledge.com"]])
Fact 1
is true for
March 25th 2012, 01:00 - October 28th 2012, 01:00
([fact: ["1014660274@trueknowledge.com"]])
western european time region
is a
time zone area
([fact: ["20031344@trueknowledge.com"]])
By calculation (generator: ["first_parameter@trueknowledge.com"]) I know that:
March 25th 2012, 01:00
is the first parameter of
March 25th 2012, 01:00 - October 28th 2012, 01:00
By calculation (generator: ["pinstance@trueknowledge.com"]) I know that:
Fact 2:
March 25th 2012, 01:00
is a
point in time
Fact 2
is true for
all time
Fact 2:
February 10th 2012, 18:08:55 - February 10th 2013, 18:08:55
is a
period of time
Fact 2
is true for
all time
By calculation (generator: ["timepointintimeperiod@trueknowledge.com"]) I know that:
March 25th 2012, 01:00
is a timepoint within
February 10th 2012, 18:08:55 - February 10th 2013, 18:08:55
I know from locally stored knowledge that:
Fact 4:
British Summer Time
is the time zone for
the British time region
([fact: ["104823702@trueknowledge.com"]])
Fact 4
is true for
March 25th 2012, 01:00 - October 28th 2012, 01:00
([fact: ["847689124@trueknowledge.com"]])
the British time region
is a
time zone area
([fact: ["104823689@trueknowledge.com"]])