By calculation (generator: ["now@trueknowledge.com"]) I know that:
The current time is June 20th 2013, 10:58:30
By calculation (generator: ["geographical_parents_unknown@trueknowledge.com"]) I know that:
geographical parents statically unknown
applies to
Aus
I know from locally stored knowledge that:
Fact 1:
Aus
is in
Karas
([fact: ["91781548@trueknowledge.com"]])
Fact 1
is true for
July 25th 1997 onwards
([fact: ["91781549@trueknowledge.com"]])
By calculation (generator: ["geographical_parents_unknown@trueknowledge.com"]) I know that:
geographical parents statically unknown
applies to
Karas
I know from locally stored knowledge that:
Fact 2:
Karas
is in
Namibia
([fact: ["91750433@trueknowledge.com"]])
Fact 2
is true for
the earliest time when the fact can make sense onwards
([fact: ["91750434@trueknowledge.com"]])
Fact 2
is true for
January 13th 2009 onwards
([fact: ["701774536@trueknowledge.com"]])
Fact 3:
Namibia
is in
the Common Monetary Area
([fact: ["20053823@trueknowledge.com"]])
Fact 3
is true for
September 2nd 2007, 00:00:00 onwards
([fact: ["20053824@trueknowledge.com"]])
By calculation (generator: ["tpintersect@trueknowledge.com"]) I know that:
September 2nd 2007, 00:00:00 onwards
is the timeperiod intersection of
the earliest time when the fact can make sense onwards and September 2nd 2007, 00:00:00 onwards
By calculation (generator: ["geographically_located_within5@trueknowledge.com"]) I know that:
Fact 4:
Karas
is in
the Common Monetary Area
Fact 4
is true for
September 2nd 2007, 00:00:00 onwards
Fact 4
is true for
January 13th 2009 onwards
By calculation (generator: ["tpintersect@trueknowledge.com"]) I know that:
January 13th 2009 onwards
is the timeperiod intersection of
January 13th 2009 onwards and September 2nd 2007, 00:00:00 onwards
January 13th 2009 onwards
is the timeperiod intersection of
July 25th 1997 onwards and January 13th 2009 onwards
By calculation (generator: ["geographically_located_within5@trueknowledge.com"]) I know that:
Fact 4:
Aus
is in
the Common Monetary Area
Fact 4
is true for
January 13th 2009 onwards
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 4
is true at
June 20th 2013, 10:58:30
By calculation (generator: ["geographically_located_within5@trueknowledge.com"]) I know that:
Fact 4
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
July 25th 1997 onwards and September 2nd 2007, 00:00:00 onwards
I know from locally stored knowledge that:
Fact 6:
the Common Monetary Area
is a
monetary union
([fact: ["20053296@trueknowledge.com"]])
Fact 6
is true for
September 1st 2007, 00:00:00 onwards
([fact: ["20053299@trueknowledge.com"]])
monetary union
is a subclass of
currency zone
([fact: ["20052952@trueknowledge.com"]])
By calculation (generator: ["iaif1@trueknowledge.com"]) I know that:
Fact 7:
the Common Monetary Area
is a
currency zone
Fact 7
is true for
September 1st 2007, 00:00:00 onwards
I know from locally stored knowledge that:
Fact 8:
South African rand
is the official currency of
the Common Monetary Area
([fact: ["20053409@trueknowledge.com"]])
Fact 8
is true for
September 1st 2007, 00:00:00 onwards
([fact: ["20053410@trueknowledge.com"]])
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 8
is true at
June 20th 2013, 10:58:30
By calculation (generator: ["official_currency_used_within2@trueknowledge.com"]) I know that:
Fact 9:
South African rand
is the official currency of
Aus
Fact 9
is true at
June 20th 2013, 10:58:30