By calculation (generator: ["now@trueknowledge.com"]) I know that:
The current time is May 22nd 2013, 18:15:12
I know from locally stored knowledge that:
Changsha Huanghua International Airport
is an airport for
Changsha
([fact: ["152350357@trueknowledge.com"]])
Fact 1:
China Southern Airlines
is an airline serving the airport
Changsha Huanghua International Airport
([fact: ["367413263@trueknowledge.com"]])
Fact 1
is true for
May 5th 2010, 08:11:06 onwards
([fact: ["800016344@trueknowledge.com"]])
Fact 1
is true for
June 13th 2009, 00:00:00 onwards
([fact: ["367413267@trueknowledge.com"]])
By calculation (generator: ["airline_serving_place@trueknowledge.com"]) I know that:
Fact 2:
China Southern Airlines
is an airline serving the place
Changsha
Fact 2
is true for
May 5th 2010, 08:11:06 onwards
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 2
is true at
May 22nd 2013, 18:15:12
By calculation (generator: ["airline_serving_place@trueknowledge.com"]) I know that:
Fact 2
is true for
June 13th 2009, 00:00:00 onwards
I know from locally stored knowledge that:
Fact 3:
Air China
is an airline serving the airport
Changsha Huanghua International Airport
([fact: ["799127600@trueknowledge.com"]])
Fact 3
is true for
May 4th 2010, 16:55:11 onwards
([fact: ["799127604@trueknowledge.com"]])
By calculation (generator: ["airline_serving_place@trueknowledge.com"]) I know that:
Fact 2:
Air China
is an airline serving the place
Changsha
Fact 2
is true for
May 4th 2010, 16:55:11 onwards
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 2
is true at
May 22nd 2013, 18:15:12
I know from locally stored knowledge that:
Fact 5:
Asiana Airlines
is an airline serving the airport
Changsha Huanghua International Airport
([fact: ["799153904@trueknowledge.com"]])
Fact 5
is true for
May 4th 2010, 17:08:57 onwards
([fact: ["799153916@trueknowledge.com"]])
By calculation (generator: ["airline_serving_place@trueknowledge.com"]) I know that:
Fact 2:
Asiana Airlines
is an airline serving the place
Changsha
Fact 2
is true for
May 4th 2010, 17:08:57 onwards
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 2
is true at
May 22nd 2013, 18:15:12
I know from locally stored knowledge that:
Fact 7:
China Airlines
is an airline serving the airport
Changsha Huanghua International Airport
([fact: ["800014828@trueknowledge.com"]])
Fact 7
is true for
May 5th 2010, 08:09:38 onwards
([fact: ["800014832@trueknowledge.com"]])
By calculation (generator: ["airline_serving_place@trueknowledge.com"]) I know that:
Fact 2:
China Airlines
is an airline serving the place
Changsha
Fact 2
is true for
May 5th 2010, 08:09:38 onwards
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 2
is true at
May 22nd 2013, 18:15:12
I know from locally stored knowledge that:
Fact 9:
China Eastern Airlines
is an airline serving the airport
Changsha Huanghua International Airport
([fact: ["800015384@trueknowledge.com"]])
Fact 9
is true for
May 5th 2010, 08:10:11 onwards
([fact: ["800015396@trueknowledge.com"]])
By calculation (generator: ["airline_serving_place@trueknowledge.com"]) I know that:
Fact 2:
China Eastern Airlines
is an airline serving the place
Changsha
Fact 2
is true for
May 5th 2010, 08:10:11 onwards
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 2
is true at
May 22nd 2013, 18:15:12
I know from locally stored knowledge that:
Fact 11:
Hainan Airlines
is an airline serving the airport
Changsha Huanghua International Airport
([fact: ["800035104@trueknowledge.com"]])
Fact 11
is true for
May 5th 2010, 09:52:34 onwards
([fact: ["800035108@trueknowledge.com"]])
By calculation (generator: ["airline_serving_place@trueknowledge.com"]) I know that:
Fact 2:
Hainan Airlines
is an airline serving the place
Changsha
Fact 2
is true for
May 5th 2010, 09:52:34 onwards
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 2
is true at
May 22nd 2013, 18:15:12
I know from locally stored knowledge that:
Fact 13:
Hong Kong Airlines
is an airline serving the airport
Changsha Huanghua International Airport
([fact: ["800036304@trueknowledge.com"]])
Fact 13
is true for
May 5th 2010, 09:53:41 onwards
([fact: ["800036308@trueknowledge.com"]])
By calculation (generator: ["airline_serving_place@trueknowledge.com"]) I know that:
Fact 2:
Hong Kong Airlines
is an airline serving the place
Changsha
Fact 2
is true for
May 5th 2010, 09:53:41 onwards
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 2
is true at
May 22nd 2013, 18:15:12
I know from locally stored knowledge that:
Fact 15:
Korean Air
is an airline serving the airport
Changsha Huanghua International Airport
([fact: ["800046428@trueknowledge.com"]])
Fact 15
is true for
May 5th 2010, 10:07:10 onwards
([fact: ["800046432@trueknowledge.com"]])
By calculation (generator: ["airline_serving_place@trueknowledge.com"]) I know that:
Fact 2:
Korean Air
is an airline serving the place
Changsha
Fact 2
is true for
May 5th 2010, 10:07:10 onwards
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 2
is true at
May 22nd 2013, 18:15:12
I know from locally stored knowledge that:
Fact 17:
Shanghai Airlines
is an airline serving the airport
Changsha Huanghua International Airport
([fact: ["800068548@trueknowledge.com"]])
Fact 17
is true for
May 5th 2010, 10:34:39 onwards
([fact: ["800068552@trueknowledge.com"]])
By calculation (generator: ["airline_serving_place@trueknowledge.com"]) I know that:
Fact 2:
Shanghai Airlines
is an airline serving the place
Changsha
Fact 2
is true for
May 5th 2010, 10:34:39 onwards
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 2
is true at
May 22nd 2013, 18:15:12
I know from locally stored knowledge that:
Fact 19:
Shenzhen Airlines
is an airline serving the airport
Changsha Huanghua International Airport
([fact: ["800069132@trueknowledge.com"]])
Fact 19
is true for
May 5th 2010, 10:35:14 onwards
([fact: ["800069136@trueknowledge.com"]])
By calculation (generator: ["airline_serving_place@trueknowledge.com"]) I know that:
Fact 2:
Shenzhen Airlines
is an airline serving the place
Changsha
Fact 2
is true for
May 5th 2010, 10:35:14 onwards
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 2
is true at
May 22nd 2013, 18:15:12
I know from locally stored knowledge that:
Fact 21:
Sichuan Airlines
is an airline serving the airport
Changsha Huanghua International Airport
([fact: ["800069668@trueknowledge.com"]])
Fact 21
is true for
May 5th 2010, 10:35:46 onwards
([fact: ["800069672@trueknowledge.com"]])
By calculation (generator: ["airline_serving_place@trueknowledge.com"]) I know that:
Fact 2:
Sichuan Airlines
is an airline serving the place
Changsha
Fact 2
is true for
May 5th 2010, 10:35:46 onwards
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 2
is true at
May 22nd 2013, 18:15:12