By calculation (generator: ["now@trueknowledge.com"]) I know that:
The current time is February 14th 2012, 04:37:38
I know from locally stored knowledge that:
Carrasco International Airport
is an airport for
Montevideo
([fact: ["151823545@trueknowledge.com"]])
Fact 1:
Air France
is an airline serving the airport
Carrasco International Airport
([fact: ["367402547@trueknowledge.com"]])
Fact 1
is true for
June 13th 2009, 00:00:00 onwards
([fact: ["367402551@trueknowledge.com"]])
By calculation (generator: ["airline_serving_place@trueknowledge.com"]) I know that:
Fact 2:
Air France
is an airline serving the place
Montevideo
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 14th 2012, 04:37:38
I know from locally stored knowledge that:
Fact 3:
American Airlines, Inc.
is an airline serving the airport
Carrasco International Airport
([fact: ["367406735@trueknowledge.com"]])
Fact 3
is true for
June 13th 2009, 00:00:00 onwards
([fact: ["367406739@trueknowledge.com"]])
By calculation (generator: ["airline_serving_place@trueknowledge.com"]) I know that:
Fact 2:
American Airlines, Inc.
is an airline serving the place
Montevideo
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 14th 2012, 04:37:38
I know from locally stored knowledge that:
Fact 5:
TAM Airlines
is an airline serving the airport
Carrasco International Airport
([fact: ["367414479@trueknowledge.com"]])
Fact 5
is true for
May 5th 2010, 16:52:26 onwards
([fact: ["800158544@trueknowledge.com"]])
Fact 5
is true for
June 13th 2009, 00:00:00 onwards
([fact: ["367414483@trueknowledge.com"]])
By calculation (generator: ["airline_serving_place@trueknowledge.com"]) I know that:
Fact 2:
TAM Airlines
is an airline serving the place
Montevideo
Fact 2
is true for
May 5th 2010, 16:52:26 onwards
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 2
is true at
February 14th 2012, 04:37:38
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 7:
Air Regional
is an airline serving the airport
Carrasco International Airport
([fact: ["790584600@trueknowledge.com"]])
Fact 7
is true for
May 4th 2010, 16:51:09 onwards
([fact: ["799121012@trueknowledge.com"]])
By calculation (generator: ["airline_serving_place@trueknowledge.com"]) I know that:
Fact 2:
Air Regional
is an airline serving the place
Montevideo
Fact 2
is true for
May 4th 2010, 16:51:09 onwards
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 2
is true at
February 14th 2012, 04:37:38
I know from locally stored knowledge that:
Fact 9:
Copa Airlines
is an airline serving the airport
Carrasco International Airport
([fact: ["800020400@trueknowledge.com"]])
Fact 9
is true for
May 5th 2010, 08:15:38 onwards
([fact: ["800020416@trueknowledge.com"]])
By calculation (generator: ["airline_serving_place@trueknowledge.com"]) I know that:
Fact 2:
Copa Airlines
is an airline serving the place
Montevideo
Fact 2
is true for
May 5th 2010, 08:15:38 onwards
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 2
is true at
February 14th 2012, 04:37:38
I know from locally stored knowledge that:
Fact 11:
Gol Transportes Aéreos
is an airline serving the airport
Carrasco International Airport
([fact: ["800033736@trueknowledge.com"]])
Fact 11
is true for
May 5th 2010, 09:51:15 onwards
([fact: ["800033740@trueknowledge.com"]])
By calculation (generator: ["airline_serving_place@trueknowledge.com"]) I know that:
Fact 2:
Gol Transportes Aéreos
is an airline serving the place
Montevideo
Fact 2
is true for
May 5th 2010, 09:51:15 onwards
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 2
is true at
February 14th 2012, 04:37:38
I know from locally stored knowledge that:
Fact 13:
Iberia
is an airline serving the airport
Carrasco International Airport
([fact: ["800037032@trueknowledge.com"]])
Fact 13
is true for
May 5th 2010, 09:54:22 onwards
([fact: ["800037040@trueknowledge.com"]])
By calculation (generator: ["airline_serving_place@trueknowledge.com"]) I know that:
Fact 2:
Iberia
is an airline serving the place
Montevideo
Fact 2
is true for
May 5th 2010, 09:54:22 onwards
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 2
is true at
February 14th 2012, 04:37:38
I know from locally stored knowledge that:
Fact 15:
LAN Airlines
is an airline serving the airport
Carrasco International Airport
([fact: ["800048004@trueknowledge.com"]])
Fact 15
is true for
May 5th 2010, 10:08:46 onwards
([fact: ["800048008@trueknowledge.com"]])
By calculation (generator: ["airline_serving_place@trueknowledge.com"]) I know that:
Fact 2:
LAN Airlines
is an airline serving the place
Montevideo
Fact 2
is true for
May 5th 2010, 10:08:46 onwards
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 2
is true at
February 14th 2012, 04:37:38
I know from locally stored knowledge that:
Fact 17:
Lloyd Aereo Boliviano
is an airline serving the airport
Carrasco International Airport
([fact: ["800050260@trueknowledge.com"]])
Fact 17
is true for
May 5th 2010, 10:12:51 onwards
([fact: ["800050276@trueknowledge.com"]])
By calculation (generator: ["airline_serving_place@trueknowledge.com"]) I know that:
Fact 2:
Lloyd Aereo Boliviano
is an airline serving the place
Montevideo
Fact 2
is true for
May 5th 2010, 10:12:51 onwards
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 2
is true at
February 14th 2012, 04:37:38
I know from locally stored knowledge that:
Fact 19:
Martinair
is an airline serving the airport
Carrasco International Airport
([fact: ["800053656@trueknowledge.com"]])
Fact 19
is true for
May 5th 2010, 10:17:07 onwards
([fact: ["800053660@trueknowledge.com"]])
By calculation (generator: ["airline_serving_place@trueknowledge.com"]) I know that:
Fact 2:
Martinair
is an airline serving the place
Montevideo
Fact 2
is true for
May 5th 2010, 10:17:07 onwards
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 2
is true at
February 14th 2012, 04:37:38
I know from locally stored knowledge that:
Fact 21:
PLUNA
is an airline serving the airport
Carrasco International Airport
([fact: ["800058640@trueknowledge.com"]])
Fact 21
is true for
May 5th 2010, 10:24:12 onwards
([fact: ["800058644@trueknowledge.com"]])
By calculation (generator: ["airline_serving_place@trueknowledge.com"]) I know that:
Fact 2:
PLUNA
is an airline serving the place
Montevideo
Fact 2
is true for
May 5th 2010, 10:24:12 onwards
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 2
is true at
February 14th 2012, 04:37:38
I know from locally stored knowledge that:
Fact 23:
TACA Peru
is an airline serving the airport
Carrasco International Airport
([fact: ["800158028@trueknowledge.com"]])
Fact 23
is true for
May 5th 2010, 16:52:04 onwards
([fact: ["800158032@trueknowledge.com"]])
By calculation (generator: ["airline_serving_place@trueknowledge.com"]) I know that:
Fact 2:
TACA Peru
is an airline serving the place
Montevideo
Fact 2
is true for
May 5th 2010, 16:52:04 onwards
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 2
is true at
February 14th 2012, 04:37:38
I know from locally stored knowledge that:
Fact 25:
Grupo TACA
is an airline serving the airport
Carrasco International Airport
([fact: ["800158212@trueknowledge.com"]])
Fact 25
is true for
May 5th 2010, 16:52:11 onwards
([fact: ["800158216@trueknowledge.com"]])
By calculation (generator: ["airline_serving_place@trueknowledge.com"]) I know that:
Fact 2:
Grupo TACA
is an airline serving the place
Montevideo
Fact 2
is true for
May 5th 2010, 16:52:11 onwards
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 2
is true at
February 14th 2012, 04:37: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"]])
Montevideo
is a
settlement
([fact: ["91372867@trueknowledge.com"]])
34°51'29"S
is the latitude of
Montevideo
([fact: ["91372897@trueknowledge.com"]])
56°10'15"W
is the longitude of
Montevideo
([fact: ["91372898@trueknowledge.com"]])
By calculation (generator: ["strictequal1@trueknowledge.com"]) I know that:
34°51'29"S and 56°10'15"W
is strictly equal to
34°51'29"S and 56°10'15"W
By calculation (generator: ["lat_long_to_c-square@trueknowledge.com"]) I know that:
[c-square: ["5305:246:381:457:380:208:353:363"]]
is the c-square version of the co-ordinates
34°51'29"S and 56°10'15"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: ["5305:246:381:457:380:208:353:363"]]
is the first parameter of
[c-square: ["5305:246:381:457:380:208:353:363"]] and 100 kilometres
By calculation (generator: ["second_parameter@trueknowledge.com"]) I know that:
100 kilometres
is the second parameter of
[c-square: ["5305:246:381:457:380:208:353:363"]] 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 14th 2012, 04:37: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 28:
100 kilometres
is equivalent to
100 kilometres
Fact 28
is true at
February 14th 2012, 04:37:38
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: ["5305:245"]]
is a c-square to test for the point and distance
[c-square: ["5305:246:381:457:380:208:353:363"]] and 100 kilometres
[c-square: ["5305:246"]]
is a c-square to test for the point and distance
[c-square: ["5305:246:381:457:380:208:353:363"]] and 100 kilometres
[c-square: ["5305:247"]]
is a c-square to test for the point and distance
[c-square: ["5305:246:381:457:380:208:353:363"]] and 100 kilometres
[c-square: ["5305:455"]]
is a c-square to test for the point and distance
[c-square: ["5305:246:381:457:380:208:353:363"]] and 100 kilometres
[c-square: ["5305:456"]]
is a c-square to test for the point and distance
[c-square: ["5305:246:381:457:380:208:353:363"]] and 100 kilometres
[c-square: ["5305:144:4"]]
is a c-square to test for the point and distance
[c-square: ["5305:246:381:457:380:208:353:363"]] and 100 kilometres
[c-square: ["5305:457:1"]]
is a c-square to test for the point and distance
[c-square: ["5305:246:381:457:380:208:353:363"]] and 100 kilometres
[c-square: ["5305:144:2"]]
is a c-square to test for the point and distance
[c-square: ["5305:246:381:457:380:208:353:363"]] and 100 kilometres
[c-square: ["5305:235:4"]]
is a c-square to test for the point and distance
[c-square: ["5305:246:381:457:380:208:353:363"]] and 100 kilometres
[c-square: ["5305:236:3"]]
is a c-square to test for the point and distance
[c-square: ["5305:246:381:457:380:208:353:363"]] and 100 kilometres
[c-square: ["5305:236:4"]]
is a c-square to test for the point and distance
[c-square: ["5305:246:381:457:380:208:353:363"]] and 100 kilometres
[c-square: ["5305:354:2"]]
is a c-square to test for the point and distance
[c-square: ["5305:246:381:457:380:208:353:363"]] and 100 kilometres
[c-square: ["5305:457:2"]]
is a c-square to test for the point and distance
[c-square: ["5305:246:381:457:380:208:353:363"]] and 100 kilometres
[c-square: ["5305:457:3"]]
is a c-square to test for the point and distance
[c-square: ["5305:246:381:457:380:208:353:363"]] and 100 kilometres
I know from locally stored knowledge that:
Air Regional
is an airline serving the airport
Capitan Corbeta CA Curbelo International Airport
([fact: ["790584536@trueknowledge.com"]])
Fact 29:
Austral
is an airline serving the airport
Capitan Corbeta CA Curbelo International Airport
([fact: ["799155000@trueknowledge.com"]])
Fact 29
is true for
May 4th 2010, 17:09:42 onwards
([fact: ["799155004@trueknowledge.com"]])
PLUNA
is an airline serving the airport
Capitan Corbeta CA Curbelo International Airport
([fact: ["800058632@trueknowledge.com"]])
TAM Airlines
is an airline serving the airport
Capitan Corbeta CA Curbelo International Airport
([fact: ["800158536@trueknowledge.com"]])
By calculation (generator: ["airport_serving@trueknowledge.com"]) I know that:
Capitan Corbeta CA Curbelo International Airport
is the most important airport serving
Montevideo
Carrasco International Airport
is the most important airport serving
Montevideo
By calculation (generator: ["moregeneral4@trueknowledge.com"]) I know that:
Capitan Corbeta CA Curbelo International Airport
is an airport for
Montevideo
By calculation (generator: ["airline_serving_place@trueknowledge.com"]) I know that:
Fact 2:
Austral
is an airline serving the place
Montevideo
Fact 2
is true for
May 4th 2010, 17:09:42 onwards
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 2
is true at
February 14th 2012, 04:37:38