By calculation (generator: ["now@trueknowledge.com"]) I know that:
The current time is May 18th 2013, 11:23:59
I know from locally stored knowledge that:
Fact 1:
Seoul
is the birthplace of
Seung-Hui Cho
([fact: ["233865407@trueknowledge.com"]])
By calculation (generator: ["perm5@trueknowledge.com"]) I know that:
Fact 1
is true for
all time
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 1
is true at
May 18th 2013, 11:23:59
I know from locally stored knowledge that:
permanent
applies to
is the birthplace of
([fact: ["1145863@trueknowledge.com"]])
Seoul
is a
settlement
([fact: ["68844788@trueknowledge.com"]])
appropriate to appear in location descriptions
is true of every
settlement
([fact: ["234471986@trueknowledge.com"]])
Seoul
is a
city
([fact: ["68844786@trueknowledge.com"]])
Seoul
is a
town or city
([fact: ["149481369@trueknowledge.com"]])
By calculation (generator: ["should_appear_in_location@trueknowledge.com"]) I know that:
appropriate to appear in location descriptions
applies to
Seoul
I know from locally stored knowledge that:
Fact 2:
South Korea
is the birthplace of
Seung-Hui Cho
([fact: ["376850699@trueknowledge.com"]])
By calculation (generator: ["perm5@trueknowledge.com"]) I know that:
Fact 2
is true for
all time
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 2
is true at
May 18th 2013, 11:23:59
I know from locally stored knowledge that:
appropriate to appear in location descriptions
applies to
South Korea
([fact: ["363496911@trueknowledge.com"]])
east Asia
is a
country
([fact: ["1497797582@trueknowledge.com"]])
appropriate to appear in location descriptions
is true of every
country
([fact: ["232614978@trueknowledge.com"]])
By calculation (generator: ["should_appear_in_location@trueknowledge.com"]) I know that:
appropriate to appear in location descriptions
applies to
east Asia
I know from locally stored knowledge that:
appropriate to appear in location descriptions
applies to
Asia
([fact: ["234465314@trueknowledge.com"]])
