I know from locally stored knowledge that:
Fact 1:
Victoria Beckham
is married to
David Beckham
([fact: ["19602232@trueknowledge.com"]])
Fact 1
is true for
1999 onwards
([fact: ["2219556552@trueknowledge.com"]])
Fact 1
is true for
January 13th 2009 onwards
([fact: ["647913844@trueknowledge.com"]])
Fact 1
is true for
July 4th 1999 onwards
([fact: ["19602233@trueknowledge.com"]])
By calculation (generator: ["marriedtoeachother1@trueknowledge.com"]) I know that:
Fact 2:
married to each other
applies to
Victoria Beckham and David Beckham
Fact 2
is true for
1999 onwards
Fact 2
is true for
January 13th 2009 onwards
Fact 2
is true for
July 4th 1999 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:
Victoria Beckham
is not married to
David Beckham
([fact: ["19602234@trueknowledge.com"]])
Fact 3
is true for
the beginning of time - 1999
([fact: ["2219556564@trueknowledge.com"]])
Fact 3
is true for
the beginning of time - July 4th 1999
([fact: ["19602235@trueknowledge.com"]])
Therefore (generator: ["marriedtoeachother2@trueknowledge.com"]):
Fact 4:
married to each other
not applies to
Victoria Beckham and David Beckham
By calculation (generator: ["marriedtoeachother2@trueknowledge.com"]) I know that:
Fact 4
is true for
the beginning of time - 1999
Fact 4
is true for
the beginning of time - July 4th 1999
By calculation (generator: ["equals1@trueknowledge.com"]) I know that:
1999
is the same as
July 4th 1999
By calculation (generator: ["strictequal1@trueknowledge.com"]) I know that:
1999 onwards
is strictly equal to
1999 onwards
By calculation (generator: ["completetimeperiod2@trueknowledge.com"]) I know that:
the fact inferred$married$to$each$other$applies$to$group$$[victoria$beckham];$[david$beckham]$@trueknowledge.com
is true for the complete timeperiod
1999 onwards
By calculation (generator: ["first_parameter@trueknowledge.com"]) I know that:
1999
is the first parameter of
1999 onwards
By calculation (generator: ["second_parameter@trueknowledge.com"]) I know that:
indefinitely after
is the second parameter of
1999 onwards
By calculation (generator: ["now@trueknowledge.com"]) I know that:
The current time is May 18th 2013, 23:01:36
By calculation (generator: ["timepoint_difference@trueknowledge.com"]) I know that:
between 13 years and 5 months and 14 years and 4 months
is the length of time between the timepoints
1999 and May 18th 2013, 23:01:36
By calculation (generator: ["equals1@trueknowledge.com"]) I know that:
July 4th 1999
is the same as
1999
By calculation (generator: ["strictequal1@trueknowledge.com"]) I know that:
July 4th 1999 onwards
is strictly equal to
July 4th 1999 onwards
By calculation (generator: ["completetimeperiod2@trueknowledge.com"]) I know that:
the fact inferred$married$to$each$other$applies$to$group$$[victoria$beckham];$[david$beckham]$@trueknowledge.com
is true for the complete timeperiod
July 4th 1999 onwards
By calculation (generator: ["first_parameter@trueknowledge.com"]) I know that:
July 4th 1999
is the first parameter of
July 4th 1999 onwards
By calculation (generator: ["second_parameter@trueknowledge.com"]) I know that:
indefinitely after
is the second parameter of
July 4th 1999 onwards
By calculation (generator: ["timepoint_difference@trueknowledge.com"]) I know that:
13 years, 10 months and 14 days
is the length of time between the timepoints
July 4th 1999 and May 18th 2013, 23:01:36
Facts
Show facts
