By calculation (generator: ["now@trueknowledge.com"]) I know that:
The current time is February 13th 2012, 18:24:34
I know from locally stored knowledge that:
Adnan Menderes Airport
is an airport for
?zmir
([fact: ["368265711@trueknowledge.com"]])
Fact 1:
British Airways
is an airline serving the airport
Adnan Menderes Airport
([fact: ["367400859@trueknowledge.com"]])
Fact 1
is true for
June 13th 2009, 00:00:00 onwards
([fact: ["367400863@trueknowledge.com"]])
By calculation (generator: ["airline_serving_place@trueknowledge.com"]) I know that:
Fact 2:
British Airways
is an airline serving the place
?zmir
Fact 2
is true for
June 13th 2009, 00:00:00 onwards
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 2
is true at
February 13th 2012, 18:24:34
I know from locally stored knowledge that:
Fact 3:
Lufthansa
is an airline serving the airport
Adnan Menderes Airport
([fact: ["367403755@trueknowledge.com"]])
Fact 3
is true for
May 5th 2010, 10:13:44 onwards
([fact: ["800051168@trueknowledge.com"]])
Fact 3
is true for
June 13th 2009, 00:00:00 onwards
([fact: ["367403759@trueknowledge.com"]])
By calculation (generator: ["airline_serving_place@trueknowledge.com"]) I know that:
Fact 2:
Lufthansa
is an airline serving the place
?zmir
Fact 2
is true for
May 5th 2010, 10:13:44 onwards
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 2
is true at
February 13th 2012, 18:24:34
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 5:
Anadolujet
is an airline serving the airport
Adnan Menderes Airport
([fact: ["799151416@trueknowledge.com"]])
Fact 5
is true for
May 4th 2010, 17:07:36 onwards
([fact: ["799151420@trueknowledge.com"]])
By calculation (generator: ["airline_serving_place@trueknowledge.com"]) I know that:
Fact 2:
Anadolujet
is an airline serving the place
?zmir
Fact 2
is true for
May 4th 2010, 17:07:36 onwards
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 2
is true at
February 13th 2012, 18:24:34
I know from locally stored knowledge that:
Fact 7:
Cyprus Turkish Airlines
is an airline serving the airport
Adnan Menderes Airport
([fact: ["800021704@trueknowledge.com"]])
Fact 7
is true for
May 5th 2010, 08:16:25 onwards
([fact: ["800021720@trueknowledge.com"]])
By calculation (generator: ["airline_serving_place@trueknowledge.com"]) I know that:
Fact 2:
Cyprus Turkish Airlines
is an airline serving the place
?zmir
Fact 2
is true for
May 5th 2010, 08:16:25 onwards
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 2
is true at
February 13th 2012, 18:24:34
I know from locally stored knowledge that:
Fact 9:
Germanwings
is an airline serving the airport
Adnan Menderes Airport
([fact: ["800033112@trueknowledge.com"]])
Fact 9
is true for
May 5th 2010, 09:50:40 onwards
([fact: ["800033116@trueknowledge.com"]])
By calculation (generator: ["airline_serving_place@trueknowledge.com"]) I know that:
Fact 2:
Germanwings
is an airline serving the place
?zmir
Fact 2
is true for
May 5th 2010, 09:50:40 onwards
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 2
is true at
February 13th 2012, 18:24:34
I know from locally stored knowledge that:
Fact 11:
Hamburg International
is an airline serving the airport
Adnan Menderes Airport
([fact: ["800035688@trueknowledge.com"]])
Fact 11
is true for
May 5th 2010, 09:53:06 onwards
([fact: ["800035700@trueknowledge.com"]])
By calculation (generator: ["airline_serving_place@trueknowledge.com"]) I know that:
Fact 2:
Hamburg International
is an airline serving the place
?zmir
Fact 2
is true for
May 5th 2010, 09:53:06 onwards
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 2
is true at
February 13th 2012, 18:24:34
I know from locally stored knowledge that:
Fact 13:
Izair
is an airline serving the airport
Adnan Menderes Airport
([fact: ["800036744@trueknowledge.com"]])
Fact 13
is true for
May 5th 2010, 09:54:06 onwards
([fact: ["800036748@trueknowledge.com"]])
By calculation (generator: ["airline_serving_place@trueknowledge.com"]) I know that:
Fact 2:
Izair
is an airline serving the place
?zmir
Fact 2
is true for
May 5th 2010, 09:54:06 onwards
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 2
is true at
February 13th 2012, 18:24:34
I know from locally stored knowledge that:
Fact 15:
Jetairfly
is an airline serving the airport
Adnan Menderes Airport
([fact: ["800043368@trueknowledge.com"]])
Fact 15
is true for
May 5th 2010, 10:02:57 onwards
([fact: ["800043376@trueknowledge.com"]])
By calculation (generator: ["airline_serving_place@trueknowledge.com"]) I know that:
Fact 2:
Jetairfly
is an airline serving the place
?zmir
Fact 2
is true for
May 5th 2010, 10:02:57 onwards
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 2
is true at
February 13th 2012, 18:24:34
I know from locally stored knowledge that:
Fact 17:
Thomas Cook Airlines
is an airline serving the airport
Adnan Menderes Airport
([fact: ["800162912@trueknowledge.com"]])
Fact 17
is true for
May 5th 2010, 16:55:26 onwards
([fact: ["800162920@trueknowledge.com"]])
By calculation (generator: ["airline_serving_place@trueknowledge.com"]) I know that:
Fact 2:
Thomas Cook Airlines
is an airline serving the place
?zmir
Fact 2
is true for
May 5th 2010, 16:55:26 onwards
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 2
is true at
February 13th 2012, 18:24:34
I know from locally stored knowledge that:
Fact 19:
Thomson Airways
is an airline serving the airport
Adnan Menderes Airport
([fact: ["800163312@trueknowledge.com"]])
Fact 19
is true for
May 5th 2010, 16:55:50 onwards
([fact: ["800163316@trueknowledge.com"]])
By calculation (generator: ["airline_serving_place@trueknowledge.com"]) I know that:
Fact 2:
Thomson Airways
is an airline serving the place
?zmir
Fact 2
is true for
May 5th 2010, 16:55:50 onwards
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 2
is true at
February 13th 2012, 18:24:34
I know from locally stored knowledge that:
Fact 21:
Transavia.com France
is an airline serving the airport
Adnan Menderes Airport
([fact: ["800164760@trueknowledge.com"]])
Fact 21
is true for
May 5th 2010, 16:56:49 onwards
([fact: ["800164764@trueknowledge.com"]])
By calculation (generator: ["airline_serving_place@trueknowledge.com"]) I know that:
Fact 2:
Transavia.com France
is an airline serving the place
?zmir
Fact 2
is true for
May 5th 2010, 16:56:49 onwards
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 2
is true at
February 13th 2012, 18:24:34
I know from locally stored knowledge that:
Fact 23:
transavia.com
is an airline serving the airport
Adnan Menderes Airport
([fact: ["800164992@trueknowledge.com"]])
Fact 23
is true for
May 5th 2010, 16:56:58 onwards
([fact: ["800164996@trueknowledge.com"]])
By calculation (generator: ["airline_serving_place@trueknowledge.com"]) I know that:
Fact 2:
transavia.com
is an airline serving the place
?zmir
Fact 2
is true for
May 5th 2010, 16:56:58 onwards
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 2
is true at
February 13th 2012, 18:24:34
I know from locally stored knowledge that:
Fact 25:
XL Airways France
is an airline serving the airport
Adnan Menderes Airport
([fact: ["800168648@trueknowledge.com"]])
Fact 25
is true for
May 5th 2010, 17:03:56 onwards
([fact: ["800168652@trueknowledge.com"]])
By calculation (generator: ["airline_serving_place@trueknowledge.com"]) I know that:
Fact 2:
XL Airways France
is an airline serving the place
?zmir
Fact 2
is true for
May 5th 2010, 17:03:56 onwards
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 2
is true at
February 13th 2012, 18:24:34
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"]])
?zmir
is a
settlement
([fact: ["244909194@trueknowledge.com"]])
38°15'00"N
is the latitude of
?zmir
([fact: ["56166981@trueknowledge.com"]])
27°30'00"E
is the longitude of
?zmir
([fact: ["56166982@trueknowledge.com"]])
By calculation (generator: ["strictequal1@trueknowledge.com"]) I know that:
38°15'00"N and 27°30'00"E
is strictly equal to
38°15'00"N and 27°30'00"E
By calculation (generator: ["lat_long_to_c-square@trueknowledge.com"]) I know that:
[c-square: ["1302:487:225:350:100:100:100:100"]]
is the c-square version of the co-ordinates
38°15'00"N and 27°30'00"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: ["1302:487:225:350:100:100:100:100"]]
is the first parameter of
[c-square: ["1302:487:225:350:100:100:100:100"]] and 100 kilometres
By calculation (generator: ["second_parameter@trueknowledge.com"]) I know that:
100 kilometres
is the second parameter of
[c-square: ["1302:487:225:350:100:100:100:100"]] and 100 kilometres
kilometre
is the second parameter of
100 kilometres
I know from locally stored knowledge that:
Fact 27:
1
is the multiplier that converts
kilometre and kilometre
([fact: ["684486512@trueknowledge.com"]])
Fact 27
is true for
all time
([fact: ["689997328@trueknowledge.com"]])
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 27
is true at
February 13th 2012, 18:24:34
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 28:
100 kilometres
is equivalent to
100 kilometres
Fact 28
is true at
February 13th 2012, 18:24:34
Fact 28:
kilometre
is the unit used in
100 kilometres
By calculation (generator: ["covering_a_disc_with_c-squares@trueknowledge.com"]) I know that:
[c-square: ["1302:476"]]
is a c-square to test for the point and distance
[c-square: ["1302:487:225:350:100:100:100:100"]] and 100 kilometres
[c-square: ["1302:477"]]
is a c-square to test for the point and distance
[c-square: ["1302:487:225:350:100:100:100:100"]] and 100 kilometres
[c-square: ["1302:478"]]
is a c-square to test for the point and distance
[c-square: ["1302:487:225:350:100:100:100:100"]] and 100 kilometres
[c-square: ["1302:486"]]
is a c-square to test for the point and distance
[c-square: ["1302:487:225:350:100:100:100:100"]] and 100 kilometres
[c-square: ["1302:487"]]
is a c-square to test for the point and distance
[c-square: ["1302:487:225:350:100:100:100:100"]] and 100 kilometres
[c-square: ["1302:488"]]
is a c-square to test for the point and distance
[c-square: ["1302:487:225:350:100:100:100:100"]] and 100 kilometres
[c-square: ["1302:497"]]
is a c-square to test for the point and distance
[c-square: ["1302:487:225:350:100:100:100:100"]] and 100 kilometres
[c-square: ["1302:496:208"]]
is a c-square to test for the point and distance
[c-square: ["1302:487:225:350:100:100:100:100"]] and 100 kilometres
[c-square: ["1302:496:209"]]
is a c-square to test for the point and distance
[c-square: ["1302:487:225:350:100:100:100:100"]] and 100 kilometres
[c-square: ["1302:498:100"]]
is a c-square to test for the point and distance
[c-square: ["1302:487:225:350:100:100:100:100"]] and 100 kilometres
[c-square: ["1302:498:101"]]
is a c-square to test for the point and distance
[c-square: ["1302:487:225:350:100:100:100:100"]] and 100 kilometres
[c-square: ["1302:496:206"]]
is a c-square to test for the point and distance
[c-square: ["1302:487:225:350:100:100:100:100"]] and 100 kilometres
[c-square: ["1302:496:207"]]
is a c-square to test for the point and distance
[c-square: ["1302:487:225:350:100:100:100:100"]] and 100 kilometres
[c-square: ["1302:498:102"]]
is a c-square to test for the point and distance
[c-square: ["1302:487:225:350:100:100:100:100"]] and 100 kilometres
[c-square: ["1302:498:103"]]
is a c-square to test for the point and distance
[c-square: ["1302:487:225:350:100:100:100:100"]] and 100 kilometres
I know from locally stored knowledge that:
Fact 29:
Air Berlin
is an airline serving the airport
Milas-Bodrum Airport
([fact: ["790593316@trueknowledge.com"]])
Fact 29
is true for
May 4th 2010, 16:54:18 onwards
([fact: ["799125764@trueknowledge.com"]])
Fact 30:
Air Italy Polska
is an airline serving the airport
Milas-Bodrum Airport
([fact: ["799132688@trueknowledge.com"]])
Fact 30
is true for
May 4th 2010, 16:57:47 onwards
([fact: ["799132720@trueknowledge.com"]])
Fact 31:
airBaltic
is an airline serving the airport
Milas-Bodrum Airport
([fact: ["799142880@trueknowledge.com"]])
Fact 31
is true for
May 4th 2010, 17:02:36 onwards
([fact: ["799142884@trueknowledge.com"]])
Anadolujet
is an airline serving the airport
Milas-Bodrum Airport
([fact: ["799151476@trueknowledge.com"]])
Fact 32:
Arkefly
is an airline serving the airport
Milas-Bodrum Airport
([fact: ["799152420@trueknowledge.com"]])
Fact 32
is true for
May 4th 2010, 17:08:04 onwards
([fact: ["799152424@trueknowledge.com"]])
Fact 33:
EasyJet
is an airline serving the airport
Milas-Bodrum Airport
([fact: ["800026928@trueknowledge.com"]])
Fact 33
is true for
May 5th 2010, 09:44:40 onwards
([fact: ["800026932@trueknowledge.com"]])
Fact 34:
Edelweiss Air
is an airline serving the airport
Milas-Bodrum Airport
([fact: ["800027472@trueknowledge.com"]])
Fact 34
is true for
May 5th 2010, 09:45:09 onwards
([fact: ["800027476@trueknowledge.com"]])
Izair
is an airline serving the airport
Milas-Bodrum Airport
([fact: ["800036832@trueknowledge.com"]])
Jetairfly
is an airline serving the airport
Milas-Bodrum Airport
([fact: ["800043788@trueknowledge.com"]])
Fact 35:
Luxair
is an airline serving the airport
Milas-Bodrum Airport
([fact: ["800052412@trueknowledge.com"]])
Fact 35
is true for
May 5th 2010, 10:15:53 onwards
([fact: ["800052420@trueknowledge.com"]])
Fact 36:
Tarom
is an airline serving the airport
Milas-Bodrum Airport
([fact: ["800159556@trueknowledge.com"]])
Fact 36
is true for
May 5th 2010, 16:53:11 onwards
([fact: ["800159560@trueknowledge.com"]])
Thomas Cook Airlines
is an airline serving the airport
Milas-Bodrum Airport
([fact: ["800163056@trueknowledge.com"]])
Thomson Airways
is an airline serving the airport
Milas-Bodrum Airport
([fact: ["800163832@trueknowledge.com"]])
transavia.com
is an airline serving the airport
Milas-Bodrum Airport
([fact: ["800165488@trueknowledge.com"]])
Fact 37:
Aegean Airlines
is an airline serving the airport
Chios Island National Airport
([fact: ["790577760@trueknowledge.com"]])
Fact 37
is true for
May 4th 2010, 16:49:28 onwards
([fact: ["799118688@trueknowledge.com"]])
Fact 38:
Olympic Air
is an airline serving the airport
Chios Island National Airport
([fact: ["800057844@trueknowledge.com"]])
Fact 38
is true for
May 5th 2010, 10:23:19 onwards
([fact: ["800057856@trueknowledge.com"]])
transavia.com
is an airline serving the airport
Chios Island National Airport
([fact: ["800165104@trueknowledge.com"]])
By calculation (generator: ["airport_serving@trueknowledge.com"]) I know that:
Milas-Bodrum Airport
is the most important airport serving
?zmir
Chios Island National Airport
is the most important airport serving
?zmir
Adnan Menderes Airport
is the most important airport serving
?zmir
By calculation (generator: ["moregeneral4@trueknowledge.com"]) I know that:
Chios Island National Airport
is an airport for
?zmir
By calculation (generator: ["airline_serving_place@trueknowledge.com"]) I know that:
Fact 2:
Aegean Airlines
is an airline serving the place
?zmir
Fact 2
is true for
May 4th 2010, 16:49:28 onwards
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 2
is true at
February 13th 2012, 18:24:34
By calculation (generator: ["airline_serving_place@trueknowledge.com"]) I know that:
Fact 2:
Olympic Air
is an airline serving the place
?zmir
Fact 2
is true for
May 5th 2010, 10:23:19 onwards
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 2
is true at
February 13th 2012, 18:24:34
By calculation (generator: ["moregeneral4@trueknowledge.com"]) I know that:
Milas-Bodrum Airport
is an airport for
?zmir
By calculation (generator: ["airline_serving_place@trueknowledge.com"]) I know that:
Fact 2:
Air Berlin
is an airline serving the place
?zmir
Fact 2
is true for
May 4th 2010, 16:54:18 onwards
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 2
is true at
February 13th 2012, 18:24:34
By calculation (generator: ["airline_serving_place@trueknowledge.com"]) I know that:
Fact 2:
Air Italy Polska
is an airline serving the place
?zmir
Fact 2
is true for
May 4th 2010, 16:57:47 onwards
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 2
is true at
February 13th 2012, 18:24:34
By calculation (generator: ["airline_serving_place@trueknowledge.com"]) I know that:
Fact 2:
airBaltic
is an airline serving the place
?zmir
Fact 2
is true for
May 4th 2010, 17:02:36 onwards
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 2
is true at
February 13th 2012, 18:24:34
By calculation (generator: ["airline_serving_place@trueknowledge.com"]) I know that:
Fact 2:
Arkefly
is an airline serving the place
?zmir
Fact 2
is true for
May 4th 2010, 17:08:04 onwards
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 2
is true at
February 13th 2012, 18:24:34
By calculation (generator: ["airline_serving_place@trueknowledge.com"]) I know that:
Fact 2:
EasyJet
is an airline serving the place
?zmir
Fact 2
is true for
May 5th 2010, 09:44:40 onwards
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 2
is true at
February 13th 2012, 18:24:34
By calculation (generator: ["airline_serving_place@trueknowledge.com"]) I know that:
Fact 2:
Edelweiss Air
is an airline serving the place
?zmir
Fact 2
is true for
May 5th 2010, 09:45:09 onwards
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 2
is true at
February 13th 2012, 18:24:34
By calculation (generator: ["airline_serving_place@trueknowledge.com"]) I know that:
Fact 2:
Luxair
is an airline serving the place
?zmir
Fact 2
is true for
May 5th 2010, 10:15:53 onwards
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 2
is true at
February 13th 2012, 18:24:34
By calculation (generator: ["airline_serving_place@trueknowledge.com"]) I know that:
Fact 2:
Tarom
is an airline serving the place
?zmir
Fact 2
is true for
May 5th 2010, 16:53:11 onwards
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 2
is true at
February 13th 2012, 18:24:34