By calculation (generator: ["now@trueknowledge.com"]) I know that:
The current time is June 19th 2013, 07:59:34
I know from locally stored knowledge that:
Thomas Lincoln
is a parent of
Abraham Lincoln
([fact: ["1148245@trueknowledge.com"]])
male
applies to
Thomas Lincoln
([fact: ["1148244@trueknowledge.com"]])
By calculation (generator: ["father1@trueknowledge.com"]) I know that:
Fact 1:
Thomas Lincoln
is the father of
Abraham Lincoln
Fact 1
is true for
all time
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 1
is true at
June 19th 2013, 07:59:34
I know from locally stored knowledge that:
die
is the intransitive action relating to
dead
([fact: ["131036630@trueknowledge.com"]])
By calculation (generator: ["dead@trueknowledge.com"]) I know that:
Fact 2:
dead
applies to
Thomas Lincoln
Fact 2
is true for
January 1851 onwards
Fact 2
is true for
January 17th 1851 onwards
I know from locally stored knowledge that:
alive
is a mutually exclusive attribute of
dead
([fact: ["1148729@trueknowledge.com"]])
January 6th 1778
is the birthdate of
Thomas Lincoln
([fact: ["1148243@trueknowledge.com"]])
By calculation (generator: ["alive4@trueknowledge.com"]) I know that:
Fact 3:
alive
applies to
Thomas Lincoln
Fact 3
is true at
January 6th 1778
By calculation (generator: ["alive@trueknowledge.com"]) I know that:
Fact 3
is true for
January 6th 1778 - January 17th 1851
Fact 3
is true for
January 6th 1778 - January 1851
I know from locally stored knowledge that:
January 17th 1851
is the date of death of
Thomas Lincoln
([fact: ["247883702@trueknowledge.com"]])
Therefore (generator: ["not_applies_to@trueknowledge.com"]):
Fact 4:
dead
not applies to
Thomas Lincoln
By calculation (generator: ["not_applies_to@trueknowledge.com"]) I know that:
Fact 4
is true for
January 6th 1778 - January 17th 1851
Fact 4
is true for
January 6th 1778 - January 1851
By calculation (generator: ["first_parameter@trueknowledge.com"]) I know that:
January 1851
is the first parameter of
January 1851 onwards
By calculation (generator: ["second_parameter@trueknowledge.com"]) I know that:
January 1851
is the second parameter of
January 6th 1778 - January 1851
By calculation (generator: ["strictequal1@trueknowledge.com"]) I know that:
January 1851
is strictly equal to
January 1851
By calculation (generator: ["did_intrans_from_complete_att@trueknowledge.com"]) I know that:
Fact 5:
Thomas Lincoln
is something which did the intransitive action
die
I know from locally stored knowledge that:
Fact 5
is an action which happened on
January 17th 1851
([fact: ["inferred$fact$$[$generated.887472494@trueknowledge.com$]$happened$on$timepoint$$[$1851/1/17$]$@trueknowledge.com"]])
Facts
Show facts
