I know from locally stored knowledge that:
the 21st of October
is the birthday of
Andy Marté
([fact: ["generated.866353004@trueknowledge.com"]])
permanent
applies to
is the birthday of
([fact: ["1152640@trueknowledge.com"]])
By calculation (generator: ["tpintersect@trueknowledge.com"]) I know that:
all time
is the timeperiod intersection of
all time and all time
By calculation (generator: ["same_left_value@trueknowledge.com"]) I know that:
Fact 1:
Andy Marté
is something with the same left value for the relation as
is the birthday of and Mike Tully
Fact 1
is true for
all time
Therefore (generator: ["equals1@trueknowledge.com"]):
Andy Marté
is not the same as
Mike Tully
I know from locally stored knowledge that:
Fact 2:
Andy Marté
is a
first baseman
([fact: ["1021352222@trueknowledge.com"]])
Fact 2
is true for
November 22nd 2010 onwards
([fact: ["1021352226@trueknowledge.com"]])
first baseman
is a subclass of
athlete
([fact: ["1059177374@trueknowledge.com"]])
By calculation (generator: ["iaif1@trueknowledge.com"]) I know that:
Fact 3:
Andy Marté
is a
athlete
Fact 3
is true for
November 22nd 2010 onwards
By calculation (generator: ["same_left_value@trueknowledge.com"]) I know that:
Fact 1:
Antony Kay
is something with the same left value for the relation as
is the birthday of and Mike Tully
Fact 1
is true for
all time
Therefore (generator: ["equals1@trueknowledge.com"]):
Antony Kay
is not the same as
Mike Tully
I know from locally stored knowledge that:
Antony Kay
is a
athlete
([fact: ["1075345658@trueknowledge.com"]])
By calculation (generator: ["same_left_value@trueknowledge.com"]) I know that:
Fact 1:
Bill Curry
is something with the same left value for the relation as
is the birthday of and Mike Tully
Fact 1
is true for
all time
Therefore (generator: ["equals1@trueknowledge.com"]):
Bill Curry
is not the same as
Mike Tully
I know from locally stored knowledge that:
Fact 6:
Bill Curry
is a
lineman
([fact: ["420938667@trueknowledge.com"]])
By calculation (generator: ["permanent@trueknowledge.com"]) I know that:
Fact 6
is true for
all time
By calculation (generator: ["parents_unknown@trueknowledge.com"]) I know that:
parents not statically known
applies to
lineman
I know from locally stored knowledge that:
lineman
is a subclass of
American footballer
([fact: ["367499167@trueknowledge.com"]])
By calculation (generator: ["parents_unknown@trueknowledge.com"]) I know that:
parents not statically known
applies to
American footballer
I know from locally stored knowledge that:
American footballer
is a subclass of
gridiron football player
([fact: ["1030249430@trueknowledge.com"]])
gridiron football player
is a subclass of
athlete
([fact: ["1030247590@trueknowledge.com"]])
By calculation (generator: ["subclass4@trueknowledge.com"]) I know that:
American footballer
is a subclass of
athlete
lineman
is a subclass of
athlete
I know from locally stored knowledge that:
permanent
applies to
lineman
([fact: ["367499171@trueknowledge.com"]])
By calculation (generator: ["iaif1@trueknowledge.com"]) I know that:
Fact 3:
Bill Curry
is a
athlete
Fact 3
is true for
all time
By calculation (generator: ["same_left_value@trueknowledge.com"]) I know that:
Fact 1:
Brandon Chillar
is something with the same left value for the relation as
is the birthday of and Mike Tully
Fact 1
is true for
all time
Therefore (generator: ["equals1@trueknowledge.com"]):
Brandon Chillar
is not the same as
Mike Tully
I know from locally stored knowledge that:
Brandon Chillar
is a
athlete
([fact: ["1102725458@trueknowledge.com"]])
By calculation (generator: ["same_left_value@trueknowledge.com"]) I know that:
Fact 1:
Brent Hayden
is something with the same left value for the relation as
is the birthday of and Mike Tully
Fact 1
is true for
all time
Therefore (generator: ["equals1@trueknowledge.com"]):
Brent Hayden
is not the same as
Mike Tully
I know from locally stored knowledge that:
Brent Hayden
is a
athlete
([fact: ["150398305@trueknowledge.com"]])
By calculation (generator: ["same_left_value@trueknowledge.com"]) I know that:
Fact 1:
Carl Brewer
is something with the same left value for the relation as
is the birthday of and Mike Tully
Fact 1
is true for
all time
Therefore (generator: ["equals1@trueknowledge.com"]):
Carl Brewer
is not the same as
Mike Tully
I know from locally stored knowledge that:
Carl Brewer
is a
athlete
([fact: ["1134559042@trueknowledge.com"]])
By calculation (generator: ["same_left_value@trueknowledge.com"]) I know that:
Fact 1:
Corey Nakatani
is something with the same left value for the relation as
is the birthday of and Mike Tully
Fact 1
is true for
all time
Therefore (generator: ["equals1@trueknowledge.com"]):
Corey Nakatani
is not the same as
Mike Tully
I know from locally stored knowledge that:
Corey Nakatani
is a
athlete
([fact: ["144988081@trueknowledge.com"]])
By calculation (generator: ["same_left_value@trueknowledge.com"]) I know that:
Fact 1:
Cornell Glen
is something with the same left value for the relation as
is the birthday of and Mike Tully
Fact 1
is true for
all time
Therefore (generator: ["equals1@trueknowledge.com"]):
Cornell Glen
is not the same as
Mike Tully
I know from locally stored knowledge that:
Cornell Glen
is a
athlete
([fact: ["1139076890@trueknowledge.com"]])
By calculation (generator: ["same_left_value@trueknowledge.com"]) I know that:
Fact 1:
Everette Stephens
is something with the same left value for the relation as
is the birthday of and Mike Tully
Fact 1
is true for
all time
Therefore (generator: ["equals1@trueknowledge.com"]):
Everette Stephens
is not the same as
Mike Tully
I know from locally stored knowledge that:
Everette Stephens
is a
athlete
([fact: ["141776125@trueknowledge.com"]])
By calculation (generator: ["same_left_value@trueknowledge.com"]) I know that:
Fact 1:
Henrique Hilário
is something with the same left value for the relation as
is the birthday of and Mike Tully
Fact 1
is true for
all time
Therefore (generator: ["equals1@trueknowledge.com"]):
Henrique Hilário
is not the same as
Mike Tully
I know from locally stored knowledge that:
Fact 15:
Henrique Hilário
is a
soccer goalkeeper
([fact: ["132770776@trueknowledge.com"]])
Fact 15
is true for
May 24th 2008 onwards
([fact: ["132770777@trueknowledge.com"]])
soccer goalkeeper
is a subclass of
athlete
([fact: ["714540236@trueknowledge.com"]])
By calculation (generator: ["iaif1@trueknowledge.com"]) I know that:
Fact 3:
Henrique Hilário
is a
athlete
Fact 3
is true for
May 24th 2008 onwards
By calculation (generator: ["same_left_value@trueknowledge.com"]) I know that:
Fact 1:
Horace Hogan
is something with the same left value for the relation as
is the birthday of and Mike Tully
Fact 1
is true for
all time
Therefore (generator: ["equals1@trueknowledge.com"]):
Horace Hogan
is not the same as
Mike Tully
I know from locally stored knowledge that:
Horace Hogan
is a
athlete
([fact: ["1156294536@trueknowledge.com"]])
By calculation (generator: ["same_left_value@trueknowledge.com"]) I know that:
Fact 1:
Jimmy Windridge
is something with the same left value for the relation as
is the birthday of and Mike Tully
Fact 1
is true for
all time
Therefore (generator: ["equals1@trueknowledge.com"]):
Jimmy Windridge
is not the same as
Mike Tully
I know from locally stored knowledge that:
Jimmy Windridge
is a
athlete
([fact: ["142017769@trueknowledge.com"]])
By calculation (generator: ["same_left_value@trueknowledge.com"]) I know that:
Fact 1:
Johanne Bégin
is something with the same left value for the relation as
is the birthday of and Mike Tully
Fact 1
is true for
all time
Therefore (generator: ["equals1@trueknowledge.com"]):
Johanne Bégin
is not the same as
Mike Tully
I know from locally stored knowledge that:
Johanne Bégin
is a
athlete
([fact: ["150418081@trueknowledge.com"]])
By calculation (generator: ["same_left_value@trueknowledge.com"]) I know that:
Fact 1:
Kenny Cooper
is something with the same left value for the relation as
is the birthday of and Mike Tully
Fact 1
is true for
all time
Therefore (generator: ["equals1@trueknowledge.com"]):
Kenny Cooper
is not the same as
Mike Tully
I know from locally stored knowledge that:
Kenny Cooper
is a
athlete
([fact: ["1075462070@trueknowledge.com"]])