By calculation (generator: ["now@trueknowledge.com"]) I know that:
The current time is February 11th 2012, 20:43:17
I know from locally stored knowledge that:
Fact 1:
Rita
is a
first name
([fact: ["1068424610@trueknowledge.com"]])
By calculation (generator: ["pinstance@trueknowledge.com"]) I know that:
Fact 1
is true for
all time
I know from locally stored knowledge that:
first name
is a subclass of
name
([fact: ["1804289574@trueknowledge.com"]])
By calculation (generator: ["iaif1@trueknowledge.com"]) I know that:
Fact 2:
Rita
is a
name
Fact 2
is true for
all time
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 2
is true at
February 11th 2012, 20:43:17
Adding…
