By calculation (generator: ["now@trueknowledge.com"]) I know that:
The current time is May 18th 2013, 08:08:45
I know from locally stored knowledge that:
right unique
applies to
is in a romantic relationship with
([fact: ["123899801@trueknowledge.com"]])
right object has variable accuracy
not applies to
is in a romantic relationship with
([fact: ["123899803@trueknowledge.com"]])
is in a romantic relationship with
is a more general form of
is married to
([fact: ["1043918154@trueknowledge.com"]])
treat as symmetric
applies to
is married to
([fact: ["230645930@trueknowledge.com"]])
Fact 1:
Jenna Rhoads
is married to
Keri Hilson
([fact: ["1097439338@trueknowledge.com"]])
Fact 1
is true for
the earliest time when the fact can make sense onwards
([fact: ["1097466194@trueknowledge.com"]])
Fact 1
is true for
January 11th 2011, 00:00:00 onwards
([fact: ["1097439342@trueknowledge.com"]])
By calculation (generator: ["symmetric1@trueknowledge.com"]) I know that:
Fact 2:
Keri Hilson
is married to
Jenna Rhoads
Fact 2
is true for
the earliest time when the fact can make sense onwards
Fact 2
is true for
January 11th 2011, 00:00:00 onwards
By calculation (generator: ["moregeneral1@trueknowledge.com"]) I know that:
Fact 3:
Keri Hilson
is in a romantic relationship with
Jenna Rhoads
Fact 3
is true for
the earliest time when the fact can make sense onwards
Fact 3
is true for
January 11th 2011, 00:00:00 onwards
Therefore (generator: ["strictequal1@trueknowledge.com"]):
Jenna Rhoads
is not strictly equal to
R. Kelly
Therefore (generator: ["rightunique2@trueknowledge.com"]):
Fact 4:
Keri Hilson
is not in a romantic relationship with
R. Kelly
By calculation (generator: ["rightunique2@trueknowledge.com"]) I know that:
Fact 4
is true for
the earliest time when the fact can make sense onwards
By calculation (generator: ["timeperiodtotimepoint2@trueknowledge.com"]) I know that:
Fact 4
is true for all of timepoint
May 18th 2013, 08:08:45
By calculation (generator: ["rightunique2@trueknowledge.com"]) I know that:
Fact 4
is true for
January 11th 2011, 00:00:00 onwards
