By calculation (generator: ["now@trueknowledge.com"]) I know that:
The current time is May 25th 2013, 04:42:03
I know from locally stored knowledge that:
Fact 1:
Swiss franc
is the official currency of
Switzerland
([fact: ["20052584@trueknowledge.com"]])
By calculation (generator: ["official_currency_used_within2@trueknowledge.com"]) I know that:
Fact 1
is true at
May 25th 2013, 04:42:03
I know from locally stored knowledge that:
Fact 2:
Switzerland
is in
the Swiss franc zone
([fact: ["20058128@trueknowledge.com"]])
Fact 2
is true for
September 13th 2007, 00:00:00 onwards
([fact: ["20058129@trueknowledge.com"]])
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 2
is true at
May 25th 2013, 04:42:03
I know from locally stored knowledge that:
the Swiss franc zone
is a
currency zone
([fact: ["20058061@trueknowledge.com"]])
Fact 3:
Swiss franc
is the official currency of
the Swiss franc zone
([fact: ["105705819@trueknowledge.com"]])
Fact 3
is true for
the earliest time when the fact can make sense onwards
([fact: ["105705820@trueknowledge.com"]])
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 3
is true at
May 25th 2013, 04:42:03
I know from locally stored knowledge that:
covered by the ECB
applies to
Euro
([fact: ["645360620@trueknowledge.com"]])
covered by the ECB
applies to
Swiss franc
([fact: ["435091348@trueknowledge.com"]])
By calculation (generator: ["more_accurate_version5@trueknowledge.com"]) I know that:
May 25th 2013, 04:42:03
is a more accurate version of
2013
May 25th 2013, 04:42:03
is a more accurate version of
May 2013
May 25th 2013, 04:42:03
is a more accurate version of
May 25th 2013
May 25th 2013, 04:42:03
is a more accurate version of
May 25th 2013, between 04:00 and 5
May 25th 2013, 04:42:03
is a more accurate version of
May 25th 2013, 04:42
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:
Euro
is a currency with iso code
"EUR"
([fact: ["20053592@trueknowledge.com"]])
Swiss franc
is a currency with iso code
"CHF"
([fact: ["20053464@trueknowledge.com"]])
By calculation (generator: ["currency_convert@trueknowledge.com"]) I know that:
Fact 4:
1.25
is the multiplier that converts
Euro and Swiss franc
Fact 4
is true for
May 24th 2013, 00:00:00 onwards
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 4
is true at
May 25th 2013, 04:42:03
By calculation (generator: ["product@trueknowledge.com"]) I know that:
375.0
is the product of
1.25 and 300
By calculation (generator: ["strictequal1@trueknowledge.com"]) I know that:
375.0 Swiss francs
is strictly equal to
375.0 Swiss francs
By calculation (generator: ["equivalent_money@trueknowledge.com"]) I know that:
Fact 5:
375.0 Swiss francs
is equivalent to
300 Euros
Fact 5
is true at
May 25th 2013, 04:42:03
Fact 5:
Swiss franc
is the unit used in
375.0 Swiss francs
Facts
Show facts
