By calculation (generator: ["now@trueknowledge.com"]) I know that:
The current time is February 10th 2012, 02:27:50
I know from locally stored knowledge that:
Fact 1:
Woking
is in
Surrey
([fact: ["6915622@trueknowledge.com"]])
Fact 1
is true for
February 5th 2010 onwards
([fact: ["689070392@trueknowledge.com"]])
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 1
is true at
February 10th 2012, 02:27:50
I know from locally stored knowledge that:
Fact 2:
Surrey
is a
county
([fact: ["134137309@trueknowledge.com"]])
By calculation (generator: ["iaif1@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
February 10th 2012, 02:27:50
I know from locally stored knowledge that:
Fact 3:
Surrey
is a
traditional English county
([fact: ["1166452@trueknowledge.com"]])
By calculation (generator: ["permanent@trueknowledge.com"]) I know that:
Fact 3
is true for
all time
I know from locally stored knowledge that:
traditional English county
is a subclass of
county
([fact: ["127562940@trueknowledge.com"]])
permanent
applies to
traditional English county
([fact: ["1134079@trueknowledge.com"]])
By calculation (generator: ["geographical_parents_unknown@trueknowledge.com"]) I know that:
geographical parents statically unknown
applies to
Woking
I know from locally stored knowledge that:
Fact 4:
Woking
is in
Woking
([fact: ["6915623@trueknowledge.com"]])
Fact 4
is true for
November 2006 onwards
([fact: ["6915624@trueknowledge.com"]])
Fact 5:
Woking
is in
Surrey
([fact: ["1165385@trueknowledge.com"]])
Fact 5
is true for
the earliest time when the fact can make sense onwards
([fact: ["1165386@trueknowledge.com"]])
By calculation (generator: ["tpintersect@trueknowledge.com"]) I know that:
November 2006 onwards
is the timeperiod intersection of
November 2006 onwards and the earliest time when the fact can make sense onwards
By calculation (generator: ["geographically_located_within5@trueknowledge.com"]) I know that:
Fact 6:
Woking
is in
Surrey
Fact 6
is true for
November 2006 onwards
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 6
is true at
February 10th 2012, 02:27:50
I know from locally stored knowledge that:
Fact 7:
Surrey
is a
English county
([fact: ["1162557@trueknowledge.com"]])
Fact 7
is true for
November 2006 onwards
([fact: ["1162558@trueknowledge.com"]])
English county
is a subclass of
county
([fact: ["1148604@trueknowledge.com"]])
By calculation (generator: ["iaif1@trueknowledge.com"]) I know that:
Fact 8:
Surrey
is a
county
Fact 8
is true for
November 2006 onwards
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 8
is true at
February 10th 2012, 02:27:50
Adding…
