By calculation (generator: ["now@trueknowledge.com"]) I know that:
The current time is May 25th 2013, 07:00:46
I know from locally stored knowledge that:
Fact 1:
Norwegian krone
is the official currency of
Norway
([fact: ["20054404@trueknowledge.com"]])
Fact 1
is true for
February 9th 2008 onwards
([fact: ["368368931@trueknowledge.com"]])
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 1
is true at
May 25th 2013, 07:00:46
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
Norwegian krone
([fact: ["435091412@trueknowledge.com"]])
By calculation (generator: ["more_accurate_version5@trueknowledge.com"]) I know that:
May 25th 2013, 07:00:46
is a more accurate version of
2013
May 25th 2013, 07:00:46
is a more accurate version of
May 2013
May 25th 2013, 07:00:46
is a more accurate version of
May 25th 2013
May 25th 2013, 07:00:46
is a more accurate version of
May 25th 2013, between 07:00 and 8
May 25th 2013, 07:00:46
is a more accurate version of
May 25th 2013, 07:00
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"]])
Norwegian krone
is a currency with iso code
"NOK"
([fact: ["20053634@trueknowledge.com"]])
By calculation (generator: ["currency_convert@trueknowledge.com"]) I know that:
Fact 2:
5.82
is the multiplier that converts
United States dollar and Norwegian krone
Fact 2
is true for
May 24th 2013, 00:00:00 onwards
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 2
is true at
May 25th 2013, 07:00:46
By calculation (generator: ["product@trueknowledge.com"]) I know that:
1,542.009
is the product of
5.82 and 264.95
By calculation (generator: ["strictequal1@trueknowledge.com"]) I know that:
1,542.009 Norwegian kronen
is strictly equal to
1,542.009 Norwegian kronen
By calculation (generator: ["equivalent_money@trueknowledge.com"]) I know that:
Fact 3:
1,542.009 Norwegian kronen
is equivalent to
264.95 United States dollars
Fact 3
is true at
May 25th 2013, 07:00:46
Fact 3:
Norwegian krone
is the unit used in
1,542.009 Norwegian kronen