By calculation (generator: ["now@trueknowledge.com"]) I know that:
The current time is May 24th 2013, 00:29:28
By calculation (generator: ["strictequal1@trueknowledge.com"]) I know that:
red automobile
is strictly equal to
red automobile
By calculation (generator: ["unspecified1@trueknowledge.com"]) I know that:
Fact 1:
a red automobile
is a
red automobile
Fact 1
is true for
the beginning of time onwards
By calculation (generator: ["strictequal1@trueknowledge.com"]) I know that:
red
is strictly equal to
red
By calculation (generator: ["ppac2@trueknowledge.com"]) I know that:
red
is true of every
red automobile
By calculation (generator: ["trueofevery2@trueknowledge.com"]) I know that:
Fact 2:
red
applies to
a red automobile
Fact 2
is true for
the beginning of time onwards
I know from locally stored knowledge that:
red
is a
colour
([fact: ["1158121@trueknowledge.com"]])
By calculation (generator: ["colour_attrib_to_relation@trueknowledge.com"]) I know that:
Fact 3:
red
is the color of
a red automobile
Fact 3
is true for
the beginning of time onwards
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 3
is true at
May 24th 2013, 00:29:28
