By calculation (generator: ["now@trueknowledge.com"]) I know that:
The current time is February 12th 2012, 12:55:38
I know from locally stored knowledge that:
odd number
is specified by
number and odd
([fact: ["993483206@trueknowledge.com"]])
By calculation (generator: ["instance_number@trueknowledge.com"]) I know that:
Fact 1:
45
is a
number
By calculation (generator: ["permanent@trueknowledge.com"]) I know that:
Fact 1
is true for
all time
I know from locally stored knowledge that:
permanent
applies to
number
([fact: ["1133963@trueknowledge.com"]])
By calculation (generator: ["remainder_after_division@trueknowledge.com"]) I know that:
1
is the remainder after the division of
45 and 2
By calculation (generator: ["strictequal1@trueknowledge.com"]) I know that:
1
is strictly equal to
1
By calculation (generator: ["number_is_odd@trueknowledge.com"]) I know that:
Fact 2:
odd
applies to
45
Fact 2
is true for
all time
By calculation (generator: ["tpintersect@trueknowledge.com"]) I know that:
all time
is the timeperiod intersection of
all time and all time
By calculation (generator: ["instancespecifiedby@trueknowledge.com"]) I know that:
Fact 3:
45
is a
odd number
Fact 3
is true for
all time
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 3
is true at
February 12th 2012, 12:55:38
Adding…
