By calculation (generator: ["now@trueknowledge.com"]) I know that:
The current time is June 19th 2013, 03:00:36
I know from locally stored knowledge that:
Kwak Ji-min
is a star of
Samaritan Girl
([fact: ["133157505@trueknowledge.com"]])
female
applies to
Kwak Ji-min
([fact: ["427562752@trueknowledge.com"]])
By calculation (generator: ["actress_in@trueknowledge.com"]) I know that:
Fact 1:
Kwak Ji-min
is the actress in
Samaritan Girl
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
June 19th 2013, 03:00:36
I know from locally stored knowledge that:
permanent
applies to
is the actress in
([fact: ["644002120@trueknowledge.com"]])
Kwak Ji-min
is a
person
([fact: ["19272146@trueknowledge.com"]])
Therefore (generator: ["strictequal1@trueknowledge.com"]):
person
is not strictly equal to
unspecified member
I know from locally stored knowledge that:
Han Yeo-reum
is a star of
Samaritan Girl
([fact: ["148462337@trueknowledge.com"]])
female
applies to
Han Yeo-reum
([fact: ["136847036@trueknowledge.com"]])
By calculation (generator: ["actress_in@trueknowledge.com"]) I know that:
Fact 1:
Han Yeo-reum
is the actress in
Samaritan Girl
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
June 19th 2013, 03:00:36
I know from locally stored knowledge that:
Han Yeo-reum
is a
person
([fact: ["136847038@trueknowledge.com"]])
