By calculation (generator: ["now@trueknowledge.com"]) I know that:
The current time is May 22nd 2013, 07:13:11
I know from locally stored knowledge that:
Fact 1:
Lufthansa
is the parent company of
BMI Regional
([fact: ["645862132@trueknowledge.com"]])
Fact 1
is true for
November 5th 2009 onwards
([fact: ["645862136@trueknowledge.com"]])
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 1
is true at
May 22nd 2013, 07:13:11
I know from locally stored knowledge that:
Fact 2:
BMI Regional
is the parent company of
BMI Regional
([fact: ["905259270@trueknowledge.com"]])
Fact 2
is true for
June 30th 2010 onwards
([fact: ["905259274@trueknowledge.com"]])
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 2
is true at
May 22nd 2013, 07:13:11
I know from locally stored knowledge that:
transitive
applies to
is the parent company of
([fact: ["128262565@trueknowledge.com"]])
Therefore (generator: ["strictequal1@trueknowledge.com"]):
Lufthansa
is not strictly equal to
BMI Regional
I know from locally stored knowledge that:
Fact 3:
Lufthansa Technik
is the parent company of
Lufthansa
([fact: ["1166552248@trueknowledge.com"]])
Fact 3
is true for
February 8th 2011, 00:00 onwards
([fact: ["1166552252@trueknowledge.com"]])
Therefore (generator: ["strictequal1@trueknowledge.com"]):
BMI Regional
is not strictly equal to
Lufthansa Technik
By calculation (generator: ["tpintersect@trueknowledge.com"]) I know that:
February 8th 2011, 00:00 onwards
is the timeperiod intersection of
November 5th 2009 onwards and February 8th 2011, 00:00 onwards
By calculation (generator: ["transitive2@trueknowledge.com"]) I know that:
Fact 4:
Lufthansa Technik
is the parent company of
BMI Regional
Fact 4
is true for
February 8th 2011, 00:00 onwards
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 4
is true at
May 22nd 2013, 07:13:11
