By calculation (generator: ["now@trueknowledge.com"]) I know that:
The current time is February 13th 2012, 23:20:38
I know from locally stored knowledge that:
Sale Airport
is an airport for
Rabat
([fact: ["236485723@trueknowledge.com"]])
Fact 1:
Air France
is an airline serving the airport
Sale Airport
([fact: ["367401451@trueknowledge.com"]])
Fact 1
is true for
June 13th 2009, 00:00:00 onwards
([fact: ["367401455@trueknowledge.com"]])
By calculation (generator: ["airline_serving_place@trueknowledge.com"]) I know that:
Fact 2:
Air France
is an airline serving the place
Rabat
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, 23:20:38
I know from locally stored knowledge that:
Fact 3:
Royal Air Maroc
is an airline serving the airport
Sale Airport
([fact: ["800062220@trueknowledge.com"]])
Fact 3
is true for
May 5th 2010, 10:28:07 onwards
([fact: ["800062232@trueknowledge.com"]])
By calculation (generator: ["airline_serving_place@trueknowledge.com"]) I know that:
Fact 2:
Royal Air Maroc
is an airline serving the place
Rabat
Fact 2
is true for
May 5th 2010, 10:28:07 onwards
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 2
is true at
February 13th 2012, 23:20:38
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"]])
Rabat
is a
settlement
([fact: ["851689472@trueknowledge.com"]])
34°01'58"N
is the latitude of
Rabat
([fact: ["359224235@trueknowledge.com"]])
6°49'58"W
is the longitude of
Rabat
([fact: ["359224247@trueknowledge.com"]])
By calculation (generator: ["strictequal1@trueknowledge.com"]) I know that:
34°01'58"N and 6°49'58"W
is strictly equal to
34°01'58"N and 6°49'58"W
By calculation (generator: ["lat_long_to_c-square@trueknowledge.com"]) I know that:
[c-square: ["7300:246:208:133:122:477:477:488"]]
is the c-square version of the co-ordinates
34°01'58"N and 6°49'58"W
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: ["7300:246:208:133:122:477:477:488"]]
is the first parameter of
[c-square: ["7300:246:208:133:122:477:477:488"]] and 100 kilometres
By calculation (generator: ["second_parameter@trueknowledge.com"]) I know that:
100 kilometres
is the second parameter of
[c-square: ["7300:246:208:133:122:477:477:488"]] and 100 kilometres
kilometre
is the second parameter of
100 kilometres
I know from locally stored knowledge that:
Fact 5:
1
is the multiplier that converts
kilometre and kilometre
([fact: ["684486512@trueknowledge.com"]])
Fact 5
is true for
all time
([fact: ["689997328@trueknowledge.com"]])
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 5
is true at
February 13th 2012, 23:20:38
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 6:
100 kilometres
is equivalent to
100 kilometres
Fact 6
is true at
February 13th 2012, 23:20:38
Fact 6:
kilometre
is the unit used in
100 kilometres
By calculation (generator: ["covering_a_disc_with_c-squares@trueknowledge.com"]) I know that:
[c-square: ["7300:236"]]
is a c-square to test for the point and distance
[c-square: ["7300:246:208:133:122:477:477:488"]] and 100 kilometres
[c-square: ["7300:237"]]
is a c-square to test for the point and distance
[c-square: ["7300:246:208:133:122:477:477:488"]] and 100 kilometres
[c-square: ["7300:246"]]
is a c-square to test for the point and distance
[c-square: ["7300:246:208:133:122:477:477:488"]] and 100 kilometres
[c-square: ["7300:247"]]
is a c-square to test for the point and distance
[c-square: ["7300:246:208:133:122:477:477:488"]] and 100 kilometres
[c-square: ["7300:235:4"]]
is a c-square to test for the point and distance
[c-square: ["7300:246:208:133:122:477:477:488"]] and 100 kilometres
[c-square: ["7300:238:3"]]
is a c-square to test for the point and distance
[c-square: ["7300:246:208:133:122:477:477:488"]] and 100 kilometres
[c-square: ["7300:245:2"]]
is a c-square to test for the point and distance
[c-square: ["7300:246:208:133:122:477:477:488"]] and 100 kilometres
[c-square: ["7300:248:1"]]
is a c-square to test for the point and distance
[c-square: ["7300:246:208:133:122:477:477:488"]] and 100 kilometres
[c-square: ["7300:235:2"]]
is a c-square to test for the point and distance
[c-square: ["7300:246:208:133:122:477:477:488"]] and 100 kilometres
[c-square: ["7300:235:3"]]
is a c-square to test for the point and distance
[c-square: ["7300:246:208:133:122:477:477:488"]] and 100 kilometres
[c-square: ["7300:238:1"]]
is a c-square to test for the point and distance
[c-square: ["7300:246:208:133:122:477:477:488"]] and 100 kilometres
[c-square: ["7300:245:1"]]
is a c-square to test for the point and distance
[c-square: ["7300:246:208:133:122:477:477:488"]] and 100 kilometres
[c-square: ["7300:245:4"]]
is a c-square to test for the point and distance
[c-square: ["7300:246:208:133:122:477:477:488"]] and 100 kilometres
[c-square: ["7300:248:3"]]
is a c-square to test for the point and distance
[c-square: ["7300:246:208:133:122:477:477:488"]] and 100 kilometres
I know from locally stored knowledge that:
Air France
is an airline serving the airport
Mohammed V International Airport
([fact: ["367401443@trueknowledge.com"]])
Fact 7:
Lufthansa
is an airline serving the airport
Mohammed V International Airport
([fact: ["367402603@trueknowledge.com"]])
Fact 7
is true for
May 5th 2010, 10:14:47 onwards
([fact: ["800051780@trueknowledge.com"]])
Fact 7
is true for
June 13th 2009, 00:00:00 onwards
([fact: ["367402607@trueknowledge.com"]])
Fact 8:
Emirates Airlines
is an airline serving the airport
Mohammed V International Airport
([fact: ["367404907@trueknowledge.com"]])
Fact 8
is true for
May 5th 2010, 09:46:55 onwards
([fact: ["800029168@trueknowledge.com"]])
Fact 8
is true for
June 13th 2009, 00:00:00 onwards
([fact: ["367404911@trueknowledge.com"]])
Fact 9:
Air Algérie
is an airline serving the airport
Mohammed V International Airport
([fact: ["790589540@trueknowledge.com"]])
Fact 9
is true for
May 4th 2010, 16:53:05 onwards
([fact: ["799123772@trueknowledge.com"]])
Fact 10:
Air Nostrum
is an airline serving the airport
Mohammed V International Airport
([fact: ["799137780@trueknowledge.com"]])
Fact 10
is true for
May 4th 2010, 17:00:05 onwards
([fact: ["799137784@trueknowledge.com"]])
Fact 11:
Alitalia
is an airline serving the airport
Mohammed V International Airport
([fact: ["799145416@trueknowledge.com"]])
Fact 11
is true for
May 4th 2010, 17:03:54 onwards
([fact: ["799145420@trueknowledge.com"]])
Fact 12:
EasyJet
is an airline serving the airport
Mohammed V International Airport
([fact: ["800026936@trueknowledge.com"]])
Fact 12
is true for
May 5th 2010, 09:44:40 onwards
([fact: ["800026940@trueknowledge.com"]])
Fact 13:
Edelweiss Air
is an airline serving the airport
Mohammed V International Airport
([fact: ["800027480@trueknowledge.com"]])
Fact 13
is true for
May 5th 2010, 09:45:10 onwards
([fact: ["800027484@trueknowledge.com"]])
Fact 14:
EgyptAir
is an airline serving the airport
Mohammed V International Airport
([fact: ["800028216@trueknowledge.com"]])
Fact 14
is true for
May 5th 2010, 09:45:51 onwards
([fact: ["800028220@trueknowledge.com"]])
Fact 15:
Etihad Airways
is an airline serving the airport
Mohammed V International Airport
([fact: ["800030568@trueknowledge.com"]])
Fact 15
is true for
May 5th 2010, 09:48:16 onwards
([fact: ["800030572@trueknowledge.com"]])
Fact 16:
Iberia
is an airline serving the airport
Mohammed V International Airport
([fact: ["800037528@trueknowledge.com"]])
Fact 16
is true for
May 5th 2010, 09:54:47 onwards
([fact: ["800037532@trueknowledge.com"]])
Fact 17:
Jet4you
is an airline serving the airport
Mohammed V International Airport
([fact: ["800042808@trueknowledge.com"]])
Fact 17
is true for
May 5th 2010, 10:02:02 onwards
([fact: ["800042824@trueknowledge.com"]])
Fact 18:
Jetairfly
is an airline serving the airport
Mohammed V International Airport
([fact: ["800043808@trueknowledge.com"]])
Fact 18
is true for
May 5th 2010, 10:03:45 onwards
([fact: ["800043812@trueknowledge.com"]])
Fact 19:
Kuwait Airways
is an airline serving the airport
Mohammed V International Airport
([fact: ["800047868@trueknowledge.com"]])
Fact 19
is true for
May 5th 2010, 10:08:35 onwards
([fact: ["800047872@trueknowledge.com"]])
Fact 20:
Lufthansa Italia
is an airline serving the airport
Mohammed V International Airport
([fact: ["800051116@trueknowledge.com"]])
Fact 20
is true for
May 5th 2010, 10:13:41 onwards
([fact: ["800051120@trueknowledge.com"]])
Fact 21:
Meridiana
is an airline serving the airport
Mohammed V International Airport
([fact: ["800054112@trueknowledge.com"]])
Fact 21
is true for
May 5th 2010, 10:17:43 onwards
([fact: ["800054116@trueknowledge.com"]])
Fact 22:
Portugália
is an airline serving the airport
Mohammed V International Airport
([fact: ["800059940@trueknowledge.com"]])
Fact 22
is true for
May 5th 2010, 10:25:33 onwards
([fact: ["800059952@trueknowledge.com"]])
Fact 23:
Qatar Airways
is an airline serving the airport
Mohammed V International Airport
([fact: ["800060652@trueknowledge.com"]])
Fact 23
is true for
May 5th 2010, 10:26:28 onwards
([fact: ["800060656@trueknowledge.com"]])
Royal Air Maroc
is an airline serving the airport
Mohammed V International Airport
([fact: ["800062104@trueknowledge.com"]])
Fact 24:
Saudi Arabian Airlines
is an airline serving the airport
Mohammed V International Airport
([fact: ["800067588@trueknowledge.com"]])
Fact 24
is true for
May 5th 2010, 10:33:40 onwards
([fact: ["800067592@trueknowledge.com"]])
Fact 25:
TAP Portugal
is an airline serving the airport
Mohammed V International Airport
([fact: ["800159108@trueknowledge.com"]])
Fact 25
is true for
May 5th 2010, 16:52:53 onwards
([fact: ["800159112@trueknowledge.com"]])
Fact 26:
Trans World Airlines
is an airline serving the airport
Mohammed V International Airport
([fact: ["800161100@trueknowledge.com"]])
Fact 26
is true for
May 5th 2010, 16:54:13 onwards
([fact: ["800161104@trueknowledge.com"]])
Fact 27:
Vueling Airlines
is an airline serving the airport
Mohammed V International Airport
([fact: ["800166656@trueknowledge.com"]])
Fact 27
is true for
May 5th 2010, 17:02:34 onwards
([fact: ["800166660@trueknowledge.com"]])
Fact 28:
Ándalus Líneas Aéreas
is an airline serving the airport
Mohammed V International Airport
([fact: ["800170132@trueknowledge.com"]])
Fact 28
is true for
May 5th 2010, 17:04:38 onwards
([fact: ["800170136@trueknowledge.com"]])
Fact 29:
Syrian Arab Airlines
is an airline serving the airport
Casablanca-Anfa Airport
([fact: ["800074252@trueknowledge.com"]])
Fact 29
is true for
May 5th 2010, 10:41:05 onwards
([fact: ["800074256@trueknowledge.com"]])
By calculation (generator: ["airport_serving@trueknowledge.com"]) I know that:
Mohammed V International Airport
is the most important airport serving
Rabat
Casablanca-Anfa Airport
is the most important airport serving
Rabat
By calculation (generator: ["moregeneral4@trueknowledge.com"]) I know that:
Casablanca-Anfa Airport
is an airport for
Rabat
By calculation (generator: ["airline_serving_place@trueknowledge.com"]) I know that:
Fact 2:
Syrian Arab Airlines
is an airline serving the place
Rabat
Fact 2
is true for
May 5th 2010, 10:41:05 onwards
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 2
is true at
February 13th 2012, 23:20:38
By calculation (generator: ["moregeneral4@trueknowledge.com"]) I know that:
Mohammed V International Airport
is an airport for
Rabat
By calculation (generator: ["airline_serving_place@trueknowledge.com"]) I know that:
Fact 2:
Lufthansa
is an airline serving the place
Rabat
Fact 2
is true for
May 5th 2010, 10:14:47 onwards
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 2
is true at
February 13th 2012, 23:20:38
By calculation (generator: ["airline_serving_place@trueknowledge.com"]) I know that:
Fact 2
is true for
June 13th 2009, 00:00:00 onwards
Fact 2:
Emirates Airlines
is an airline serving the place
Rabat
Fact 2
is true for
May 5th 2010, 09:46:55 onwards
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 2
is true at
February 13th 2012, 23:20:38
By calculation (generator: ["airline_serving_place@trueknowledge.com"]) I know that:
Fact 2
is true for
June 13th 2009, 00:00:00 onwards
Fact 2:
Air Algérie
is an airline serving the place
Rabat
Fact 2
is true for
May 4th 2010, 16:53:05 onwards
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 2
is true at
February 13th 2012, 23:20:38
By calculation (generator: ["airline_serving_place@trueknowledge.com"]) I know that:
Fact 2:
Air Nostrum
is an airline serving the place
Rabat
Fact 2
is true for
May 4th 2010, 17:00:05 onwards
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 2
is true at
February 13th 2012, 23:20:38
By calculation (generator: ["airline_serving_place@trueknowledge.com"]) I know that:
Fact 2:
Alitalia
is an airline serving the place
Rabat
Fact 2
is true for
May 4th 2010, 17:03:54 onwards
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 2
is true at
February 13th 2012, 23:20:38
By calculation (generator: ["airline_serving_place@trueknowledge.com"]) I know that:
Fact 2:
EasyJet
is an airline serving the place
Rabat
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, 23:20:38
By calculation (generator: ["airline_serving_place@trueknowledge.com"]) I know that:
Fact 2:
Edelweiss Air
is an airline serving the place
Rabat
Fact 2
is true for
May 5th 2010, 09:45:10 onwards
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 2
is true at
February 13th 2012, 23:20:38
By calculation (generator: ["airline_serving_place@trueknowledge.com"]) I know that:
Fact 2:
EgyptAir
is an airline serving the place
Rabat
Fact 2
is true for
May 5th 2010, 09:45:51 onwards
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 2
is true at
February 13th 2012, 23:20:38
By calculation (generator: ["airline_serving_place@trueknowledge.com"]) I know that:
Fact 2:
Etihad Airways
is an airline serving the place
Rabat
Fact 2
is true for
May 5th 2010, 09:48:16 onwards
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 2
is true at
February 13th 2012, 23:20:38
By calculation (generator: ["airline_serving_place@trueknowledge.com"]) I know that:
Fact 2:
Iberia
is an airline serving the place
Rabat
Fact 2
is true for
May 5th 2010, 09:54:47 onwards
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 2
is true at
February 13th 2012, 23:20:38
By calculation (generator: ["airline_serving_place@trueknowledge.com"]) I know that:
Fact 2:
Jet4you
is an airline serving the place
Rabat
Fact 2
is true for
May 5th 2010, 10:02:02 onwards
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 2
is true at
February 13th 2012, 23:20:38
By calculation (generator: ["airline_serving_place@trueknowledge.com"]) I know that:
Fact 2:
Jetairfly
is an airline serving the place
Rabat
Fact 2
is true for
May 5th 2010, 10:03:45 onwards
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 2
is true at
February 13th 2012, 23:20:38
By calculation (generator: ["airline_serving_place@trueknowledge.com"]) I know that:
Fact 2:
Kuwait Airways
is an airline serving the place
Rabat
Fact 2
is true for
May 5th 2010, 10:08:35 onwards
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 2
is true at
February 13th 2012, 23:20:38
By calculation (generator: ["airline_serving_place@trueknowledge.com"]) I know that:
Fact 2:
Lufthansa Italia
is an airline serving the place
Rabat
Fact 2
is true for
May 5th 2010, 10:13:41 onwards
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 2
is true at
February 13th 2012, 23:20:38
By calculation (generator: ["airline_serving_place@trueknowledge.com"]) I know that:
Fact 2:
Meridiana
is an airline serving the place
Rabat
Fact 2
is true for
May 5th 2010, 10:17:43 onwards
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 2
is true at
February 13th 2012, 23:20:38
By calculation (generator: ["airline_serving_place@trueknowledge.com"]) I know that:
Fact 2:
Portugália
is an airline serving the place
Rabat
Fact 2
is true for
May 5th 2010, 10:25:33 onwards
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 2
is true at
February 13th 2012, 23:20:38
By calculation (generator: ["airline_serving_place@trueknowledge.com"]) I know that:
Fact 2:
Qatar Airways
is an airline serving the place
Rabat
Fact 2
is true for
May 5th 2010, 10:26:28 onwards
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 2
is true at
February 13th 2012, 23:20:38
By calculation (generator: ["airline_serving_place@trueknowledge.com"]) I know that:
Fact 2:
Saudi Arabian Airlines
is an airline serving the place
Rabat
Fact 2
is true for
May 5th 2010, 10:33:40 onwards
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 2
is true at
February 13th 2012, 23:20:38
By calculation (generator: ["airline_serving_place@trueknowledge.com"]) I know that:
Fact 2:
TAP Portugal
is an airline serving the place
Rabat
Fact 2
is true for
May 5th 2010, 16:52:53 onwards
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 2
is true at
February 13th 2012, 23:20:38
By calculation (generator: ["airline_serving_place@trueknowledge.com"]) I know that:
Fact 2:
Trans World Airlines
is an airline serving the place
Rabat
Fact 2
is true for
May 5th 2010, 16:54:13 onwards
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 2
is true at
February 13th 2012, 23:20:38
By calculation (generator: ["airline_serving_place@trueknowledge.com"]) I know that:
Fact 2:
Vueling Airlines
is an airline serving the place
Rabat
Fact 2
is true for
May 5th 2010, 17:02:34 onwards
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 2
is true at
February 13th 2012, 23:20:38
By calculation (generator: ["airline_serving_place@trueknowledge.com"]) I know that:
Fact 2:
Ándalus Líneas Aéreas
is an airline serving the place
Rabat
Fact 2
is true for
May 5th 2010, 17:04:38 onwards
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 2
is true at
February 13th 2012, 23:20:38