By calculation (generator: ["now@trueknowledge.com"]) I know that:
The current time is May 23rd 2013, 02:46:13
I know from locally stored knowledge that:
Fact 1:
Delta Airlines
is the parent company of
Northwest Airlines
([fact: ["350615402@trueknowledge.com"]])
Fact 1
is true for
May 6th 2009 onwards
([fact: ["350615406@trueknowledge.com"]])
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 1
is true at
May 23rd 2013, 02:46:13
I know from locally stored knowledge that:
Fact 1
is true for
August 18th 2012 onwards
([fact: ["2794440746@trueknowledge.com"]])
Fact 2:
Delta Airlines
is the parent company of
Mesaba Airlines
([fact: ["371908975@trueknowledge.com"]])
Fact 2
is true for
August 7th 2009 onwards
([fact: ["429004096@trueknowledge.com"]])
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 2
is true at
May 23rd 2013, 02:46:13
I know from locally stored knowledge that:
Fact 3:
Delta Airlines
is the parent company of
Comair
([fact: ["690879904@trueknowledge.com"]])
Fact 3
is true for
January 8th 2011 onwards
([fact: ["1445811374@trueknowledge.com"]])
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 3
is true at
May 23rd 2013, 02:46:13
I know from locally stored knowledge that:
Fact 4:
Delta Airlines
is the parent company of
Atlantic Southeast Airlines
([fact: ["369080851@trueknowledge.com"]])
Fact 4
is true for
June 26th 2009, 12:07 onwards
([fact: ["1134294118@trueknowledge.com"]])
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 4
is true at
May 23rd 2013, 02:46:13
I know from locally stored knowledge that:
Fact 5:
Delta Airlines
is the parent company of
Freedom Airlines
([fact: ["1028862006@trueknowledge.com"]])
Fact 5
is true for
October 23rd 2010 onwards
([fact: ["1028862010@trueknowledge.com"]])
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 5
is true at
May 23rd 2013, 02:46:13
I know from locally stored knowledge that:
Fact 6:
Delta Airlines
is the parent company of
Gatwick Handling
([fact: ["2351981734@trueknowledge.com"]])
Fact 6
is true for
August 25th 2012 onwards
([fact: ["2847551838@trueknowledge.com"]])
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 6
is true at
May 23rd 2013, 02:46:13
I know from locally stored knowledge that:
transitive
applies to
is the parent company of
([fact: ["128262565@trueknowledge.com"]])
Therefore (generator: ["strictequal1@trueknowledge.com"]):
Delta Airlines
is not strictly equal to
Northwest Airlines
I know from locally stored knowledge that:
Fact 7:
Northwest Airlines
is the parent company of
Compass Airlines
([fact: ["128108234@trueknowledge.com"]])
Fact 7
is true for
May 24th 2008 onwards
([fact: ["130934834@trueknowledge.com"]])
Fact 7
is true for
December 19th 2007 onwards
([fact: ["128108241@trueknowledge.com"]])
Therefore (generator: ["strictequal1@trueknowledge.com"]):
Delta Airlines
is not strictly equal to
Compass Airlines
By calculation (generator: ["tpintersect@trueknowledge.com"]) I know that:
May 6th 2009 onwards
is the timeperiod intersection of
May 6th 2009 onwards and May 24th 2008 onwards
By calculation (generator: ["transitive1@trueknowledge.com"]) I know that:
Fact 8:
Delta Airlines
is the parent company of
Compass Airlines
Fact 8
is true for
May 6th 2009 onwards
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 8
is true at
May 23rd 2013, 02:46:13
By calculation (generator: ["transitive1@trueknowledge.com"]) I know that:
Fact 8
is true for
August 18th 2012 onwards
By calculation (generator: ["tpintersect@trueknowledge.com"]) I know that:
August 18th 2012 onwards
is the timeperiod intersection of
August 18th 2012 onwards and December 19th 2007 onwards
