By calculation (generator: ["now@trueknowledge.com"]) I know that:
The current time is May 25th 2013, 12:34:46
By calculation (generator: ["geographical_parents_unknown@trueknowledge.com"]) I know that:
geographical parents statically unknown
applies to
Manta
I know from locally stored knowledge that:
Fact 1:
Manta
is in
Ecuador
([fact: ["85190659@trueknowledge.com"]])
Fact 1
is true for
August 17th 1995 onwards
([fact: ["85190660@trueknowledge.com"]])
Fact 1
is true for
May 13th 2009 onwards
([fact: ["357475967@trueknowledge.com"]])
Fact 2:
Ecuador
is in
the US dollar zone
([fact: ["20053789@trueknowledge.com"]])
Fact 2
is true for
September 2nd 2007, 00:00:00 onwards
([fact: ["20053790@trueknowledge.com"]])
By calculation (generator: ["tpintersect@trueknowledge.com"]) I know that:
September 2nd 2007, 00:00:00 onwards
is the timeperiod intersection of
August 17th 1995 onwards and September 2nd 2007, 00:00:00 onwards
By calculation (generator: ["geographically_located_within5@trueknowledge.com"]) I know that:
Fact 3:
Manta
is in
the US dollar zone
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
May 25th 2013, 12:34:46
By calculation (generator: ["geographically_located_within5@trueknowledge.com"]) I know that:
Fact 3
is true for
May 13th 2009 onwards
By calculation (generator: ["tpintersect@trueknowledge.com"]) I know that:
May 13th 2009 onwards
is the timeperiod intersection of
May 13th 2009 onwards and September 2nd 2007, 00:00:00 onwards
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
May 25th 2013, 12:34:46
By calculation (generator: ["official_currency_used_within2@trueknowledge.com"]) I know that:
Fact 5:
United States dollar
is the official currency of
Manta
Fact 5
is true at
May 25th 2013, 12:34:46
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
