By calculation (generator: ["now@trueknowledge.com"]) I know that:
The current time is February 13th 2012, 04:16:16
I know from locally stored knowledge that:
Fact 1:
Barack Obama
is living in
Washington, D.C.
([fact: ["368260991@trueknowledge.com"]])
Fact 1
is true for
June 24th 2009, 13:55 onwards
([fact: ["1132319214@trueknowledge.com"]])
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 1
is true at
February 13th 2012, 04:16:16
I know from locally stored knowledge that:
Washington, D.C.
is a
settlement
([fact: ["7620260@trueknowledge.com"]])
appropriate to appear in location descriptions
is true of every
settlement
([fact: ["234471986@trueknowledge.com"]])
Washington, D.C.
is a
city
([fact: ["1146253@trueknowledge.com"]])
Washington, D.C.
is a
town or city
([fact: ["426064384@trueknowledge.com"]])
Washington, D.C.
is a
federal district of the USA
([fact: ["105761278@trueknowledge.com"]])
By calculation (generator: ["should_appear_in_location@trueknowledge.com"]) I know that:
appropriate to appear in location descriptions
applies to
Washington, D.C.
I know from locally stored knowledge that:
Fact 2:
Barack Obama
is living in
Jakarta
([fact: ["368260967@trueknowledge.com"]])
Fact 2
is true for
June 24th 2009, 13:54 onwards
([fact: ["1132318826@trueknowledge.com"]])
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 2
is true at
February 13th 2012, 04:16:16
I know from locally stored knowledge that:
Jakarta
is a
settlement
([fact: ["7085243@trueknowledge.com"]])
Jakarta
is a
city
([fact: ["1157126@trueknowledge.com"]])
Jakarta
is a
town or city
([fact: ["152650485@trueknowledge.com"]])
By calculation (generator: ["should_appear_in_location@trueknowledge.com"]) I know that:
appropriate to appear in location descriptions
applies to
Jakarta
I know from locally stored knowledge that:
Fact 3:
Barack Obama
is living in
Honolulu, Hawaii
([fact: ["368260971@trueknowledge.com"]])
Fact 3
is true for
June 24th 2009, 13:54 onwards
([fact: ["1132318962@trueknowledge.com"]])
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 3
is true at
February 13th 2012, 04:16:16
I know from locally stored knowledge that:
Honolulu, Hawaii
is a
settlement
([fact: ["13496172@trueknowledge.com"]])
Honolulu, Hawaii
is a
city
([fact: ["966692958@trueknowledge.com"]])
Honolulu, Hawaii
is a
town or city
([fact: ["161941813@trueknowledge.com"]])
Honolulu, Hawaii
is a
US state capital
([fact: ["105700946@trueknowledge.com"]])
By calculation (generator: ["should_appear_in_location@trueknowledge.com"]) I know that:
appropriate to appear in location descriptions
applies to
Honolulu, Hawaii
I know from locally stored knowledge that:
Fact 4:
Barack Obama
is living in
the White House
([fact: ["367626635@trueknowledge.com"]])
Fact 4
is true for
January 20th 2009 onwards
([fact: ["367626675@trueknowledge.com"]])
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 4
is true at
February 13th 2012, 04:16:16
I know from locally stored knowledge that:
the White House
is a
building or building complex
([fact: ["16345698@trueknowledge.com"]])
appropriate to appear in location descriptions
is true of every
building or building complex
([fact: ["647841636@trueknowledge.com"]])
the White House
is a
palace
([fact: ["1492978162@trueknowledge.com"]])
the White House
is a
residence
([fact: ["997333282@trueknowledge.com"]])
the White House
is a
museum
([fact: ["684521876@trueknowledge.com"]])
the White House
is a
house
([fact: ["647777116@trueknowledge.com"]])
the White House
is a
private residence
([fact: ["135949621@trueknowledge.com"]])
the White House
is a
official residence
([fact: ["123917901@trueknowledge.com"]])
By calculation (generator: ["should_appear_in_location@trueknowledge.com"]) I know that:
appropriate to appear in location descriptions
applies to
the White House
I know from locally stored knowledge that:
Fact 5:
Washington, D.C.
is in
North America
([fact: ["647886576@trueknowledge.com"]])
Fact 5
is true for
January 13th 2009 onwards
([fact: ["647886580@trueknowledge.com"]])
By calculation (generator: ["tpintersect@trueknowledge.com"]) I know that:
June 24th 2009, 13:55 onwards
is the timeperiod intersection of
June 24th 2009, 13:55 onwards and January 13th 2009 onwards
By calculation (generator: ["residence@trueknowledge.com"]) I know that:
Fact 6:
Barack Obama
is living in
North America
Fact 6
is true for
June 24th 2009, 13:55 onwards
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 6
is true at
February 13th 2012, 04:16:16
I know from locally stored knowledge that:
appropriate to appear in location descriptions
applies to
North America
([fact: ["234465274@trueknowledge.com"]])
Fact 7:
Jakarta
is in
Indonesia
([fact: ["57720700@trueknowledge.com"]])
Fact 7
is true for
December 1st 2004 onwards
([fact: ["57721452@trueknowledge.com"]])
By calculation (generator: ["tpintersect@trueknowledge.com"]) I know that:
June 24th 2009, 13:54 onwards
is the timeperiod intersection of
June 24th 2009, 13:54 onwards and December 1st 2004 onwards
By calculation (generator: ["residence@trueknowledge.com"]) I know that:
Fact 6:
Barack Obama
is living in
Indonesia
Fact 6
is true for
June 24th 2009, 13:54 onwards
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 6
is true at
February 13th 2012, 04:16:16
I know from locally stored knowledge that:
appropriate to appear in location descriptions
applies to
Indonesia
([fact: ["363496503@trueknowledge.com"]])
By calculation (generator: ["tpintersect@trueknowledge.com"]) I know that:
June 24th 2009, 13:54 onwards
is the timeperiod intersection of
June 24th 2009, 13:54 onwards and the beginning of time onwards
By calculation (generator: ["residence@trueknowledge.com"]) I know that:
Fact 6:
Barack Obama
is living in
Asia
Fact 6
is true for
June 24th 2009, 13:54 onwards
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 6
is true at
February 13th 2012, 04:16:16
I know from locally stored knowledge that:
appropriate to appear in location descriptions
applies to
Asia
([fact: ["234465314@trueknowledge.com"]])
Fact 10:
Honolulu, Hawaii
is in
the United States
([fact: ["161941877@trueknowledge.com"]])
Fact 10
is true for
April 16th 2011 onwards
([fact: ["1720669134@trueknowledge.com"]])
Fact 10
is true for
September 24th 2008 onwards
([fact: ["161941881@trueknowledge.com"]])
By calculation (generator: ["tpintersect@trueknowledge.com"]) I know that:
April 16th 2011 onwards
is the timeperiod intersection of
June 24th 2009, 13:54 onwards and April 16th 2011 onwards
By calculation (generator: ["residence@trueknowledge.com"]) I know that:
Fact 6:
Barack Obama
is living in
the United States
Fact 6
is true for
April 16th 2011 onwards
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 6
is true at
February 13th 2012, 04:16:16
By calculation (generator: ["residence@trueknowledge.com"]) I know that:
Fact 6
is true for
June 24th 2009, 13:54 onwards
I know from locally stored knowledge that:
appropriate to appear in location descriptions
applies to
the United States
([fact: ["363496263@trueknowledge.com"]])
By calculation (generator: ["tpintersect@trueknowledge.com"]) I know that:
June 24th 2009, 13:54 onwards
is the timeperiod intersection of
June 24th 2009, 13:54 onwards and September 24th 2008 onwards
I know from locally stored knowledge that:
Fact 12:
Honolulu, Hawaii
is in
Hawaii
([fact: ["137152564@trueknowledge.com"]])
Fact 12
is true for
April 16th 2011 onwards
([fact: ["1720669130@trueknowledge.com"]])
Fact 12
is true for
September 24th 2008 onwards
([fact: ["161941965@trueknowledge.com"]])
By calculation (generator: ["residence@trueknowledge.com"]) I know that:
Fact 6:
Barack Obama
is living in
Hawaii
Fact 6
is true for
April 16th 2011 onwards
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 6
is true at
February 13th 2012, 04:16:16
By calculation (generator: ["residence@trueknowledge.com"]) I know that:
Fact 6
is true for
June 24th 2009, 13:54 onwards
I know from locally stored knowledge that:
appropriate to appear in location descriptions
applies to
Hawaii
([fact: ["363497103@trueknowledge.com"]])
Adding…
