By calculation (generator: ["now@trueknowledge.com"]) I know that:
The current time is February 12th 2012, 20:01:34
By calculation (generator: ["geographical_parents_unknown@trueknowledge.com"]) I know that:
geographical parents statically unknown
applies to
Tenerife
I know from locally stored knowledge that:
Fact 1:
Tenerife
is in
Spain
([fact: ["108001352@trueknowledge.com"]])
Fact 1
is true for
December 23rd 1993 onwards
([fact: ["108001353@trueknowledge.com"]])
Fact 2:
Spain
is in
the Eurozone
([fact: ["20053809@trueknowledge.com"]])
Fact 2
is true for
September 2nd 2007, 00:00:00 onwards
([fact: ["20053810@trueknowledge.com"]])
By calculation (generator: ["tpintersect@trueknowledge.com"]) I know that:
September 2nd 2007, 00:00:00 onwards
is the timeperiod intersection of
December 23rd 1993 onwards and September 2nd 2007, 00:00:00 onwards
By calculation (generator: ["geographically_located_within5@trueknowledge.com"]) I know that:
Fact 3:
Tenerife
is in
the Eurozone
Fact 3
is true for
September 2nd 2007, 00:00:00 onwards
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 3
is true at
February 12th 2012, 20:01:34
I know from locally stored knowledge that:
the Eurozone
is a
currency zone
([fact: ["20052896@trueknowledge.com"]])
Fact 4:
Euro
is the official currency of
the Eurozone
([fact: ["20053311@trueknowledge.com"]])
Fact 4
is true for
September 1st 2007, 00:00:00 onwards
([fact: ["20053312@trueknowledge.com"]])
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 4
is true at
February 12th 2012, 20:01:34
By calculation (generator: ["official_currency_used_within2@trueknowledge.com"]) I know that:
Fact 5:
Euro
is the official currency of
Tenerife
Fact 5
is true at
February 12th 2012, 20:01:34
Adding…
