By calculation (generator: ["now@trueknowledge.com"]) I know that:
The current time is May 24th 2013, 17:20:05
I know from locally stored knowledge that:
Fact 1:
Edward VII of the United Kingdom
is a parent of
George V of the United Kingdom
([fact: ["243558322@trueknowledge.com"]])
By calculation (generator: ["perm5@trueknowledge.com"]) I know that:
Fact 1
is true for
all time
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 1
is true at
May 24th 2013, 17:20:05
I know from locally stored knowledge that:
permanent
applies to
is a parent of
([fact: ["1132285@trueknowledge.com"]])
Fact 2:
Alexandra of Denmark
is a parent of
George V of the United Kingdom
([fact: ["360146279@trueknowledge.com"]])
By calculation (generator: ["perm5@trueknowledge.com"]) I know that:
Fact 2
is true for
all time
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 2
is true at
May 24th 2013, 17:20:05
I know from locally stored knowledge that:
George V of the United Kingdom
is a
person
([fact: ["1145705@trueknowledge.com"]])
Therefore (generator: ["strictequal1@trueknowledge.com"]):
Edward VII of the United Kingdom
is not strictly equal to
Alexandra of Denmark
I know from locally stored knowledge that:
Edward VII of the United Kingdom
is a parent of
Louise
([fact: ["243558342@trueknowledge.com"]])
Alexandra of Denmark
is a parent of
Louise
([fact: ["360146343@trueknowledge.com"]])
Therefore (generator: ["strictequal1@trueknowledge.com"]):
George V of the United Kingdom
is not strictly equal to
Louise
By calculation (generator: ["fullsibling1@trueknowledge.com"]) I know that:
Fact 3:
George V of the United Kingdom
is a full sibling of
Louise
Fact 3
is true for
all time
I know from locally stored knowledge that:
Edward VII
is a parent of
Louise
([fact: ["2351229830@trueknowledge.com"]])
By calculation (generator: ["parent@trueknowledge.com"]) I know that:
Fact 4:
Edward VII
is a parent of
George V of the United Kingdom
By calculation (generator: ["perm5@trueknowledge.com"]) I know that:
Fact 4
is true for
all time
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 4
is true at
May 24th 2013, 17:20:05
