By calculation (generator: ["now@trueknowledge.com"]) I know that:
The current time is May 22nd 2013, 02:12:59
I know from locally stored knowledge that:
is the manager of
is a more general form of
is the CEO of
([fact: ["124042047@trueknowledge.com"]])
Fact 1:
Larry Page
is the CEO of
Google
([fact: ["1618389134@trueknowledge.com"]])
Fact 1
is true for
April 4th 2011 onwards
([fact: ["1618389138@trueknowledge.com"]])
By calculation (generator: ["moregeneral1@trueknowledge.com"]) I know that:
Fact 2:
Larry Page
is the manager of
Google
Fact 2
is true for
April 4th 2011 onwards
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 2
is true at
May 22nd 2013, 02:12:59
I know from locally stored knowledge that:
Fact 3:
Steve Ballmer
is the CEO of
Microsoft
([fact: ["1146707@trueknowledge.com"]])
Fact 3
is true for
January 31st 2011, 00:00 onwards
([fact: ["1133540946@trueknowledge.com"]])
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 3
is true at
May 22nd 2013, 02:12:59
I know from locally stored knowledge that:
treat as antisymmetric
applies to
is older than
([fact: ["232414366@trueknowledge.com"]])
thing that was created
is the left class of
is older than
([fact: ["1156404@trueknowledge.com"]])
thing that was created
is the right class of
is older than
([fact: ["1156405@trueknowledge.com"]])
By calculation (generator: ["strictequal1@trueknowledge.com"]) I know that:
thing that was created
is strictly equal to
thing that was created
I know from locally stored knowledge that:
March 24th 1956
is the birthdate of
Steve Ballmer
([fact: ["1146705@trueknowledge.com"]])
By calculation (generator: ["human_age@trueknowledge.com"]) I know that:
Fact 4:
57 years, 1 month and 28 days old
is the age of
Steve Ballmer
Fact 4
is true at
May 22nd 2013, 02:12:59
Fact 4:
57 years, 1 month and 28 days old
is a
age
Fact 4:
57 years, 1 month and 28 days old
applies to
Steve Ballmer
Fact 4
is true at
May 22nd 2013, 02:12:59
I know from locally stored knowledge that:
March 26th 1973
is the birthdate of
Larry Page
([fact: ["18990291@trueknowledge.com"]])
By calculation (generator: ["human_age@trueknowledge.com"]) I know that:
Fact 4:
40 years, 1 month and 26 days old
is the age of
Larry Page
Fact 4
is true at
May 22nd 2013, 02:12:59
Fact 4:
40 years, 1 month and 26 days old
is a
age
Fact 4:
40 years, 1 month and 26 days old
applies to
Larry Page
Fact 4
is true at
May 22nd 2013, 02:12:59
By calculation (generator: ["length_time_greater_than@trueknowledge.com"]) I know that:
57 years, 1 month and 28 days
is greater than
40 years, 1 month and 26 days
Therefore (generator: ["length_time_greater_than@trueknowledge.com"]):
57 years, 1 month and 28 days
is not less than
40 years, 1 month and 26 days
57 years, 1 month and 28 days
is not the same as
40 years, 1 month and 26 days
By calculation (generator: ["age_compare@trueknowledge.com"]) I know that:
57 years, 1 month and 28 days old
is greater than
40 years, 1 month and 26 days old
By calculation (generator: ["older_than@trueknowledge.com"]) I know that:
Fact 8:
Steve Ballmer
is older than
Larry Page
By calculation (generator: ["perm5@trueknowledge.com"]) I know that:
Fact 8
is true for
all time
I know from locally stored knowledge that:
permanent
applies to
is older than
([fact: ["1156406@trueknowledge.com"]])
Therefore (generator: ["antisymmetric1@trueknowledge.com"]):
Fact 9:
Larry Page
is not older than
Steve Ballmer
By calculation (generator: ["antisymmetric1@trueknowledge.com"]) I know that:
Fact 9
is true for
all time
By calculation (generator: ["timeperiodtotimepoint2@trueknowledge.com"]) I know that:
Fact 9
is true for all of timepoint
May 22nd 2013, 02:12:59
Facts
Show facts
