By calculation (generator: ["now@trueknowledge.com"]) I know that:
The current time is August 2nd 2014, 06:53:31
I know from locally stored knowledge that:
Fact 1:
Junko Tabei
is the result of the position class and ordering
first, woman and [ordering by date of doing: [qualified action: [climbed]; [mount everest]]]
([fact: ["164126874@trueknowledge.com"]])
By calculation (generator: ["result_position_class_and_ordering@trueknowledge.com"]) I know that:
Fact 1
is true for
September 22nd 1957 onwards
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 1
is true at
August 2nd 2014, 06:53:31
I know from locally stored knowledge that:
woman
is a subclass of
female person
([fact: ["1154140@trueknowledge.com"]])
Fact 2:
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 2
is true for
the earliest time when the fact can make sense onwards
([fact: ["684539664@trueknowledge.com"]])
woman
is specified by
adult person and female
([fact: ["20469058@trueknowledge.com"]])
Fact 3:
Junko Tabei
is a
person
([fact: ["18465955@trueknowledge.com"]])
By calculation (generator: ["permanent@trueknowledge.com"]) I know that:
Fact 3
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 4:
adult
applies to
Junko Tabei
Fact 4
is true for
September 22nd 1957 onwards
Fact 4
is true for
1957 onwards
I know from locally stored knowledge that:
permanent
applies to
person
([fact: ["1131338@trueknowledge.com"]])
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 5:
Junko Tabei
is a
adult person
Fact 5
is true for
1957 onwards
Fact 5
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
I know from locally stored knowledge that:
Fact 6:
female
applies to
Junko Tabei
([fact: ["19848634@trueknowledge.com"]])
By calculation (generator: ["ap@trueknowledge.com"]) I know that:
Fact 6
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:
September 22nd 1957 onwards
is the timeperiod intersection of
September 22nd 1957 onwards and all time
By calculation (generator: ["instancespecifiedby@trueknowledge.com"]) I know that:
Fact 7:
Junko Tabei
is a
woman
Fact 7
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
the earliest time when the fact can make sense onwards and September 22nd 1957 onwards