By calculation (generator: ["now@trueknowledge.com"]) I know that:
The current time is February 14th 2012, 04:02:41
By calculation (generator: ["geographical_parents_unknown@trueknowledge.com"]) I know that:
geographical parents statically unknown
applies to
Virginia Tech
I know from locally stored knowledge that:
Fact 1:
Virginia Tech
is in
Blacksburg, Virginia
([fact: ["236574255@trueknowledge.com"]])
Fact 1
is true for
October 22nd 2006 onwards
([fact: ["403772847@trueknowledge.com"]])
Fact 1
is true for
February 11th 2010 onwards
([fact: ["681154000@trueknowledge.com"]])
Fact 2:
Blacksburg, Virginia
is in
Montgomery County, VA
([fact: ["10846384@trueknowledge.com"]])
Fact 2
is true for
December 1st 2006 onwards
([fact: ["403772883@trueknowledge.com"]])
By calculation (generator: ["tpintersect@trueknowledge.com"]) I know that:
December 1st 2006 onwards
is the timeperiod intersection of
October 22nd 2006 onwards and December 1st 2006 onwards
By calculation (generator: ["geographically_located_within5@trueknowledge.com"]) I know that:
Fact 3:
Virginia Tech
is in
Montgomery County, VA
Fact 3
is true for
December 1st 2006 onwards
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 3
is true at
February 14th 2012, 04:02:41
By calculation (generator: ["geographically_located_within5@trueknowledge.com"]) I know that:
Fact 3
is true for
February 11th 2010 onwards
I know from locally stored knowledge that:
Fact 4:
Montgomery County, VA
is a
county
([fact: ["138847112@trueknowledge.com"]])
By calculation (generator: ["permanent@trueknowledge.com"]) I know that:
Fact 4
is true for
all time
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 4
is true at
February 14th 2012, 04:02:41
I know from locally stored knowledge that:
permanent
applies to
county
([fact: ["127584851@trueknowledge.com"]])
By calculation (generator: ["tpintersect@trueknowledge.com"]) I know that:
February 11th 2010 onwards
is the timeperiod intersection of
February 11th 2010 onwards and December 1st 2006 onwards
Adding…
