By calculation (generator: ["now@trueknowledge.com"]) I know that:
The current time is May 23rd 2013, 19:27:27
I know from locally stored knowledge that:
Fact 1:
Washington, D.C.
is a
university city
([fact: ["1006194134@trueknowledge.com"]])
Fact 1
is true for
November 6th 2010, 22:52:09 onwards
([fact: ["1006194138@trueknowledge.com"]])
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 1
is true at
May 23rd 2013, 19:27:27
By calculation (generator: ["parents_unknown@trueknowledge.com"]) I know that:
parents not statically known
applies to
university city
I know from locally stored knowledge that:
university city
is a subclass of
university town
([fact: ["997727698@trueknowledge.com"]])
university town
is a subclass of
settlement
([fact: ["997727566@trueknowledge.com"]])
By calculation (generator: ["subclass4@trueknowledge.com"]) I know that:
university city
is a subclass of
settlement
I know from locally stored knowledge that:
Fact 2:
Washington, D.C.
is a
federal district of the USA
([fact: ["105761278@trueknowledge.com"]])
Fact 2
is true for
1790 onwards
([fact: ["105761281@trueknowledge.com"]])
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 2
is true at
May 23rd 2013, 19:27:27
I know from locally stored knowledge that:
federal district of the USA
is a subclass of
settlement
([fact: ["105761220@trueknowledge.com"]])
Fact 3:
Washington, D.C.
is a
city
([fact: ["1146253@trueknowledge.com"]])
Fact 3
is true for
2006 onwards
([fact: ["7620306@trueknowledge.com"]])
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 3
is true at
May 23rd 2013, 19:27:27
I know from locally stored knowledge that:
city
is a subclass of
settlement
([fact: ["1131543@trueknowledge.com"]])