By calculation (generator: ["now@trueknowledge.com"]) I know that:
The current time is May 23rd 2013, 14:19:45
I know from locally stored knowledge that:
Fact 1:
Alison
is a
first name
([fact: ["1067182670@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:
Alison
is a
name
Fact 2
is true for
all time
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 2
is true at
May 23rd 2013, 14:19:45
