I know from locally stored knowledge that:
is the manager of
is a more general form of
is the party leader of
([fact: ["741778732@trueknowledge.com"]])
Fact 1:
Harold Wilson
is the party leader of
the UK Labour Party
([fact: ["741867392@trueknowledge.com"]])
Fact 1
is true for
February 14th 1963 - April 5th 1976
([fact: ["2503274162@trueknowledge.com"]])
Fact 1
is true for
February 14th 1963 - April 5th 1976
([fact: ["741867416@trueknowledge.com"]])
By calculation (generator: ["moregeneral1@trueknowledge.com"]) I know that:
Fact 2:
Harold Wilson
is the manager of
the UK Labour Party
Fact 2
is true for
February 14th 1963 - April 5th 1976
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 2
is true at
1975
By calculation (generator: ["moregeneral1@trueknowledge.com"]) I know that:
Fact 2
is true for
February 14th 1963 - April 5th 1976
I know from locally stored knowledge that:
Fact 3:
John Smith
is the party leader of
the UK Labour Party
([fact: ["741867600@trueknowledge.com"]])
Fact 3
is true for
July 18th 1922 - May 12th 1994
([fact: ["741867624@trueknowledge.com"]])
By calculation (generator: ["moregeneral1@trueknowledge.com"]) I know that:
Fact 2:
John Smith
is the manager of
the UK Labour Party
Fact 2
is true for
July 18th 1922 - May 12th 1994
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 2
is true at
1975
I know from locally stored knowledge that:
Fact 5:
Brendan Corish
is the party leader of
the UK Labour Party
([fact: ["2495472382@trueknowledge.com"]])
Fact 5
is true for
March 2nd 1960 - June 26th 1977
([fact: ["2495472386@trueknowledge.com"]])
By calculation (generator: ["moregeneral1@trueknowledge.com"]) I know that:
Fact 2:
Brendan Corish
is the manager of
the UK Labour Party
Fact 2
is true for
March 2nd 1960 - June 26th 1977
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 2
is true at
1975
