By calculation (generator: ["now@trueknowledge.com"]) I know that:
The current time is February 9th 2012, 00:05:03
By calculation (generator: ["timepoint_sum@trueknowledge.com"]) I know that:
April 9th 2013, 00:05:03
is the timepoint sum of
February 9th 2012, 00:05:03 and 1 year, 2 months and 0 days
By calculation (generator: ["strictequal1@trueknowledge.com"]) I know that:
February 9th 2012, 00:05:03 - April 9th 2013, 00:05:03
is strictly equal to
February 9th 2012, 00:05:03 - April 9th 2013, 00:05:03
I know from locally stored knowledge that:
March 31st 2013
is a
Easter
([fact: ["127369685@trueknowledge.com"]])
By calculation (generator: ["pinstance@trueknowledge.com"]) I know that:
Fact 1:
March 31st 2013
is a
point in time
Fact 1
is true for
all time
By calculation (generator: ["strictequal1@trueknowledge.com"]) I know that:
March 31st 2013
is strictly equal to
March 31st 2013
By calculation (generator: ["start_or_whole_timepoint_event2@trueknowledge.com"]) I know that:
March 31st 2013
is the start time or time of occurrence of
March 31st 2013
By calculation (generator: ["pinstance@trueknowledge.com"]) I know that:
Fact 1:
February 9th 2012, 00:05:03 - April 9th 2013, 00:05:03
is a
period of time
Fact 1
is true for
all time
By calculation (generator: ["timepointintimeperiod@trueknowledge.com"]) I know that:
March 31st 2013
is a timepoint within
February 9th 2012, 00:05:03 - April 9th 2013, 00:05:03
I know from locally stored knowledge that:
April 8th 2012
is a
Easter
([fact: ["127369686@trueknowledge.com"]])
By calculation (generator: ["pinstance@trueknowledge.com"]) I know that:
Fact 1:
April 8th 2012
is a
point in time
Fact 1
is true for
all time
By calculation (generator: ["strictequal1@trueknowledge.com"]) I know that:
April 8th 2012
is strictly equal to
April 8th 2012
By calculation (generator: ["start_or_whole_timepoint_event2@trueknowledge.com"]) I know that:
April 8th 2012
is the start time or time of occurrence of
April 8th 2012
By calculation (generator: ["timepointintimeperiod@trueknowledge.com"]) I know that:
April 8th 2012
is a timepoint within
February 9th 2012, 00:05:03 - April 9th 2013, 00:05:03