I know from locally stored knowledge that:
Fact 1:
Robin Thicke
is married to
Paula Patton
([fact: ["371832355@trueknowledge.com"]])
By calculation (generator: ["symmetric1@trueknowledge.com"]) I know that:
Fact 1
is true for
June 11th 2005 onwards
I know from locally stored knowledge that:
Fact 1
is true for
2005 onwards
([fact: ["371832359@trueknowledge.com"]])
treat as symmetric
applies to
is married to
([fact: ["230645930@trueknowledge.com"]])
Fact 4:
Paula Patton
is married to
Robin Thicke
([fact: ["429376868@trueknowledge.com"]])
Fact 4
is true for
June 11th 2005 onwards
([fact: ["429376872@trueknowledge.com"]])
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 5:
Robin Thicke
is not married to
Paula Patton
([fact: ["677723580@trueknowledge.com"]])
Fact 5
is true for
the beginning of time - 2005
([fact: ["677723616@trueknowledge.com"]])
By calculation (generator: ["equals1@trueknowledge.com"]) I know that:
June 11th 2005
is the same as
2005
By calculation (generator: ["strictequal1@trueknowledge.com"]) I know that:
June 11th 2005 onwards
is strictly equal to
June 11th 2005 onwards
By calculation (generator: ["completetimeperiod2@trueknowledge.com"]) I know that:
the fact 371832355@trueknowledge.com
is true for the complete timeperiod
June 11th 2005 onwards
By calculation (generator: ["first_parameter@trueknowledge.com"]) I know that:
June 11th 2005
is the first parameter of
June 11th 2005 onwards
By calculation (generator: ["second_parameter@trueknowledge.com"]) I know that:
indefinitely after
is the second parameter of
June 11th 2005 onwards
By calculation (generator: ["strictequal1@trueknowledge.com"]) I know that:
indefinitely after
is strictly equal to
indefinitely after
By calculation (generator: ["now@trueknowledge.com"]) I know that:
The current time is July 28th 2014, 12:46:10
By calculation (generator: ["timepoint_difference@trueknowledge.com"]) I know that:
9 years, 1 month and 17 days
is the length of time between the timepoints
June 11th 2005 and July 28th 2014, 12:46:10
By calculation (generator: ["first_parameter@trueknowledge.com"]) I know that:
2005
is the first parameter of
2005 onwards
By calculation (generator: ["second_parameter@trueknowledge.com"]) I know that:
indefinitely after
is the second parameter of
2005 onwards
By calculation (generator: ["first_parameter@trueknowledge.com"]) I know that:
the beginning of time
is the first parameter of
the beginning of time - 2005
By calculation (generator: ["second_parameter@trueknowledge.com"]) I know that:
2005
is the second parameter of
the beginning of time - 2005
By calculation (generator: ["strictequal1@trueknowledge.com"]) I know that:
2005
is strictly equal to
2005
2005 onwards
is strictly equal to
2005 onwards
By calculation (generator: ["completetimeperiod3@trueknowledge.com"]) I know that:
the fact 371832355@trueknowledge.com
is true for the complete timeperiod
2005 onwards
By calculation (generator: ["timepoint_difference@trueknowledge.com"]) I know that:
between 8 years and 7 months and 9 years and 6 months
is the length of time between the timepoints
2005 and July 28th 2014, 12:46:10