By calculation (generator: ["now@trueknowledge.com"]) I know that:
The current time is May 20th 2013, 22:40:00
I know from locally stored knowledge that:
is the female population of
is the population relation for the class
female person
([fact: ["992673062@trueknowledge.com"]])
Fact 1:
316,618
is the female population of
Washington, D.C.
([fact: ["993487914@trueknowledge.com"]])
Fact 1
is true for
September 23rd 2010, 13:42:25 onwards
([fact: ["993487930@trueknowledge.com"]])
By calculation (generator: ["class_population_to_fact_pattern@trueknowledge.com"]) I know that:
Fact 2:
facts of the form: X is living in Washington, D.C. (where X is an instance of female person)
is an extended fact pattern with order
316,618
Fact 2
is true for
September 23rd 2010, 13:42:25 onwards
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 2
is true at
May 20th 2013, 22:40:00