By calculation (generator: ["now@trueknowledge.com"]) I know that:
The current time is February 12th 2012, 08:52:16
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"]])
Kaindisoy
is a
settlement
([fact: ["93355835@trueknowledge.com"]])
40°29'34"N
is the latitude of
Kaindisoy
([fact: ["93355857@trueknowledge.com"]])
69°42'09"E
is the longitude of
Kaindisoy
([fact: ["93355858@trueknowledge.com"]])
By calculation (generator: ["strictequal1@trueknowledge.com"]) I know that:
40°29'34"N and 69°42'09"E
is strictly equal to
40°29'34"N and 69°42'09"E
By calculation (generator: ["lat_long_to_c-square@trueknowledge.com"]) I know that:
[c-square: ["1406:209:247:390:122:475:370:380"]]
is the c-square version of the co-ordinates
40°29'34"N and 69°42'09"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: ["1406:209:247:390:122:475:370:380"]]
is the first parameter of
[c-square: ["1406:209:247:390:122:475:370:380"]] and 100 kilometres
By calculation (generator: ["second_parameter@trueknowledge.com"]) I know that:
100 kilometres
is the second parameter of
[c-square: ["1406:209:247:390:122:475:370:380"]] 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 12th 2012, 08:52:16
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 12th 2012, 08:52:16
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: ["1306:499"]]
is a c-square to test for the point and distance
[c-square: ["1406:209:247:390:122:475:370:380"]] and 100 kilometres
[c-square: ["1406:208"]]
is a c-square to test for the point and distance
[c-square: ["1406:209:247:390:122:475:370:380"]] and 100 kilometres
[c-square: ["1406:209"]]
is a c-square to test for the point and distance
[c-square: ["1406:209:247:390:122:475:370:380"]] and 100 kilometres
[c-square: ["1406:219"]]
is a c-square to test for the point and distance
[c-square: ["1406:209:247:390:122:475:370:380"]] and 100 kilometres
[c-square: ["1407:100"]]
is a c-square to test for the point and distance
[c-square: ["1406:209:247:390:122:475:370:380"]] and 100 kilometres
[c-square: ["1306:498:4"]]
is a c-square to test for the point and distance
[c-square: ["1406:209:247:390:122:475:370:380"]] and 100 kilometres
[c-square: ["1307:390:3"]]
is a c-square to test for the point and distance
[c-square: ["1406:209:247:390:122:475:370:380"]] and 100 kilometres
[c-square: ["1406:218:2"]]
is a c-square to test for the point and distance
[c-square: ["1406:209:247:390:122:475:370:380"]] and 100 kilometres
[c-square: ["1407:110:1"]]
is a c-square to test for the point and distance
[c-square: ["1406:209:247:390:122:475:370:380"]] and 100 kilometres
[c-square: ["1306:498:3"]]
is a c-square to test for the point and distance
[c-square: ["1406:209:247:390:122:475:370:380"]] and 100 kilometres
[c-square: ["1307:390:4"]]
is a c-square to test for the point and distance
[c-square: ["1406:209:247:390:122:475:370:380"]] and 100 kilometres
[c-square: ["1406:218:1"]]
is a c-square to test for the point and distance
[c-square: ["1406:209:247:390:122:475:370:380"]] and 100 kilometres
[c-square: ["1407:110:2"]]
is a c-square to test for the point and distance
[c-square: ["1406:209:247:390:122:475:370:380"]] and 100 kilometres
I know from locally stored knowledge that:
Fact 3:
China Southern Airlines
is an airline serving the airport
Khudzhand Airport
([fact: ["367413727@trueknowledge.com"]])
Fact 3
is true for
May 5th 2010, 08:11:37 onwards
([fact: ["800016612@trueknowledge.com"]])
Fact 4:
Rossiya
is an airline serving the airport
Khudzhand Airport
([fact: ["800061196@trueknowledge.com"]])
Fact 4
is true for
May 5th 2010, 10:27:02 onwards
([fact: ["800061200@trueknowledge.com"]])
[s7_airlines]
is an airline serving the airport
Khudzhand Airport
([fact: ["800064748@trueknowledge.com"]])
Fact 5:
China Southern Airlines
is an airline serving the airport
Tashkent International Airport
([fact: ["367413743@trueknowledge.com"]])
Fact 5
is true for
June 13th 2009, 00:00:00 onwards
([fact: ["367413747@trueknowledge.com"]])
Fact 6:
Aeroflot
is an airline serving the airport
Tashkent International Airport
([fact: ["790584176@trueknowledge.com"]])
Fact 6
is true for
May 4th 2010, 16:51:00 onwards
([fact: ["799120880@trueknowledge.com"]])
Fact 7:
airBaltic
is an airline serving the airport
Tashkent International Airport
([fact: ["799143156@trueknowledge.com"]])
Fact 7
is true for
May 4th 2010, 17:02:43 onwards
([fact: ["799143160@trueknowledge.com"]])
Fact 8:
Asiana Airlines
is an airline serving the airport
Tashkent International Airport
([fact: ["799154736@trueknowledge.com"]])
Fact 8
is true for
May 4th 2010, 17:09:27 onwards
([fact: ["799154740@trueknowledge.com"]])
Fact 9:
Aeroflot-Don
is an airline serving the airport
Tashkent International Airport
([fact: ["800025192@trueknowledge.com"]])
Fact 9
is true for
May 5th 2010, 09:43:05 onwards
([fact: ["800025196@trueknowledge.com"]])
Fact 10:
Iran Air
is an airline serving the airport
Tashkent International Airport
([fact: ["800040152@trueknowledge.com"]])
Fact 10
is true for
May 5th 2010, 09:57:36 onwards
([fact: ["800040156@trueknowledge.com"]])
Fact 11:
Korean Air
is an airline serving the airport
Tashkent International Airport
([fact: ["800047076@trueknowledge.com"]])
Fact 11
is true for
May 5th 2010, 10:07:48 onwards
([fact: ["800047080@trueknowledge.com"]])
Fact 12:
Kuban Airlines
is an airline serving the airport
Tashkent International Airport
([fact: ["800047332@trueknowledge.com"]])
Fact 12
is true for
May 5th 2010, 10:08:03 onwards
([fact: ["800047336@trueknowledge.com"]])
Fact 13:
Lufthansa Cargo
is an airline serving the airport
Tashkent International Airport
([fact: ["800051020@trueknowledge.com"]])
Fact 13
is true for
May 5th 2010, 10:13:36 onwards
([fact: ["800051024@trueknowledge.com"]])
Fact 14:
Lufthansa
is an airline serving the airport
Tashkent International Airport
([fact: ["800052036@trueknowledge.com"]])
Fact 14
is true for
May 5th 2010, 10:15:21 onwards
([fact: ["800052040@trueknowledge.com"]])
Fact 15:
Rossiya
is an airline serving the airport
Tashkent International Airport
([fact: ["800061628@trueknowledge.com"]])
Fact 15
is true for
May 5th 2010, 10:27:31 onwards
([fact: ["800061632@trueknowledge.com"]])
[s7_airlines]
is an airline serving the airport
Tashkent International Airport
([fact: ["800065012@trueknowledge.com"]])
Fact 16:
Uzbekistan Airways
is an airline serving the airport
Tashkent International Airport
([fact: ["1160111628@trueknowledge.com"]])
Fact 16
is true for
February 6th 2011, 00:00 onwards
([fact: ["1160111632@trueknowledge.com"]])
By calculation (generator: ["airport_serving@trueknowledge.com"]) I know that:
Khudzhand Airport
is the most important airport serving
Kaindisoy
Tashkent International Airport
is the most important airport serving
Kaindisoy
By calculation (generator: ["moregeneral4@trueknowledge.com"]) I know that:
Tashkent International Airport
is an airport for
Kaindisoy
By calculation (generator: ["airline_serving_place@trueknowledge.com"]) I know that:
Fact 17:
Aeroflot
is an airline serving the place
Kaindisoy
Fact 17
is true for
May 4th 2010, 16:51:00 onwards
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 17
is true at
February 12th 2012, 08:52:16
I know from locally stored knowledge that:
Aeroflot
is a
organisation
([fact: ["408912243@trueknowledge.com"]])
Aeroflot
is a
business
([fact: ["127642525@trueknowledge.com"]])
Aeroflot
is a
airline
([fact: ["127642526@trueknowledge.com"]])
Aeroflot
is a
aircraft owner
([fact: ["745072248@trueknowledge.com"]])
By calculation (generator: ["instance_agreement_making_entity@trueknowledge.com"]) I know that:
Aeroflot
is a
human being, organisation or other legal person
By calculation (generator: ["airline_serving_place@trueknowledge.com"]) I know that:
Fact 17:
airBaltic
is an airline serving the place
Kaindisoy
Fact 17
is true for
May 4th 2010, 17:02:43 onwards
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 17
is true at
February 12th 2012, 08:52:16
I know from locally stored knowledge that:
airBaltic
is a
organisation
([fact: ["433167024@trueknowledge.com"]])
airBaltic
is a
business
([fact: ["130913654@trueknowledge.com"]])
airBaltic
is a
airline
([fact: ["130913655@trueknowledge.com"]])
airBaltic
is a
aircraft owner
([fact: ["710441628@trueknowledge.com"]])
By calculation (generator: ["instance_agreement_making_entity@trueknowledge.com"]) I know that:
airBaltic
is a
human being, organisation or other legal person
By calculation (generator: ["airline_serving_place@trueknowledge.com"]) I know that:
Fact 17:
Asiana Airlines
is an airline serving the place
Kaindisoy
Fact 17
is true for
May 4th 2010, 17:09:27 onwards
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 17
is true at
February 12th 2012, 08:52:16
I know from locally stored knowledge that:
Asiana Airlines
is a
organisation
([fact: ["710795220@trueknowledge.com"]])
Asiana Airlines
is a
business
([fact: ["127658343@trueknowledge.com"]])
Asiana Airlines
is a
airline
([fact: ["127658344@trueknowledge.com"]])
Asiana Airlines
is a
aircraft owner
([fact: ["710795216@trueknowledge.com"]])
By calculation (generator: ["instance_agreement_making_entity@trueknowledge.com"]) I know that:
Asiana Airlines
is a
human being, organisation or other legal person
By calculation (generator: ["airline_serving_place@trueknowledge.com"]) I know that:
Fact 17:
Aeroflot-Don
is an airline serving the place
Kaindisoy
Fact 17
is true for
May 5th 2010, 09:43:05 onwards
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 17
is true at
February 12th 2012, 08:52:16
I know from locally stored knowledge that:
Aeroflot-Don
is a
organisation
([fact: ["408912619@trueknowledge.com"]])
Aeroflot-Don
is a
business
([fact: ["130920457@trueknowledge.com"]])
Aeroflot-Don
is a
airline
([fact: ["130920458@trueknowledge.com"]])
Aeroflot-Don
is a
aircraft owner
([fact: ["711470092@trueknowledge.com"]])
By calculation (generator: ["instance_agreement_making_entity@trueknowledge.com"]) I know that:
Aeroflot-Don
is a
human being, organisation or other legal person
By calculation (generator: ["airline_serving_place@trueknowledge.com"]) I know that:
Fact 17:
Iran Air
is an airline serving the place
Kaindisoy
Fact 17
is true for
May 5th 2010, 09:57:36 onwards
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 17
is true at
February 12th 2012, 08:52:16
I know from locally stored knowledge that:
Iran Air
is a
organisation
([fact: ["423453239@trueknowledge.com"]])
Iran Air
is a
business
([fact: ["130913732@trueknowledge.com"]])
Iran Air
is a
airline
([fact: ["130913733@trueknowledge.com"]])
Iran Air
is a
aircraft owner
([fact: ["750066484@trueknowledge.com"]])
By calculation (generator: ["instance_agreement_making_entity@trueknowledge.com"]) I know that:
Iran Air
is a
human being, organisation or other legal person
By calculation (generator: ["airline_serving_place@trueknowledge.com"]) I know that:
Fact 17:
Korean Air
is an airline serving the place
Kaindisoy
Fact 17
is true for
May 5th 2010, 10:07:48 onwards
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 17
is true at
February 12th 2012, 08:52:16
I know from locally stored knowledge that:
Korean Air
is a
organisation
([fact: ["359548611@trueknowledge.com"]])
Korean Air
is a
business
([fact: ["127657245@trueknowledge.com"]])
Korean Air
is a
airline
([fact: ["127657246@trueknowledge.com"]])
Korean Air
is a
aircraft owner
([fact: ["746415872@trueknowledge.com"]])
By calculation (generator: ["instance_agreement_making_entity@trueknowledge.com"]) I know that:
Korean Air
is a
human being, organisation or other legal person
By calculation (generator: ["airline_serving_place@trueknowledge.com"]) I know that:
Fact 17:
Kuban Airlines
is an airline serving the place
Kaindisoy
Fact 17
is true for
May 5th 2010, 10:08:03 onwards
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 17
is true at
February 12th 2012, 08:52:16
I know from locally stored knowledge that:
Kuban Airlines
is a
organisation
([fact: ["685188612@trueknowledge.com"]])
Kuban Airlines
is a
business
([fact: ["130927382@trueknowledge.com"]])
Kuban Airlines
is a
airline
([fact: ["130927383@trueknowledge.com"]])
Kuban Airlines
is a
aircraft owner
([fact: ["711524124@trueknowledge.com"]])
By calculation (generator: ["instance_agreement_making_entity@trueknowledge.com"]) I know that:
Kuban Airlines
is a
human being, organisation or other legal person
By calculation (generator: ["airline_serving_place@trueknowledge.com"]) I know that:
Fact 17:
Lufthansa Cargo
is an airline serving the place
Kaindisoy
Fact 17
is true for
May 5th 2010, 10:13:36 onwards
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 17
is true at
February 12th 2012, 08:52:16
I know from locally stored knowledge that:
Lufthansa Cargo
is a
organisation
([fact: ["396800923@trueknowledge.com"]])
Lufthansa Cargo
is a
business
([fact: ["130919229@trueknowledge.com"]])
Lufthansa Cargo
is a
airline
([fact: ["130919230@trueknowledge.com"]])
Lufthansa Cargo
is a
aircraft owner
([fact: ["749756812@trueknowledge.com"]])
By calculation (generator: ["instance_agreement_making_entity@trueknowledge.com"]) I know that:
Lufthansa Cargo
is a
human being, organisation or other legal person
By calculation (generator: ["airline_serving_place@trueknowledge.com"]) I know that:
Fact 17:
Lufthansa
is an airline serving the place
Kaindisoy
Fact 17
is true for
May 5th 2010, 10:15:21 onwards
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 17
is true at
February 12th 2012, 08:52:16
I know from locally stored knowledge that:
Lufthansa
is a
organisation
([fact: ["703785332@trueknowledge.com"]])
Lufthansa
is a
business
([fact: ["127631041@trueknowledge.com"]])
Lufthansa
is a
airline
([fact: ["127631039@trueknowledge.com"]])
Lufthansa
is a
aircraft owner
([fact: ["703785328@trueknowledge.com"]])
By calculation (generator: ["instance_agreement_making_entity@trueknowledge.com"]) I know that:
Lufthansa
is a
human being, organisation or other legal person
By calculation (generator: ["airline_serving_place@trueknowledge.com"]) I know that:
Fact 17:
Uzbekistan Airways
is an airline serving the place
Kaindisoy
Fact 17
is true for
February 6th 2011, 00:00 onwards
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 17
is true at
February 12th 2012, 08:52:16
I know from locally stored knowledge that:
Uzbekistan Airways
is a
organisation
([fact: ["379467127@trueknowledge.com"]])
Uzbekistan Airways
is a
business
([fact: ["130917953@trueknowledge.com"]])
Uzbekistan Airways
is a
airline
([fact: ["130917954@trueknowledge.com"]])
Uzbekistan Airways
is a
aircraft owner
([fact: ["711376372@trueknowledge.com"]])
By calculation (generator: ["instance_agreement_making_entity@trueknowledge.com"]) I know that:
Uzbekistan Airways
is a
human being, organisation or other legal person
By calculation (generator: ["moregeneral4@trueknowledge.com"]) I know that:
Khudzhand Airport
is an airport for
Kaindisoy
By calculation (generator: ["airline_serving_place@trueknowledge.com"]) I know that:
Fact 17:
China Southern Airlines
is an airline serving the place
Kaindisoy
Fact 17
is true for
May 5th 2010, 08:11:37 onwards
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 17
is true at
February 12th 2012, 08:52:16
By calculation (generator: ["airline_serving_place@trueknowledge.com"]) I know that:
Fact 17
is true for
June 13th 2009, 00:00:00 onwards
I know from locally stored knowledge that:
China Southern Airlines
is a
organisation
([fact: ["367159343@trueknowledge.com"]])
China Southern Airlines
is a
business
([fact: ["127662822@trueknowledge.com"]])
China Southern Airlines
is a
airline
([fact: ["127662823@trueknowledge.com"]])
China Southern Airlines
is a
aircraft owner
([fact: ["710907476@trueknowledge.com"]])
By calculation (generator: ["instance_agreement_making_entity@trueknowledge.com"]) I know that:
China Southern Airlines
is a
human being, organisation or other legal person
By calculation (generator: ["airline_serving_place@trueknowledge.com"]) I know that:
Fact 17:
Rossiya
is an airline serving the place
Kaindisoy
Fact 17
is true for
May 5th 2010, 10:27:02 onwards
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 17
is true at
February 12th 2012, 08:52:16
By calculation (generator: ["airline_serving_place@trueknowledge.com"]) I know that:
Fact 17
is true for
May 5th 2010, 10:27:31 onwards
I know from locally stored knowledge that:
Rossiya
is a
business
([fact: ["130937738@trueknowledge.com"]])
Rossiya
is a
airline
([fact: ["130937739@trueknowledge.com"]])
By calculation (generator: ["instance_agreement_making_entity@trueknowledge.com"]) I know that:
Rossiya
is a
human being, organisation or other legal person