By calculation (generator: ["now@trueknowledge.com"]) I know that:
The current time is February 13th 2012, 18:36:12
I know from locally stored knowledge that:
is an airport for
is a more general form of
is the most important airport serving
([fact: ["1493268602@trueknowledge.com"]])
permanent
applies to
is an airport for
([fact: ["127368729@trueknowledge.com"]])
Cebu
is a
settlement
([fact: ["369668299@trueknowledge.com"]])
10°25'35"N
is the latitude of
Cebu
([fact: ["369668263@trueknowledge.com"]])
123°47'52"E
is the longitude of
Cebu
([fact: ["369668275@trueknowledge.com"]])
By calculation (generator: ["strictequal1@trueknowledge.com"]) I know that:
10°25'35"N and 123°47'52"E
is strictly equal to
10°25'35"N and 123°47'52"E
By calculation (generator: ["lat_long_to_c-square@trueknowledge.com"]) I know that:
[c-square: ["1112:103:247:229:467:237:487:498"]]
is the c-square version of the co-ordinates
10°25'35"N and 123°47'52"E
By calculation (generator: ["strictequal1@trueknowledge.com"]) I know that:
100 kilometres
is strictly equal to
100 kilometres
By calculation (generator: ["first_parameter@trueknowledge.com"]) I know that:
[c-square: ["1112:103:247:229:467:237:487:498"]]
is the first parameter of
[c-square: ["1112:103:247:229:467:237:487:498"]] and 100 kilometres
By calculation (generator: ["second_parameter@trueknowledge.com"]) I know that:
100 kilometres
is the second parameter of
[c-square: ["1112:103:247:229:467:237:487:498"]] and 100 kilometres
kilometre
is the second parameter of
100 kilometres
I know from locally stored knowledge that:
Fact 1:
1
is the multiplier that converts
kilometre and kilometre
([fact: ["684486512@trueknowledge.com"]])
Fact 1
is true for
all time
([fact: ["689997328@trueknowledge.com"]])
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 1
is true at
February 13th 2012, 18:36:12
By calculation (generator: ["first_parameter@trueknowledge.com"]) I know that:
100
is the first parameter of
100 kilometres
By calculation (generator: ["product@trueknowledge.com"]) I know that:
100
is the product of
1 and 100
By calculation (generator: ["class_parametered_object@trueknowledge.com"]) I know that:
length
is the class of the parametered object
100 kilometres
By calculation (generator: ["parametered_object_corresponding_to@trueknowledge.com"]) I know that:
100 kilometres
is the parametered object corresponding to
length and 100 and kilometre
By calculation (generator: ["equivalent_to6@trueknowledge.com"]) I know that:
Fact 2:
100 kilometres
is equivalent to
100 kilometres
Fact 2
is true at
February 13th 2012, 18:36:12
Fact 2:
kilometre
is the unit used in
100 kilometres
By calculation (generator: ["covering_a_disc_with_c-squares@trueknowledge.com"]) I know that:
[c-square: ["1012:393"]]
is a c-square to test for the point and distance
[c-square: ["1112:103:247:229:467:237:487:498"]] and 100 kilometres
[c-square: ["1012:394"]]
is a c-square to test for the point and distance
[c-square: ["1112:103:247:229:467:237:487:498"]] and 100 kilometres
[c-square: ["1112:102"]]
is a c-square to test for the point and distance
[c-square: ["1112:103:247:229:467:237:487:498"]] and 100 kilometres
[c-square: ["1112:103"]]
is a c-square to test for the point and distance
[c-square: ["1112:103:247:229:467:237:487:498"]] and 100 kilometres
[c-square: ["1112:104"]]
is a c-square to test for the point and distance
[c-square: ["1112:103:247:229:467:237:487:498"]] and 100 kilometres
[c-square: ["1112:113"]]
is a c-square to test for the point and distance
[c-square: ["1112:103:247:229:467:237:487:498"]] and 100 kilometres
[c-square: ["1012:392"]]
is a c-square to test for the point and distance
[c-square: ["1112:103:247:229:467:237:487:498"]] and 100 kilometres
[c-square: ["1012:495"]]
is a c-square to test for the point and distance
[c-square: ["1112:103:247:229:467:237:487:498"]] and 100 kilometres
[c-square: ["1112:112"]]
is a c-square to test for the point and distance
[c-square: ["1112:103:247:229:467:237:487:498"]] and 100 kilometres
[c-square: ["1112:114"]]
is a c-square to test for the point and distance
[c-square: ["1112:103:247:229:467:237:487:498"]] and 100 kilometres
[c-square: ["1112:205"]]
is a c-square to test for the point and distance
[c-square: ["1112:103:247:229:467:237:487:498"]] and 100 kilometres
I know from locally stored knowledge that:
Fact 3:
Cebu Pacific
is an airline serving the airport
Sibulan Airport
([fact: ["800014536@trueknowledge.com"]])
Fact 3
is true for
May 5th 2010, 08:09:25 onwards
([fact: ["800014552@trueknowledge.com"]])
Fact 4:
Philippine Airlines
is an airline serving the airport
Sibulan Airport
([fact: ["800059756@trueknowledge.com"]])
Fact 4
is true for
May 5th 2010, 10:25:19 onwards
([fact: ["800059760@trueknowledge.com"]])
Cebu Pacific
is an airline serving the airport
Tagbilaran Airport
([fact: ["800014580@trueknowledge.com"]])
Philippine Airlines
is an airline serving the airport
Tagbilaran Airport
([fact: ["800059792@trueknowledge.com"]])
Fact 5:
Asian Spirit
is an airline serving the airport
Tagbilaran Airport
([fact: ["800170052@trueknowledge.com"]])
Fact 5
is true for
May 5th 2010, 17:04:35 onwards
([fact: ["800170056@trueknowledge.com"]])
Fact 6:
South East Asian Airlines
is an airline serving the airport
Camiguin Airport
([fact: ["800071672@trueknowledge.com"]])
Fact 6
is true for
May 5th 2010, 10:38:01 onwards
([fact: ["800071676@trueknowledge.com"]])
Cebu Pacific
is an airline serving the airport
Iloilo International Airport
([fact: ["800014384@trueknowledge.com"]])
Fact 7:
PAL Express
is an airline serving the airport
Iloilo International Airport
([fact: ["800058456@trueknowledge.com"]])
Fact 7
is true for
May 5th 2010, 10:23:59 onwards
([fact: ["800058460@trueknowledge.com"]])
Philippine Airlines
is an airline serving the airport
Iloilo International Airport
([fact: ["800059588@trueknowledge.com"]])
Asian Spirit
is an airline serving the airport
Iloilo International Airport
([fact: ["800169860@trueknowledge.com"]])
Fact 8:
Singapore Airlines
is an airline serving the airport
Mactan-Cebu International Airport
([fact: ["367404747@trueknowledge.com"]])
Fact 8
is true for
June 13th 2009, 00:00:00 onwards
([fact: ["367404751@trueknowledge.com"]])
Fact 9:
Cathay Pacific
is an airline serving the airport
Mactan-Cebu International Airport
([fact: ["367407823@trueknowledge.com"]])
Fact 9
is true for
May 5th 2010, 08:09:00 onwards
([fact: ["800014136@trueknowledge.com"]])
Fact 9
is true for
June 13th 2009, 00:00:00 onwards
([fact: ["367407827@trueknowledge.com"]])
Fact 10:
China Southern Airlines
is an airline serving the airport
Mactan-Cebu International Airport
([fact: ["367413959@trueknowledge.com"]])
Fact 10
is true for
May 5th 2010, 08:11:45 onwards
([fact: ["800016716@trueknowledge.com"]])
Fact 10
is true for
June 13th 2009, 00:00:00 onwards
([fact: ["367413963@trueknowledge.com"]])
Fact 11:
Asiana Airlines
is an airline serving the airport
Mactan-Cebu International Airport
([fact: ["799154428@trueknowledge.com"]])
Fact 11
is true for
May 4th 2010, 17:09:14 onwards
([fact: ["799154432@trueknowledge.com"]])
Cebu Pacific
is an airline serving the airport
Mactan-Cebu International Airport
([fact: ["800014472@trueknowledge.com"]])
Fact 12:
China Eastern Airlines
is an airline serving the airport
Mactan-Cebu International Airport
([fact: ["800015768@trueknowledge.com"]])
Fact 12
is true for
May 5th 2010, 08:10:27 onwards
([fact: ["800015780@trueknowledge.com"]])
Fact 13:
Korean Air
is an airline serving the airport
Mactan-Cebu International Airport
([fact: ["800046716@trueknowledge.com"]])
Fact 13
is true for
May 5th 2010, 10:07:28 onwards
([fact: ["800046720@trueknowledge.com"]])
Fact 14:
Malaysia Airlines
is an airline serving the airport
Mactan-Cebu International Airport
([fact: ["800052976@trueknowledge.com"]])
Fact 14
is true for
May 5th 2010, 10:16:27 onwards
([fact: ["800052980@trueknowledge.com"]])
PAL Express
is an airline serving the airport
Mactan-Cebu International Airport
([fact: ["800058480@trueknowledge.com"]])
Philippine Airlines
is an airline serving the airport
Mactan-Cebu International Airport
([fact: ["800059676@trueknowledge.com"]])
Fact 15:
Qatar Airways
is an airline serving the airport
Mactan-Cebu International Airport
([fact: ["800060596@trueknowledge.com"]])
Fact 15
is true for
May 5th 2010, 10:26:25 onwards
([fact: ["800060600@trueknowledge.com"]])
Fact 16:
Shanghai Airlines
is an airline serving the airport
Mactan-Cebu International Airport
([fact: ["800068764@trueknowledge.com"]])
Fact 16
is true for
May 5th 2010, 10:34:52 onwards
([fact: ["800068768@trueknowledge.com"]])
Fact 17:
Shenzhen Airlines
is an airline serving the airport
Mactan-Cebu International Airport
([fact: ["800069356@trueknowledge.com"]])
Fact 17
is true for
May 5th 2010, 10:35:28 onwards
([fact: ["800069360@trueknowledge.com"]])
Fact 18:
SilkAir
is an airline serving the airport
Mactan-Cebu International Airport
([fact: ["800070220@trueknowledge.com"]])
Fact 18
is true for
May 5th 2010, 10:36:19 onwards
([fact: ["800070224@trueknowledge.com"]])
South East Asian Airlines
is an airline serving the airport
Mactan-Cebu International Airport
([fact: ["800071792@trueknowledge.com"]])
Asian Spirit
is an airline serving the airport
Mactan-Cebu International Airport
([fact: ["800169960@trueknowledge.com"]])
Fact 19:
South East Asian Airlines
is an airline serving the airport
Bantayan Airport
([fact: ["800071648@trueknowledge.com"]])
Fact 19
is true for
May 5th 2010, 10:37:59 onwards
([fact: ["800071652@trueknowledge.com"]])
Cebu Pacific
is an airline serving the airport
Surigao Airport
([fact: ["800014564@trueknowledge.com"]])
Fact 20:
PAL Express
is an airline serving the airport
Surigao Airport
([fact: ["800058528@trueknowledge.com"]])
Fact 20
is true for
May 5th 2010, 10:24:03 onwards
([fact: ["800058544@trueknowledge.com"]])
Fact 21:
Cebu Pacific
is an airline serving the airport
Kalibo Airport
([fact: ["800014404@trueknowledge.com"]])
Fact 21
is true for
May 5th 2010, 08:09:15 onwards
([fact: ["800014416@trueknowledge.com"]])
Fact 22:
China Airlines
is an airline serving the airport
Kalibo Airport
([fact: ["800014976@trueknowledge.com"]])
Fact 22
is true for
May 5th 2010, 08:09:45 onwards
([fact: ["800014988@trueknowledge.com"]])
Fact 23:
China Eastern Airlines
is an airline serving the airport
Kalibo Airport
([fact: ["800015660@trueknowledge.com"]])
Fact 23
is true for
May 5th 2010, 08:10:23 onwards
([fact: ["800015668@trueknowledge.com"]])
Fact 24:
Philippine Airlines
is an airline serving the airport
Kalibo Airport
([fact: ["800059604@trueknowledge.com"]])
Fact 24
is true for
May 5th 2010, 10:25:11 onwards
([fact: ["800059608@trueknowledge.com"]])
Fact 25:
Asian Spirit
is an airline serving the airport
Kalibo Airport
([fact: ["800169884@trueknowledge.com"]])
Fact 25
is true for
May 5th 2010, 17:04:31 onwards
([fact: ["800169896@trueknowledge.com"]])
By calculation (generator: ["airport_serving@trueknowledge.com"]) I know that:
Sibulan Airport
is the most important airport serving
Cebu
Tagbilaran Airport
is the most important airport serving
Cebu
Camiguin Airport
is the most important airport serving
Cebu
Iloilo International Airport
is the most important airport serving
Cebu
Mactan-Cebu International Airport
is the most important airport serving
Cebu
Bantayan Airport
is the most important airport serving
Cebu
Surigao Airport
is the most important airport serving
Cebu
Kalibo Airport
is the most important airport serving
Cebu
By calculation (generator: ["moregeneral4@trueknowledge.com"]) I know that:
Kalibo Airport
is an airport for
Cebu
By calculation (generator: ["airline_serving_place@trueknowledge.com"]) I know that:
Fact 26:
China Airlines
is an airline serving the place
Cebu
Fact 26
is true for
May 5th 2010, 08:09:45 onwards
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 26
is true at
February 13th 2012, 18:36:12
By calculation (generator: ["moregeneral4@trueknowledge.com"]) I know that:
Mactan-Cebu International Airport
is an airport for
Cebu
By calculation (generator: ["airline_serving_place@trueknowledge.com"]) I know that:
Fact 26:
Singapore Airlines
is an airline serving the place
Cebu
Fact 26
is true for
June 13th 2009, 00:00:00 onwards
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 26
is true at
February 13th 2012, 18:36:12
By calculation (generator: ["airline_serving_place@trueknowledge.com"]) I know that:
Fact 26:
Cathay Pacific
is an airline serving the place
Cebu
Fact 26
is true for
May 5th 2010, 08:09:00 onwards
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 26
is true at
February 13th 2012, 18:36:12
By calculation (generator: ["airline_serving_place@trueknowledge.com"]) I know that:
Fact 26
is true for
June 13th 2009, 00:00:00 onwards
Fact 26:
China Southern Airlines
is an airline serving the place
Cebu
Fact 26
is true for
May 5th 2010, 08:11:45 onwards
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 26
is true at
February 13th 2012, 18:36:12
By calculation (generator: ["airline_serving_place@trueknowledge.com"]) I know that:
Fact 26
is true for
June 13th 2009, 00:00:00 onwards
Fact 26:
Asiana Airlines
is an airline serving the place
Cebu
Fact 26
is true for
May 4th 2010, 17:09:14 onwards
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 26
is true at
February 13th 2012, 18:36:12
By calculation (generator: ["airline_serving_place@trueknowledge.com"]) I know that:
Fact 26:
China Eastern Airlines
is an airline serving the place
Cebu
Fact 26
is true for
May 5th 2010, 08:10:27 onwards
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 26
is true at
February 13th 2012, 18:36:12
By calculation (generator: ["airline_serving_place@trueknowledge.com"]) I know that:
Fact 26
is true for
May 5th 2010, 08:10:23 onwards
Fact 26:
Korean Air
is an airline serving the place
Cebu
Fact 26
is true for
May 5th 2010, 10:07:28 onwards
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 26
is true at
February 13th 2012, 18:36:12
By calculation (generator: ["airline_serving_place@trueknowledge.com"]) I know that:
Fact 26:
Malaysia Airlines
is an airline serving the place
Cebu
Fact 26
is true for
May 5th 2010, 10:16:27 onwards
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 26
is true at
February 13th 2012, 18:36:12
By calculation (generator: ["airline_serving_place@trueknowledge.com"]) I know that:
Fact 26:
Qatar Airways
is an airline serving the place
Cebu
Fact 26
is true for
May 5th 2010, 10:26:25 onwards
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 26
is true at
February 13th 2012, 18:36:12
By calculation (generator: ["airline_serving_place@trueknowledge.com"]) I know that:
Fact 26:
Shanghai Airlines
is an airline serving the place
Cebu
Fact 26
is true for
May 5th 2010, 10:34:52 onwards
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 26
is true at
February 13th 2012, 18:36:12
By calculation (generator: ["airline_serving_place@trueknowledge.com"]) I know that:
Fact 26:
Shenzhen Airlines
is an airline serving the place
Cebu
Fact 26
is true for
May 5th 2010, 10:35:28 onwards
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 26
is true at
February 13th 2012, 18:36:12
By calculation (generator: ["airline_serving_place@trueknowledge.com"]) I know that:
Fact 26:
SilkAir
is an airline serving the place
Cebu
Fact 26
is true for
May 5th 2010, 10:36:19 onwards
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 26
is true at
February 13th 2012, 18:36:12
By calculation (generator: ["moregeneral4@trueknowledge.com"]) I know that:
Iloilo International Airport
is an airport for
Cebu
By calculation (generator: ["airline_serving_place@trueknowledge.com"]) I know that:
Fact 26:
PAL Express
is an airline serving the place
Cebu
Fact 26
is true for
May 5th 2010, 10:23:59 onwards
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 26
is true at
February 13th 2012, 18:36:12
By calculation (generator: ["airline_serving_place@trueknowledge.com"]) I know that:
Fact 26
is true for
May 5th 2010, 10:24:03 onwards
By calculation (generator: ["moregeneral4@trueknowledge.com"]) I know that:
Surigao Airport
is an airport for
Cebu
Camiguin Airport
is an airport for
Cebu
By calculation (generator: ["airline_serving_place@trueknowledge.com"]) I know that:
Fact 26:
South East Asian Airlines
is an airline serving the place
Cebu
Fact 26
is true for
May 5th 2010, 10:38:01 onwards
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 26
is true at
February 13th 2012, 18:36:12
By calculation (generator: ["airline_serving_place@trueknowledge.com"]) I know that:
Fact 26
is true for
May 5th 2010, 10:37:59 onwards
By calculation (generator: ["moregeneral4@trueknowledge.com"]) I know that:
Bantayan Airport
is an airport for
Cebu
Tagbilaran Airport
is an airport for
Cebu
By calculation (generator: ["airline_serving_place@trueknowledge.com"]) I know that:
Fact 26:
Asian Spirit
is an airline serving the place
Cebu
Fact 26
is true for
May 5th 2010, 17:04:35 onwards
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 26
is true at
February 13th 2012, 18:36:12
By calculation (generator: ["airline_serving_place@trueknowledge.com"]) I know that:
Fact 26
is true for
May 5th 2010, 17:04:31 onwards
By calculation (generator: ["moregeneral4@trueknowledge.com"]) I know that:
Sibulan Airport
is an airport for
Cebu
By calculation (generator: ["airline_serving_place@trueknowledge.com"]) I know that:
Fact 26:
Cebu Pacific
is an airline serving the place
Cebu
Fact 26
is true for
May 5th 2010, 08:09:25 onwards
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 26
is true at
February 13th 2012, 18:36:12
By calculation (generator: ["airline_serving_place@trueknowledge.com"]) I know that:
Fact 26
is true for
May 5th 2010, 08:09:15 onwards
Fact 26:
Philippine Airlines
is an airline serving the place
Cebu
Fact 26
is true for
May 5th 2010, 10:25:19 onwards
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 26
is true at
February 13th 2012, 18:36:12
By calculation (generator: ["airline_serving_place@trueknowledge.com"]) I know that:
Fact 26
is true for
May 5th 2010, 10:25:11 onwards