By calculation (generator: ["now@trueknowledge.com"]) I know that:
The current time is May 25th 2013, 02:05:15
I know from locally stored knowledge that:
Fact 1:
American Airlines, Inc.
is the parent company of
American Eagle Airlines
([fact: ["130912109@trueknowledge.com"]])
Fact 1
is true for
September 24th 2008 onwards
([fact: ["150898261@trueknowledge.com"]])
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 1
is true at
May 25th 2013, 02:05:15
I know from locally stored knowledge that:
Fact 2:
Bombardier Aerospace
is the parent company of
American Eagle Airlines
([fact: ["1166581960@trueknowledge.com"]])
Fact 2
is true for
February 8th 2011, 00:00 onwards
([fact: ["1166581964@trueknowledge.com"]])
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 2
is true at
May 25th 2013, 02:05:15
I know from locally stored knowledge that:
Fact 3:
AMR Corporation
is the parent company of
American Eagle Airlines
([fact: ["2502261434@trueknowledge.com"]])
Fact 3
is true for
May 22nd 2012 onwards
([fact: ["2502261438@trueknowledge.com"]])
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 3
is true at
May 25th 2013, 02:05:15
I know from locally stored knowledge that:
transitive
applies to
is the parent company of
([fact: ["128262565@trueknowledge.com"]])
Therefore (generator: ["strictequal1@trueknowledge.com"]):
Bombardier Aerospace
is not strictly equal to
American Eagle Airlines
I know from locally stored knowledge that:
Fact 4:
Bombardier
is the parent company of
Bombardier Aerospace
([fact: ["1015832494@trueknowledge.com"]])
Fact 4
is true for
December 5th 2010 onwards
([fact: ["1052090158@trueknowledge.com"]])
Therefore (generator: ["strictequal1@trueknowledge.com"]):
American Eagle Airlines
is not strictly equal to
Bombardier
By calculation (generator: ["tpintersect@trueknowledge.com"]) I know that:
February 8th 2011, 00:00 onwards
is the timeperiod intersection of
February 8th 2011, 00:00 onwards and December 5th 2010 onwards
By calculation (generator: ["transitive2@trueknowledge.com"]) I know that:
Fact 5:
Bombardier
is the parent company of
American Eagle Airlines
Fact 5
is true for
February 8th 2011, 00:00 onwards
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 5
is true at
May 25th 2013, 02:05:15
