By calculation (generator: ["now@trueknowledge.com"]) I know that:
The current time is February 14th 2012, 00:52:40
By calculation (generator: ["geographical_parents_unknown@trueknowledge.com"]) I know that:
geographical parents statically unknown
applies to
Granada
I know from locally stored knowledge that:
Fact 1:
Granada
is in
Spain
([fact: ["49001958@trueknowledge.com"]])
Fact 1
is true for
September 24th 2008 onwards
([fact: ["152699621@trueknowledge.com"]])
Fact 1
is true for
March 22nd 2007 onwards
([fact: ["368296087@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 24th 2008 onwards
is the timeperiod intersection of
September 24th 2008 onwards and September 2nd 2007, 00:00:00 onwards
By calculation (generator: ["geographically_located_within5@trueknowledge.com"]) I know that:
Fact 3:
Granada
is in
the Eurozone
Fact 3
is true for
September 24th 2008 onwards
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 3
is true at
February 14th 2012, 00:52:40
By calculation (generator: ["geographically_located_within5@trueknowledge.com"]) I know that:
Fact 3
is true for
September 2nd 2007, 00:00:00 onwards
By calculation (generator: ["tpintersect@trueknowledge.com"]) I know that:
September 2nd 2007, 00:00:00 onwards
is the timeperiod intersection of
March 22nd 2007 onwards and September 2nd 2007, 00:00:00 onwards
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 14th 2012, 00:52:40
By calculation (generator: ["official_currency_used_within2@trueknowledge.com"]) I know that:
Fact 5:
Euro
is the official currency of
Granada
Fact 5
is true at
February 14th 2012, 00:52:40
Adding…
