By calculation (generator: ["now@trueknowledge.com"]) I know that:
The current time is February 14th 2012, 14:21:50
I know from locally stored knowledge that:
Fact 1:
the Eiffel Tower
is in
Paris
([fact: ["1156394@trueknowledge.com"]])
Fact 1
is true for
July 5th 2009 onwards
([fact: ["374841735@trueknowledge.com"]])
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 1
is true at
February 14th 2012, 14:21:50
I know from locally stored knowledge that:
Fact 1
is true for
the earliest time when the fact can make sense onwards
([fact: ["1156395@trueknowledge.com"]])
Fact 1
is true for
January 13th 2009 onwards
([fact: ["693508704@trueknowledge.com"]])
Fact 2:
Paris
is a
administrative area within a nation
([fact: ["1072014010@trueknowledge.com"]])
By calculation (generator: ["iaif1@trueknowledge.com"]) I know that:
Fact 2
is true for
September 21st 2001 onwards
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 2
is true at
February 14th 2012, 14:21:50
I know from locally stored knowledge that:
Fact 3:
Paris
is a
French department
([fact: ["43377228@trueknowledge.com"]])
Fact 3
is true for
September 21st 2001 onwards
([fact: ["43377233@trueknowledge.com"]])
By calculation (generator: ["parents_unknown@trueknowledge.com"]) I know that:
parents not statically known
applies to
French department
I know from locally stored knowledge that:
French department
is a subclass of
administrative area used within France
([fact: ["20067146@trueknowledge.com"]])
By calculation (generator: ["subclass4@trueknowledge.com"]) I know that:
French department
is a subclass of
administrative area within a nation
By calculation (generator: ["geographical_parents_unknown@trueknowledge.com"]) I know that:
geographical parents statically unknown
applies to
the Eiffel Tower
I know from locally stored knowledge that:
Fact 4:
Paris
is in
Île-de-France
([fact: ["43377312@trueknowledge.com"]])
Fact 4
is true for
the earliest time when the fact can make sense onwards
([fact: ["43377317@trueknowledge.com"]])
By calculation (generator: ["tpintersect@trueknowledge.com"]) I know that:
the beginning of time onwards
is the timeperiod intersection of
the earliest time when the fact can make sense onwards and the earliest time when the fact can make sense onwards
By calculation (generator: ["geographically_located_within5@trueknowledge.com"]) I know that:
Fact 5:
the Eiffel Tower
is in
Île-de-France
Fact 5
is true for
the beginning of time onwards
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 5
is true at
February 14th 2012, 14:21:50
By calculation (generator: ["geographically_located_within5@trueknowledge.com"]) I know that:
Fact 5
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 the earliest time when the fact can make sense onwards
I know from locally stored knowledge that:
Fact 6:
Île-de-France
is a
French Region
([fact: ["43374894@trueknowledge.com"]])
Fact 6
is true for
December 17th 1997 onwards
([fact: ["43374895@trueknowledge.com"]])
French Region
is a subclass of
administrative area within a nation
([fact: ["19590517@trueknowledge.com"]])
By calculation (generator: ["iaif1@trueknowledge.com"]) I know that:
Fact 7:
Île-de-France
is a
administrative area within a nation
Fact 7
is true for
December 17th 1997 onwards
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 7
is true at
February 14th 2012, 14:21:50
Adding…
