By calculation (generator: ["now@trueknowledge.com"]) I know that:
The current time is February 12th 2012, 20:07:06
By calculation (generator: ["strictequal1@trueknowledge.com"]) I know that:
February 12th 2012
is strictly equal to
February 12th 2012
By calculation (generator: ["timepoint_unique_translation@trueknowledge.com"]) I know that:
February 12th 2012
uniquely translates as
"February 12th 2012"
I know from locally stored knowledge that:
Christmas Day
is an event that falls on
the 25th of December
([fact: ["123958725@trueknowledge.com"]])
By calculation (generator: ["regex2@trueknowledge.com"]) I know that:
"2012/2/12"
is a string that contains the regular expression
"^[0-9-]+/([0-9]+/[0-9]+)"
"2/12"
is the substring of the string and regular expression at index
"2012/2/12", "^[0-9-]+/([0-9]+/[0-9]+)" and 1
By calculation (generator: ["strictequal1@trueknowledge.com"]) I know that:
the 12th of February
is strictly equal to
the 12th of February
By calculation (generator: ["day_of_year_component@trueknowledge.com"]) I know that:
the 12th of February
is the day of the year component of
February 12th 2012
Therefore (generator: ["strictequal1@trueknowledge.com"]):
the 25th of December
is not strictly equal to
the 12th of February
Therefore (generator: ["not_instance12@trueknowledge.com"]):
Fact 1:
February 12th 2012
is not a
Christmas Day
By calculation (generator: ["not_instance12@trueknowledge.com"]) I know that:
Fact 1
is true for
the beginning of time onwards
By calculation (generator: ["timeperiodtotimepoint2@trueknowledge.com"]) I know that:
Fact 1
is true for all of timepoint
February 12th 2012, 20:07:06
Adding…
