By calculation (generator: ["now@trueknowledge.com"]) I know that:
The current time is February 12th 2012, 02:25:42
I know from locally stored knowledge that:
Fact 1:
a can
is not capable of the action
can-can
([fact: ["1163417304@trueknowledge.com"]])
By calculation (generator: ["capable1@trueknowledge.com"]) I know that:
Fact 1
is true for
the beginning of time onwards
By calculation (generator: ["timeperiodtotimepoint2@trueknowledge.com"]) I know that:
Fact 1
is true for all of timepoint
February 12th 2012, 02:25:42
I know from locally stored knowledge that:
can-can
is a more specific form of the action
dance
([fact: ["123885283@trueknowledge.com"]])
Fact 2:
a can
is not capable of the action
dance
([fact: ["1318612378@trueknowledge.com"]])
By calculation (generator: ["capable1@trueknowledge.com"]) I know that:
Fact 2
is true for
the beginning of time onwards
I know from locally stored knowledge that:
dance
is a more specific form of the action
move
([fact: ["123885292@trueknowledge.com"]])
Fact 3:
a can
is not capable of the action
move
([fact: ["690085336@trueknowledge.com"]])
By calculation (generator: ["capableof4@trueknowledge.com"]) I know that:
Fact 3
is true for
the beginning of time onwards
By calculation (generator: ["strictequal1@trueknowledge.com"]) I know that:
can
is strictly equal to
can
By calculation (generator: ["unspecified1@trueknowledge.com"]) I know that:
Fact 4:
a can
is a
can
Fact 4
is true for
the beginning of time onwards
I know from locally stored knowledge that:
capable of movement
is untrue of every
can
([fact: ["123885301@trueknowledge.com"]])
Therefore (generator: ["untrueofevery1@trueknowledge.com"]):
Fact 5:
capable of movement
not applies to
a can
By calculation (generator: ["untrueofevery1@trueknowledge.com"]) I know that:
Fact 5
is true for
the beginning of time onwards
Adding…
