By calculation (generator: ["now@trueknowledge.com"]) I know that:
The current time is February 13th 2012, 13:04:29
By calculation (generator: ["strictequal1@trueknowledge.com"]) I know that:
green pen
is strictly equal to
green pen
By calculation (generator: ["unspecified1@trueknowledge.com"]) I know that:
Fact 1:
a green pen
is a
green pen
Fact 1
is true for
the beginning of time onwards
By calculation (generator: ["strictequal1@trueknowledge.com"]) I know that:
green
is strictly equal to
green
By calculation (generator: ["ppac2@trueknowledge.com"]) I know that:
green
is true of every
green pen
By calculation (generator: ["trueofevery2@trueknowledge.com"]) I know that:
Fact 2:
green
applies to
a green pen
Fact 2
is true for
the beginning of time onwards
I know from locally stored knowledge that:
green
is a
colour
([fact: ["1143278@trueknowledge.com"]])
By calculation (generator: ["colour_attrib_to_relation@trueknowledge.com"]) I know that:
Fact 3:
green
is the color of
a green pen
Fact 3
is true for
the beginning of time onwards
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 3
is true at
February 13th 2012, 13:04:29
Adding…
