By calculation (generator: ["now@trueknowledge.com"]) I know that:
The current time is June 19th 2013, 12:54:52
I know from locally stored knowledge that:
Fact 1:
Jada Pinkett Smith
is married to
Will Smith
([fact: ["135292107@trueknowledge.com"]])
Fact 1
is true for
1997 onwards
([fact: ["135292108@trueknowledge.com"]])
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 1
is true at
June 19th 2013, 12:54:52
I know from locally stored knowledge that:
Fact 2:
Will Smith
is a
person
([fact: ["18511667@trueknowledge.com"]])
By calculation (generator: ["permanent@trueknowledge.com"]) I know that:
Fact 2
is true for
all time
I know from locally stored knowledge that:
person
is a subclass of
entity that is capable of deliberate action
([fact: ["129969855@trueknowledge.com"]])
permanent
applies to
person
([fact: ["1131338@trueknowledge.com"]])
By calculation (generator: ["iaif1@trueknowledge.com"]) I know that:
Fact 3:
Will Smith
is a
entity that is capable of deliberate action
Fact 3
is true for
all time
I know from locally stored knowledge that:
is married to
is a more general form of
is the wife of
([fact: ["1132401@trueknowledge.com"]])
Fact 4:
Jada Pinkett Smith
is the wife of
Cesar Millan
([fact: ["350177535@trueknowledge.com"]])
Fact 4
is true for
May 5th 2009, 16:04 onwards
([fact: ["1101001130@trueknowledge.com"]])
By calculation (generator: ["moregeneral1@trueknowledge.com"]) I know that:
Fact 5:
Jada Pinkett Smith
is married to
Cesar Millan
Fact 5
is true for
May 5th 2009, 16:04 onwards
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 5
is true at
June 19th 2013, 12:54:52
I know from locally stored knowledge that:
Fact 6:
Cesar Millan
is a
person
([fact: ["17730259@trueknowledge.com"]])
By calculation (generator: ["permanent@trueknowledge.com"]) I know that:
Fact 6
is true for
all time
By calculation (generator: ["iaif1@trueknowledge.com"]) I know that:
Fact 3:
Cesar Millan
is a
entity that is capable of deliberate action
Fact 3
is true for
all time
