By calculation (generator: ["now@trueknowledge.com"]) I know that:
The current time is February 10th 2012, 18:17:01
I know from locally stored knowledge that:
Fact 1:
Hillary Clinton
is the wife of
Bill Clinton
([fact: ["1132758@trueknowledge.com"]])
Fact 1
is true for
October 11th 1975 onwards
([fact: ["1132759@trueknowledge.com"]])
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 1
is true at
February 10th 2012, 18:17:01
I know from locally stored knowledge that:
treat as antisymmetric
applies to
is younger than
([fact: ["232414374@trueknowledge.com"]])
thing that was created
is the left class of
is younger than
([fact: ["1156419@trueknowledge.com"]])
thing that was created
is the right class of
is younger than
([fact: ["1156420@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:
October 26th 1947
is the birthdate of
Hillary Clinton
([fact: ["1143011@trueknowledge.com"]])
By calculation (generator: ["human_age@trueknowledge.com"]) I know that:
Fact 2:
64 years, 3 months and 15 days old
is the age of
Hillary Clinton
Fact 2
is true at
February 10th 2012, 18:17:01
Fact 2:
64 years, 3 months and 15 days old
is a
age
Fact 2:
64 years, 3 months and 15 days old
applies to
Hillary Clinton
Fact 2
is true at
February 10th 2012, 18:17:01
I know from locally stored knowledge that:
August 19th 1946
is the birthdate of
Bill Clinton
([fact: ["1142714@trueknowledge.com"]])
By calculation (generator: ["human_age@trueknowledge.com"]) I know that:
Fact 2:
65 years, 5 months and 22 days old
is the age of
Bill Clinton
Fact 2
is true at
February 10th 2012, 18:17:01
Fact 2:
65 years, 5 months and 22 days old
is a
age
Fact 2:
65 years, 5 months and 22 days old
applies to
Bill Clinton
Fact 2
is true at
February 10th 2012, 18:17:01
By calculation (generator: ["length_time_greater_than@trueknowledge.com"]) I know that:
65 years, 5 months and 22 days
is greater than
64 years, 3 months and 15 days
Therefore (generator: ["length_time_greater_than@trueknowledge.com"]):
65 years, 5 months and 22 days
is not less than
64 years, 3 months and 15 days
65 years, 5 months and 22 days
is not the same as
64 years, 3 months and 15 days
By calculation (generator: ["age_compare@trueknowledge.com"]) I know that:
65 years, 5 months and 22 days old
is greater than
64 years, 3 months and 15 days old
By calculation (generator: ["younger_than@trueknowledge.com"]) I know that:
Fact 6:
Hillary Clinton
is younger than
Bill Clinton
By calculation (generator: ["perm5@trueknowledge.com"]) I know that:
Fact 6
is true for
all time
I know from locally stored knowledge that:
permanent
applies to
is younger than
([fact: ["1156421@trueknowledge.com"]])
Therefore (generator: ["antisymmetric1@trueknowledge.com"]):
Fact 7:
Bill Clinton
is not younger than
Hillary Clinton
By calculation (generator: ["antisymmetric1@trueknowledge.com"]) I know that:
Fact 7
is true for
all time
By calculation (generator: ["timeperiodtotimepoint2@trueknowledge.com"]) I know that:
Fact 7
is true for all of timepoint
February 10th 2012, 18:17:01
Adding…
