I know from locally stored knowledge that:
Fact 1:
Barack Obama
is the president of
the United States
([fact: ["148101818@trueknowledge.com"]])
Fact 1
is true for
January 20th 2009, 17:01 onwards
([fact: ["163567798@trueknowledge.com"]])
By calculation (generator: ["first_parameter@trueknowledge.com"]) I know that:
January 20th 2009, 17:01
is the first parameter of
January 20th 2009, 17:01 onwards
By calculation (generator: ["second_parameter@trueknowledge.com"]) I know that:
indefinitely after
is the second parameter of
January 20th 2009, 17:01 onwards
By calculation (generator: ["in_group@trueknowledge.com"]) I know that:
indefinitely after
is in the group
indefinitely after and the end of time
I know from locally stored knowledge that:
Fact 3:
Barack Obama
is not the president of
the United States
([fact: ["148101826@trueknowledge.com"]])
Fact 3
is true for
the beginning of time - January 20th 2009, 17:01
([fact: ["163567802@trueknowledge.com"]])
By calculation (generator: ["first_parameter@trueknowledge.com"]) I know that:
the beginning of time
is the first parameter of
the beginning of time - January 20th 2009, 17:01
By calculation (generator: ["second_parameter@trueknowledge.com"]) I know that:
January 20th 2009, 17:01
is the second parameter of
the beginning of time - January 20th 2009, 17:01
By calculation (generator: ["strictequal1@trueknowledge.com"]) I know that:
January 20th 2009, 17:01
is strictly equal to
January 20th 2009, 17:01
January 20th 2009, 17:01 onwards
is strictly equal to
January 20th 2009, 17:01 onwards
By calculation (generator: ["completetimeperiod3@trueknowledge.com"]) I know that:
the fact 148101818@trueknowledge.com
is true for the complete timeperiod
January 20th 2009, 17:01 onwards