By calculation (generator: ["now@trueknowledge.com"]) I know that:
The current time is February 4th 2012, 19:16:14
By calculation (generator: ["strictequal1@trueknowledge.com"]) I know that:
female person
is strictly equal to
female person
By calculation (generator: ["ppac1@trueknowledge.com"]) I know that:
adult female person
is a subclass of
female person
I know from locally stored knowledge that:
Fact 1:
Junko Tabei
is the result of the position class and ordering
first, female person and [ordering by date of doing: [qualified action: [climbed]; [mount everest]]]
([fact: ["684539660@trueknowledge.com"]])
Fact 1
is true for
the earliest time when the fact can make sense onwards
([fact: ["684539664@trueknowledge.com"]])
female person
is specified by
person and female
([fact: ["1155191@trueknowledge.com"]])
Fact 2:
Junko Tabei
is a
person
([fact: ["18465955@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:
permanent
applies to
person
([fact: ["1131338@trueknowledge.com"]])
Fact 3:
female
applies to
Junko Tabei
([fact: ["19848634@trueknowledge.com"]])
By calculation (generator: ["ap@trueknowledge.com"]) I know that:
Fact 3
is true for
all time
I know from locally stored knowledge that:
permanent
applies to
female
([fact: ["1132166@trueknowledge.com"]])
By calculation (generator: ["tpintersect@trueknowledge.com"]) I know that:
all time
is the timeperiod intersection of
all time and all time
By calculation (generator: ["instancespecifiedby@trueknowledge.com"]) I know that:
Fact 4:
Junko Tabei
is a
female person
Fact 4
is true for
all time
I know from locally stored knowledge that:
September 22nd 1939
is the birthdate of
Junko Tabei
([fact: ["1036101690@trueknowledge.com"]])
By calculation (generator: ["timepoint_sum@trueknowledge.com"]) I know that:
September 22nd 1957
is the timepoint sum of
September 22nd 1939 and 18 years, 0 months, 0 days and 0 hours
By calculation (generator: ["strictequal1@trueknowledge.com"]) I know that:
September 22nd 1957 onwards
is strictly equal to
September 22nd 1957 onwards
By calculation (generator: ["adult2@trueknowledge.com"]) I know that:
Fact 5:
adult
applies to
Junko Tabei
Fact 5
is true for
September 22nd 1957 onwards
Fact 5
is true for
1957 onwards
I know from locally stored knowledge that:
1939
is the birthdate of
Junko Tabei
([fact: ["18465961@trueknowledge.com"]])
By calculation (generator: ["timepoint_sum@trueknowledge.com"]) I know that:
1957
is the timepoint sum of
1939 and 18 years, 0 months, 0 days and 0 hours
By calculation (generator: ["strictequal1@trueknowledge.com"]) I know that:
1957 onwards
is strictly equal to
1957 onwards
By calculation (generator: ["tpintersect@trueknowledge.com"]) I know that:
1957 onwards
is the timeperiod intersection of
all time and 1957 onwards
By calculation (generator: ["instance2@trueknowledge.com"]) I know that:
Fact 6:
Junko Tabei
is a
adult female person
Fact 6
is true for
1957 onwards
Fact 6
is true for
September 22nd 1957 onwards
By calculation (generator: ["tpintersect@trueknowledge.com"]) I know that:
September 22nd 1957 onwards
is the timeperiod intersection of
all time and September 22nd 1957 onwards
September 22nd 1957 onwards
is the timeperiod intersection of
the earliest time when the fact can make sense onwards and September 22nd 1957 onwards
By calculation (generator: ["result_position_class_and_ordering@trueknowledge.com"]) I know that:
Fact 7:
Junko Tabei
is the result of the position class and ordering
first, adult female person and [ordering by date of doing: [qualified action: [climbed]; [mount everest]]]
Fact 7
is true for
September 22nd 1957 onwards
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 7
is true at
February 4th 2012, 19:16:14
By calculation (generator: ["result_position_class_and_ordering@trueknowledge.com"]) I know that:
Fact 7
is true for
1957 onwards
By calculation (generator: ["tpintersect@trueknowledge.com"]) I know that:
1957 onwards
is the timeperiod intersection of
the earliest time when the fact can make sense onwards and 1957 onwards