By calculation (generator: ["now@trueknowledge.com"]) I know that:

The current time is April 19th 2014, 04:27:15

I know from locally stored knowledge that:

Mike Tyson
commonly translates as
"Mike Tyson"
([fact: ["18376568@trueknowledge.com"]])

male
is a
gender
([fact: ["1145083@trueknowledge.com"]])

male
applies to
Mike Tyson
([fact: ["19658127@trueknowledge.com"]])

By calculation (generator: ["gender@trueknowledge.com"]) I know that:

male
is the gender of
Mike Tyson

I know from locally stored knowledge that:

Fact 1:
5 feet and 11.5 inches
is the height of
Mike Tyson
([fact: ["146915621@trueknowledge.com"]])

Fact 1
is true for
February 8th 2010 onwards
([fact: ["677530988@trueknowledge.com"]])

By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:

Fact 1
is true at
April 19th 2014, 04:27:15

I know from locally stored knowledge that:

Fact 2:
5 feet and 11 inches
is the height of
Mike Tyson
([fact: ["645820108@trueknowledge.com"]])

Fact 2
is true for
November 5th 2009 onwards
([fact: ["645820112@trueknowledge.com"]])

By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:

Fact 2
is true at
April 19th 2014, 04:27:15

By calculation (generator: ["pinstance@trueknowledge.com"]) I know that:

Fact 3:
5 feet and 11.5 inches
is a
length

Fact 3
is true for
all time

I know from locally stored knowledge that:

length
is a subclass of
scalar quantity
([fact: ["1156546@trueknowledge.com"]])

By calculation (generator: ["scalar_quantity_translate1@trueknowledge.com"]) I know that:

5 feet and 11.5 inches
commonly translates as
"5 feet and 11.5 inches"

5 feet and 11.5 inches
uniquely translates as
"the length 5 feet and 11.5 inches"

5 feet and 11.5 inches
uniquely translates as
"the height 5 feet and 11.5 inches"

By calculation (generator: ["vital_statistics_description@trueknowledge.com"]) I know that:

Fact 4:
Mike Tyson is 5 feet and 11.5 inches tall.
is the vital statistics description of
Mike Tyson

By calculation (generator: ["truenow1@trueknowledge.com"]) I know that:

Fact 4
is true at
April 19th 2014, 04:27:15

I know from locally stored knowledge that:

true now
applies to
is the vital statistics description of
([fact: ["647966152@trueknowledge.com"]])

By calculation (generator: ["pinstance@trueknowledge.com"]) I know that:

Fact 3:
Mike Tyson is 5 feet and 11.5 inches tall.
is a
answerlet

Fact 3
is true for
all time

Therefore (generator: ["strictequal1@trueknowledge.com"]):

answerlet
is not strictly equal to
unspecified member