By calculation (generator: ["now@trueknowledge.com"]) I know that:
The current time is May 25th 2013, 11:13:55
I know from locally stored knowledge that:
covered by the ECB
applies to
United States dollar
([fact: ["435091448@trueknowledge.com"]])
covered by the ECB
applies to
Danish krone
([fact: ["435091360@trueknowledge.com"]])
By calculation (generator: ["more_accurate_version5@trueknowledge.com"]) I know that:
May 25th 2013, 11:13:55
is a more accurate version of
2013
May 25th 2013, 11:13:55
is a more accurate version of
May 2013
May 25th 2013, 11:13:55
is a more accurate version of
May 25th 2013
May 25th 2013, 11:13:55
is a more accurate version of
May 25th 2013, between 11:00 and 12
May 25th 2013, 11:13:55
is a more accurate version of
May 25th 2013, 11:13
By calculation (generator: ["regex1@trueknowledge.com"]) I know that:
"2013/5/25"
is a string that contains the regular expression
"^[0-9\-]+/[0-9]+/[0-9]+$"
By calculation (generator: ["calendardate@trueknowledge.com"]) I know that:
May 25th 2013
is a
calendar date
I know from locally stored knowledge that:
United States dollar
is a currency with iso code
"USD"
([fact: ["20053598@trueknowledge.com"]])
Danish krone
is a currency with iso code
"DKK"
([fact: ["20053628@trueknowledge.com"]])
By calculation (generator: ["currency_convert@trueknowledge.com"]) I know that:
Fact 1:
5.76
is the multiplier that converts
United States dollar and Danish krone
Fact 1
is true for
May 24th 2013, 00:00:00 onwards
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 1
is true at
May 25th 2013, 11:13:55
By calculation (generator: ["product@trueknowledge.com"]) I know that:
3,110.112
is the product of
5.76 and 539.95
By calculation (generator: ["strictequal1@trueknowledge.com"]) I know that:
3,110.112 Danish kroner
is strictly equal to
3,110.112 Danish kroner
By calculation (generator: ["equivalent_money@trueknowledge.com"]) I know that:
Fact 2:
3,110.112 Danish kroner
is equivalent to
539.95 United States dollars
Fact 2
is true at
May 25th 2013, 11:13:55
Fact 2:
Danish krone
is the unit used in
3,110.112 Danish kroner