By calculation (generator: ["now@trueknowledge.com"]) I know that:
The current time is May 23rd 2013, 12:58:18
I know from locally stored knowledge that:
is the male population of
is the population relation for the class
male person
([fact: ["992673066@trueknowledge.com"]])
Fact 1:
12,366,369
is the male population of
Texas
([fact: ["993490086@trueknowledge.com"]])
Fact 1
is true for
September 23rd 2010, 13:45:43 onwards
([fact: ["993490094@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 Texas (where X is an instance of male person)
is an extended fact pattern with order
12,366,369
Fact 2
is true for
September 23rd 2010, 13:45:43 onwards
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 2
is true at
May 23rd 2013, 12:58:18