I know from locally stored knowledge that:
Fact 1:
Andrew Johnson
is the president of
the United States
([fact: ["1148203@trueknowledge.com"]])
Fact 1
is true for
April 15th 1865 - March 3rd 1869
([fact: ["1148204@trueknowledge.com"]])
Fact 3:
Andrew Johnson
is not the president of
the United States
([fact: ["1148205@trueknowledge.com"]])
Fact 3
is true for
the beginning of time - April 15th 1865
([fact: ["1148206@trueknowledge.com"]])
Fact 3
is true for
March 3rd 1869 onwards
([fact: ["1148207@trueknowledge.com"]])
By calculation (generator: ["strictequal1@trueknowledge.com"]) I know that:
the fact 1148205@trueknowledge.com
is strictly equal to
the fact 1148205@trueknowledge.com
April 15th 1865
is strictly equal to
April 15th 1865
March 3rd 1869
is strictly equal to
March 3rd 1869
April 15th 1865 - March 3rd 1869
is strictly equal to
April 15th 1865 - March 3rd 1869
By calculation (generator: ["completetimperiod5@trueknowledge.com"]) I know that:
the fact 1148203@trueknowledge.com
is true for the complete timeperiod
April 15th 1865 - March 3rd 1869