By calculation (generator: ["now@trueknowledge.com"]) I know that:
The current time is February 11th 2012, 19:36:01
By calculation (generator: ["geographical_parents_unknown@trueknowledge.com"]) I know that:
geographical parents statically unknown
applies to
Lacs
I know from locally stored knowledge that:
Fact 1:
Lacs
is in
Côte d'Ivoire
([fact: ["87354026@trueknowledge.com"]])
Fact 1
is true for
the earliest time when the fact can make sense onwards
([fact: ["87354027@trueknowledge.com"]])
Fact 1
is true for
January 13th 2009 onwards
([fact: ["702499528@trueknowledge.com"]])
Fact 2:
Côte d'Ivoire
is in
the West African Economic and Monetary Union
([fact: ["20053791@trueknowledge.com"]])
Fact 2
is true for
September 2nd 2007, 00:00:00 onwards
([fact: ["20053792@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 3:
Lacs
is in
the West African Economic and Monetary Union
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 11th 2012, 19:36:01
By calculation (generator: ["geographically_located_within5@trueknowledge.com"]) I know that:
Fact 3
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
I know from locally stored knowledge that:
Fact 4:
the West African Economic and Monetary Union
is a
economic and monetary union
([fact: ["20052979@trueknowledge.com"]])
Fact 4
is true for
September 1st 2007, 00:00:00 onwards
([fact: ["20052982@trueknowledge.com"]])
By calculation (generator: ["parents_unknown@trueknowledge.com"]) I know that:
parents not statically known
applies to
economic and monetary union
I know from locally stored knowledge that:
economic and monetary union
is a subclass of
monetary union
([fact: ["20052973@trueknowledge.com"]])
monetary union
is a subclass of
currency zone
([fact: ["20052952@trueknowledge.com"]])
By calculation (generator: ["subclass4@trueknowledge.com"]) I know that:
economic and monetary union
is a subclass of
currency zone
By calculation (generator: ["iaif1@trueknowledge.com"]) I know that:
Fact 5:
the West African Economic and Monetary Union
is a
currency zone
Fact 5
is true for
September 1st 2007, 00:00:00 onwards
I know from locally stored knowledge that:
Fact 6:
the West African CFA franc
is the official currency of
the West African Economic and Monetary Union
([fact: ["20053319@trueknowledge.com"]])
Fact 6
is true for
September 1st 2007, 00:00:00 onwards
([fact: ["20053320@trueknowledge.com"]])
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 6
is true at
February 11th 2012, 19:36:01
By calculation (generator: ["official_currency_used_within2@trueknowledge.com"]) I know that:
Fact 7:
the West African CFA franc
is the official currency of
Lacs
Fact 7
is true at
February 11th 2012, 19:36:01
I know from locally stored knowledge that:
the West African CFA franc
is a
unit of currency
([fact: ["248962738@trueknowledge.com"]])
Therefore (generator: ["strictequal1@trueknowledge.com"]):
unit of currency
is not strictly equal to
unspecified member
Adding…
