By calculation (generator: ["now@trueknowledge.com"]) I know that:
The current time is February 13th 2012, 19:09:56
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"]])
Kinshasa
is a
settlement
([fact: ["432435776@trueknowledge.com"]])
4°30'00"S
is the latitude of
Kinshasa
([fact: ["81560464@trueknowledge.com"]])
15°19'20"E
is the longitude of
Kinshasa
([fact: ["639803660@trueknowledge.com"]])
By calculation (generator: ["strictequal1@trueknowledge.com"]) I know that:
4°30'00"S and 15°19'20"E
is strictly equal to
4°30'00"S and 15°19'20"E
By calculation (generator: ["lat_long_to_c-square@trueknowledge.com"]) I know that:
[c-square: ["3001:245:353:102:102:102:102:102"]]
is the c-square version of the co-ordinates
4°30'00"S and 15°19'20"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: ["3001:245:353:102:102:102:102:102"]]
is the first parameter of
[c-square: ["3001:245:353:102:102:102:102:102"]] and 100 kilometres
By calculation (generator: ["second_parameter@trueknowledge.com"]) I know that:
100 kilometres
is the second parameter of
[c-square: ["3001:245:353:102:102:102:102:102"]] 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, 19:09:56
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, 19:09:56
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: ["3001:144"]]
is a c-square to test for the point and distance
[c-square: ["3001:245:353:102:102:102:102:102"]] and 100 kilometres
[c-square: ["3001:235"]]
is a c-square to test for the point and distance
[c-square: ["3001:245:353:102:102:102:102:102"]] and 100 kilometres
[c-square: ["3001:245"]]
is a c-square to test for the point and distance
[c-square: ["3001:245:353:102:102:102:102:102"]] and 100 kilometres
[c-square: ["3001:246"]]
is a c-square to test for the point and distance
[c-square: ["3001:245:353:102:102:102:102:102"]] and 100 kilometres
[c-square: ["3001:455"]]
is a c-square to test for the point and distance
[c-square: ["3001:245:353:102:102:102:102:102"]] and 100 kilometres
[c-square: ["3001:134:4"]]
is a c-square to test for the point and distance
[c-square: ["3001:245:353:102:102:102:102:102"]] and 100 kilometres
[c-square: ["3001:236:3"]]
is a c-square to test for the point and distance
[c-square: ["3001:245:353:102:102:102:102:102"]] and 100 kilometres
[c-square: ["3001:354:2"]]
is a c-square to test for the point and distance
[c-square: ["3001:245:353:102:102:102:102:102"]] and 100 kilometres
[c-square: ["3001:456:1"]]
is a c-square to test for the point and distance
[c-square: ["3001:245:353:102:102:102:102:102"]] and 100 kilometres
[c-square: ["3001:134:3"]]
is a c-square to test for the point and distance
[c-square: ["3001:245:353:102:102:102:102:102"]] and 100 kilometres
[c-square: ["3001:236:4"]]
is a c-square to test for the point and distance
[c-square: ["3001:245:353:102:102:102:102:102"]] and 100 kilometres
[c-square: ["3001:354:1"]]
is a c-square to test for the point and distance
[c-square: ["3001:245:353:102:102:102:102:102"]] and 100 kilometres
[c-square: ["3001:456:2"]]
is a c-square to test for the point and distance
[c-square: ["3001:245:353:102:102:102:102:102"]] and 100 kilometres
I know from locally stored knowledge that:
Air France
is an airline serving the airport
Kinshasa International Airport
([fact: ["367401507@trueknowledge.com"]])
Afriqiyah Airways
is an airline serving the airport
Kinshasa International Airport
([fact: ["790588208@trueknowledge.com"]])
Air Zimbabwe
is an airline serving the airport
Kinshasa International Airport
([fact: ["799141304@trueknowledge.com"]])
Brussels Airlines
is an airline serving the airport
Kinshasa International Airport
([fact: ["800012248@trueknowledge.com"]])
Cargolux
is an airline serving the airport
Kinshasa International Airport
([fact: ["800013620@trueknowledge.com"]])
Ethiopian Airlines
is an airline serving the airport
Kinshasa International Airport
([fact: ["800030048@trueknowledge.com"]])
Hewa Bora Airways
is an airline serving the airport
Kinshasa International Airport
([fact: ["800036288@trueknowledge.com"]])
Kenya Airways
is an airline serving the airport
Kinshasa International Airport
([fact: ["800045676@trueknowledge.com"]])
Royal Air Maroc
is an airline serving the airport
Kinshasa International Airport
([fact: ["800061924@trueknowledge.com"]])
RwandAir
is an airline serving the airport
Kinshasa International Airport
([fact: ["800063008@trueknowledge.com"]])
South African Airways
is an airline serving the airport
Kinshasa International Airport
([fact: ["800071520@trueknowledge.com"]])
TAAG Angola Airlines
is an airline serving the airport
Kinshasa International Airport
([fact: ["800157660@trueknowledge.com"]])
Air France
is an airline serving the airport
Maya-Maya Airport
([fact: ["367401515@trueknowledge.com"]])
Afriqiyah Airways
is an airline serving the airport
Maya-Maya Airport
([fact: ["790588172@trueknowledge.com"]])
Ethiopian Airlines
is an airline serving the airport
Maya-Maya Airport
([fact: ["800030016@trueknowledge.com"]])
Hewa Bora Airways
is an airline serving the airport
Maya-Maya Airport
([fact: ["800036256@trueknowledge.com"]])
Kenya Airways
is an airline serving the airport
Maya-Maya Airport
([fact: ["800045644@trueknowledge.com"]])
Royal Air Maroc
is an airline serving the airport
Maya-Maya Airport
([fact: ["800062080@trueknowledge.com"]])
TAAG Angola Airlines
is an airline serving the airport
Maya-Maya Airport
([fact: ["800157708@trueknowledge.com"]])
By calculation (generator: ["airport_serving@trueknowledge.com"]) I know that:
Kinshasa International Airport
is the most important airport serving
Kinshasa
Maya-Maya Airport
is the most important airport serving
Kinshasa
By calculation (generator: ["moregeneral4@trueknowledge.com"]) I know that:
Fact 3:
Maya-Maya Airport
is an airport for
Kinshasa
By calculation (generator: ["perm5@trueknowledge.com"]) I know that:
Fact 3
is true for
all time
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 3
is true at
February 13th 2012, 19:09:56
I know from locally stored knowledge that:
Maya-Maya Airport
is a
geographical area
([fact: ["136526573@trueknowledge.com"]])
Therefore (generator: ["strictequal1@trueknowledge.com"]):
geographical area
is not strictly equal to
unspecified member
By calculation (generator: ["moregeneral4@trueknowledge.com"]) I know that:
Fact 3:
Kinshasa International Airport
is an airport for
Kinshasa
By calculation (generator: ["perm5@trueknowledge.com"]) I know that:
Fact 3
is true for
all time
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 3
is true at
February 13th 2012, 19:09:56
I know from locally stored knowledge that:
Kinshasa International Airport
is a
geographical area
([fact: ["136471837@trueknowledge.com"]])