By calculation (generator: ["now@trueknowledge.com"]) I know that:
The current time is May 23rd 2013, 10:19:44
I know from locally stored knowledge that:
right unique
applies to
is the wife of
([fact: ["1132384@trueknowledge.com"]])
person
is the right class of
is the wife of
([fact: ["230136186@trueknowledge.com"]])
person
is a distinct class from
concept with variable precision
([fact: ["124153665@trueknowledge.com"]])
Therefore (generator: ["rightaccuracy@trueknowledge.com"]):
right object has variable accuracy
not applies to
is the wife of
I know from locally stored knowledge that:
female
applies to
Katey Sagal
([fact: ["128607753@trueknowledge.com"]])
Fact 1:
Katey Sagal
is married to
Kurt Sutter
([fact: ["166567391@trueknowledge.com"]])
Fact 1
is true for
2004 onwards
([fact: ["423248019@trueknowledge.com"]])
Fact 1
is true for
January 13th 2009 onwards
([fact: ["649076748@trueknowledge.com"]])
By calculation (generator: ["wife@trueknowledge.com"]) I know that:
Fact 2:
Katey Sagal
is the wife of
Kurt Sutter
Fact 2
is true for
2004 onwards
Therefore (generator: ["strictequal1@trueknowledge.com"]):
Kurt Sutter
is not strictly equal to
Steven Seagal
Therefore (generator: ["rightunique2@trueknowledge.com"]):
Fact 3:
Katey Sagal
is not the wife of
Steven Seagal
By calculation (generator: ["rightunique2@trueknowledge.com"]) I know that:
Fact 3
is true for
2004 onwards
By calculation (generator: ["moregeneral2@trueknowledge.com"]) I know that:
Fact 3
is true for
January 13th 2009 onwards
By calculation (generator: ["timeperiodtotimepoint2@trueknowledge.com"]) I know that:
Fact 3
is true for all of timepoint
May 23rd 2013, 10:19:44
I know from locally stored knowledge that:
is married to
is a more general form of
is the wife of
([fact: ["1132401@trueknowledge.com"]])
left unique
applies to
is married to
([fact: ["1131457@trueknowledge.com"]])
left object has variable accuracy
not applies to
is married to
([fact: ["1152762@trueknowledge.com"]])
Fact 4:
Kelly LeBrock
is married to
Steven Seagal
([fact: ["127563338@trueknowledge.com"]])
Fact 4
is true for
1987 - 1996
([fact: ["127563339@trueknowledge.com"]])
Therefore (generator: ["strictequal1@trueknowledge.com"]):
Kelly LeBrock
is not strictly equal to
Katey Sagal
Therefore (generator: ["leftunique2@trueknowledge.com"]):
Fact 5:
Katey Sagal
is not married to
Steven Seagal
By calculation (generator: ["leftunique2@trueknowledge.com"]) I know that:
Fact 5
is true for
1987 - 1996
By calculation (generator: ["rightunique2@trueknowledge.com"]) I know that:
Fact 5
is true for
January 13th 2009 onwards
I know from locally stored knowledge that:
right unique
applies to
is married to
([fact: ["1131455@trueknowledge.com"]])
right object has variable accuracy
not applies to
is married to
([fact: ["1152761@trueknowledge.com"]])
