By calculation (generator: ["now@trueknowledge.com"]) I know that:
The current time is February 12th 2012, 10:15:38
By calculation (generator: ["geographical_parents_unknown@trueknowledge.com"]) I know that:
geographical parents statically unknown
applies to
Brasil's
I know from locally stored knowledge that:
Fact 1:
Brasil's
is in
Pennsylvania
([fact: ["179927511@trueknowledge.com"]])
Fact 1
is true for
September 24th 2008 onwards
([fact: ["179927523@trueknowledge.com"]])
Fact 2:
Pennsylvania
is in
the US dollar zone
([fact: ["664222268@trueknowledge.com"]])
Fact 2
is true for
January 25th 2010, 15:46:41 onwards
([fact: ["664222284@trueknowledge.com"]])
By calculation (generator: ["tpintersect@trueknowledge.com"]) I know that:
January 25th 2010, 15:46:41 onwards
is the timeperiod intersection of
September 24th 2008 onwards and January 25th 2010, 15:46:41 onwards
By calculation (generator: ["geographically_located_within5@trueknowledge.com"]) I know that:
Fact 3:
Brasil's
is in
the US dollar zone
Fact 3
is true for
January 25th 2010, 15:46:41 onwards
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 3
is true at
February 12th 2012, 10:15:38
I know from locally stored knowledge that:
the US dollar zone
is a
currency zone
([fact: ["20052916@trueknowledge.com"]])
Fact 4:
United States dollar
is the official currency of
the US dollar zone
([fact: ["20053313@trueknowledge.com"]])
Fact 4
is true for
September 1st 2007, 00:00:00 onwards
([fact: ["20053314@trueknowledge.com"]])
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 4
is true at
February 12th 2012, 10:15:38
By calculation (generator: ["official_currency_used_within2@trueknowledge.com"]) I know that:
Fact 5:
United States dollar
is the official currency of
Brasil's
Fact 5
is true at
February 12th 2012, 10:15:38
I know from locally stored knowledge that:
United States dollar
is a
unit of currency
([fact: ["19566419@trueknowledge.com"]])
Therefore (generator: ["strictequal1@trueknowledge.com"]):
unit of currency
is not strictly equal to
unspecified member
Adding…
