I know from locally stored knowledge that:
worked with
is a more general form of
is a colleague of
([fact: ["141388089@trueknowledge.com"]])
permanent
applies to
worked with
([fact: ["123973249@trueknowledge.com"]])
Albert Einstein
is a colleague of
Boris Podolsky
([fact: ["1315914266@trueknowledge.com"]])
By calculation (generator: ["moregeneral4@trueknowledge.com"]) I know that:
Fact 7:
Albert Einstein
worked with
Boris Podolsky
I know from locally stored knowledge that:
Fact 1:
Boris Podolsky
is a
person
([fact: ["17708726@trueknowledge.com"]])
By calculation (generator: ["permanent@trueknowledge.com"]) I know that:
Fact 1
is true for
all time
I know from locally stored knowledge that:
person
is a subclass of
entity that is capable of deliberate action
([fact: ["129969855@trueknowledge.com"]])
permanent
applies to
person
([fact: ["1131338@trueknowledge.com"]])
By calculation (generator: ["iaif1@trueknowledge.com"]) I know that:
Fact 2:
Boris Podolsky
is a
entity that is capable of deliberate action
Fact 2
is true for
all time
I know from locally stored knowledge that:
Albert Einstein
is a colleague of
Albert Horsley
([fact: ["1314936014@trueknowledge.com"]])
By calculation (generator: ["moregeneral4@trueknowledge.com"]) I know that:
Fact 7:
Albert Einstein
worked with
Albert Horsley
I know from locally stored knowledge that:
Fact 3:
Albert Horsley
is a
person
([fact: ["17645833@trueknowledge.com"]])
By calculation (generator: ["permanent@trueknowledge.com"]) I know that:
Fact 3
is true for
all time
By calculation (generator: ["iaif1@trueknowledge.com"]) I know that:
Fact 2:
Albert Horsley
is a
entity that is capable of deliberate action
Fact 2
is true for
all time
I know from locally stored knowledge that:
Albert Einstein
is a colleague of
Albert Chernenko
([fact: ["1314912426@trueknowledge.com"]])
By calculation (generator: ["moregeneral4@trueknowledge.com"]) I know that:
Fact 7:
Albert Einstein
worked with
Albert Chernenko
I know from locally stored knowledge that:
Fact 5:
Albert Chernenko
is a
person
([fact: ["17644628@trueknowledge.com"]])
By calculation (generator: ["permanent@trueknowledge.com"]) I know that:
Fact 5
is true for
all time
By calculation (generator: ["iaif1@trueknowledge.com"]) I know that:
Fact 2:
Albert Chernenko
is a
entity that is capable of deliberate action
Fact 2
is true for
all time
I know from locally stored knowledge that:
treat as symmetric
applies to
worked with
([fact: ["230646126@trueknowledge.com"]])
Satyendra Nath Bose
is a colleague of
Albert Einstein
([fact: ["157462305@trueknowledge.com"]])
By calculation (generator: ["moregeneral4@trueknowledge.com"]) I know that:
Fact 7:
Satyendra Nath Bose
worked with
Albert Einstein
By calculation (generator: ["perm5@trueknowledge.com"]) I know that:
Fact 7
is true for
all time
By calculation (generator: ["symmetric1@trueknowledge.com"]) I know that:
Fact 8:
Albert Einstein
worked with
Satyendra Nath Bose
Fact 8
is true for
all time
I know from locally stored knowledge that:
Fact 9:
Satyendra Nath Bose
is a
person
([fact: ["19326429@trueknowledge.com"]])
By calculation (generator: ["permanent@trueknowledge.com"]) I know that:
Fact 9
is true for
all time
By calculation (generator: ["iaif1@trueknowledge.com"]) I know that:
Fact 2:
Satyendra Nath Bose
is a
entity that is capable of deliberate action
Fact 2
is true for
all time
