By calculation (generator: ["now@trueknowledge.com"]) I know that:
The current time is February 12th 2012, 17:00:10
I know from locally stored knowledge that:
Fact 1:
British Airways
is an airline serving the airport
San Francisco International Airport
([fact: ["367401195@trueknowledge.com"]])
Fact 1
is true for
June 13th 2009, 00:00:00 onwards
([fact: ["367401199@trueknowledge.com"]])
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 1
is true at
February 12th 2012, 17:00:10
I know from locally stored knowledge that:
Fact 2:
Air France
is an airline serving the airport
San Francisco International Airport
([fact: ["367402459@trueknowledge.com"]])
Fact 2
is true for
June 13th 2009, 00:00:00 onwards
([fact: ["367402463@trueknowledge.com"]])
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 2
is true at
February 12th 2012, 17:00:10
I know from locally stored knowledge that:
Fact 3:
Lufthansa
is an airline serving the airport
San Francisco International Airport
([fact: ["367404027@trueknowledge.com"]])
Fact 3
is true for
June 13th 2009, 00:00:00 onwards
([fact: ["367404031@trueknowledge.com"]])
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 3
is true at
February 12th 2012, 17:00:10
I know from locally stored knowledge that:
Fact 4:
Singapore Airlines
is an airline serving the airport
San Francisco International Airport
([fact: ["367404515@trueknowledge.com"]])
Fact 4
is true for
June 13th 2009, 00:00:00 onwards
([fact: ["367404519@trueknowledge.com"]])
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 4
is true at
February 12th 2012, 17:00:10
I know from locally stored knowledge that:
Fact 5:
Emirates Airlines
is an airline serving the airport
San Francisco International Airport
([fact: ["367405543@trueknowledge.com"]])
Fact 5
is true for
June 13th 2009, 00:00:00 onwards
([fact: ["367405547@trueknowledge.com"]])
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 5
is true at
February 12th 2012, 17:00:10
I know from locally stored knowledge that:
Fact 6:
American Airlines, Inc.
is an airline serving the airport
San Francisco International Airport
([fact: ["367406143@trueknowledge.com"]])
Fact 6
is true for
June 13th 2009, 00:00:00 onwards
([fact: ["367406147@trueknowledge.com"]])
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 6
is true at
February 12th 2012, 17:00:10
I know from locally stored knowledge that:
Fact 7:
United Airlines
is an airline serving the airport
San Francisco International Airport
([fact: ["367407103@trueknowledge.com"]])
Fact 7
is true for
June 13th 2009, 00:00:00 onwards
([fact: ["367407107@trueknowledge.com"]])
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 7
is true at
February 12th 2012, 17:00:10
I know from locally stored knowledge that:
Fact 8:
Cathay Pacific
is an airline serving the airport
San Francisco International Airport
([fact: ["367408039@trueknowledge.com"]])
Fact 8
is true for
June 13th 2009, 00:00:00 onwards
([fact: ["367408043@trueknowledge.com"]])
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 8
is true at
February 12th 2012, 17:00:10
I know from locally stored knowledge that:
Fact 9:
KLM
is an airline serving the airport
San Francisco International Airport
([fact: ["367409083@trueknowledge.com"]])
Fact 9
is true for
June 13th 2009, 00:00:00 onwards
([fact: ["367409087@trueknowledge.com"]])
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 9
is true at
February 12th 2012, 17:00:10
I know from locally stored knowledge that:
Fact 10:
Delta Airlines
is an airline serving the airport
San Francisco International Airport
([fact: ["367409895@trueknowledge.com"]])
Fact 10
is true for
June 13th 2009, 00:00:00 onwards
([fact: ["367409899@trueknowledge.com"]])
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 10
is true at
February 12th 2012, 17:00:10
I know from locally stored knowledge that:
Fact 11:
Northwest Airlines
is an airline serving the airport
San Francisco International Airport
([fact: ["367411431@trueknowledge.com"]])
Fact 11
is true for
June 13th 2009, 00:00:00 onwards
([fact: ["367411435@trueknowledge.com"]])
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 11
is true at
February 12th 2012, 17:00:10
I know from locally stored knowledge that:
Fact 12:
Southwest Airlines, Inc.
is an airline serving the airport
San Francisco International Airport
([fact: ["367412207@trueknowledge.com"]])
Fact 12
is true for
June 13th 2009, 00:00:00 onwards
([fact: ["367412211@trueknowledge.com"]])
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 12
is true at
February 12th 2012, 17:00:10
I know from locally stored knowledge that:
Fact 13:
Qantas
is an airline serving the airport
San Francisco International Airport
([fact: ["367412791@trueknowledge.com"]])
Fact 13
is true for
June 13th 2009, 00:00:00 onwards
([fact: ["367412795@trueknowledge.com"]])
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 13
is true at
February 12th 2012, 17:00:10
I know from locally stored knowledge that:
Fact 14:
Air Canada
is an airline serving the airport
San Francisco International Airport
([fact: ["367415103@trueknowledge.com"]])
Fact 14
is true for
June 13th 2009, 00:00:00 onwards
([fact: ["367415107@trueknowledge.com"]])
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 14
is true at
February 12th 2012, 17:00:10
I know from locally stored knowledge that:
Fact 15:
Aeroméxico
is an airline serving the airport
San Francisco International Airport
([fact: ["790587080@trueknowledge.com"]])
Fact 15
is true for
May 4th 2010, 16:52:04 onwards
([fact: ["799122164@trueknowledge.com"]])
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 15
is true at
February 12th 2012, 17:00:10
I know from locally stored knowledge that:
Fact 16:
Air Berlin
is an airline serving the airport
San Francisco International Airport
([fact: ["790593840@trueknowledge.com"]])
Fact 16
is true for
May 4th 2010, 16:54:27 onwards
([fact: ["799126080@trueknowledge.com"]])
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 16
is true at
February 12th 2012, 17:00:10
I know from locally stored knowledge that:
Fact 17:
Air Canada Jazz
is an airline serving the airport
San Francisco International Airport
([fact: ["799127192@trueknowledge.com"]])
Fact 17
is true for
May 4th 2010, 16:55:01 onwards
([fact: ["799127196@trueknowledge.com"]])
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 17
is true at
February 12th 2012, 17:00:10
I know from locally stored knowledge that:
Fact 18:
Air China
is an airline serving the airport
San Francisco International Airport
([fact: ["799128468@trueknowledge.com"]])
Fact 18
is true for
May 4th 2010, 16:55:35 onwards
([fact: ["799128472@trueknowledge.com"]])
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 18
is true at
February 12th 2012, 17:00:10
I know from locally stored knowledge that:
Fact 19:
Air New Zealand
is an airline serving the airport
San Francisco International Airport
([fact: ["799136760@trueknowledge.com"]])
Fact 19
is true for
May 4th 2010, 16:59:36 onwards
([fact: ["799136764@trueknowledge.com"]])
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 19
is true at
February 12th 2012, 17:00:10
I know from locally stored knowledge that:
Fact 20:
Alaska Airlines
is an airline serving the airport
San Francisco International Airport
([fact: ["799144276@trueknowledge.com"]])
Fact 20
is true for
May 4th 2010, 17:03:22 onwards
([fact: ["799144280@trueknowledge.com"]])
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 20
is true at
February 12th 2012, 17:00:10
I know from locally stored knowledge that:
Fact 21:
All Nippon Airways
is an airline serving the airport
San Francisco International Airport
([fact: ["799146552@trueknowledge.com"]])
Fact 21
is true for
May 4th 2010, 17:04:28 onwards
([fact: ["799146556@trueknowledge.com"]])
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 21
is true at
February 12th 2012, 17:00:10
I know from locally stored knowledge that:
Fact 22:
Asiana Airlines
is an airline serving the airport
San Francisco International Airport
([fact: ["799154624@trueknowledge.com"]])
Fact 22
is true for
May 4th 2010, 17:09:22 onwards
([fact: ["799154628@trueknowledge.com"]])
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 22
is true at
February 12th 2012, 17:00:10
I know from locally stored knowledge that:
Fact 23:
China Airlines
is an airline serving the airport
San Francisco International Airport
([fact: ["800015184@trueknowledge.com"]])
Fact 23
is true for
May 5th 2010, 08:09:56 onwards
([fact: ["800015192@trueknowledge.com"]])
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 23
is true at
February 12th 2012, 17:00:10
I know from locally stored knowledge that:
Fact 24:
Continental Airlines
is an airline serving the airport
San Francisco International Airport
([fact: ["800018984@trueknowledge.com"]])
Fact 24
is true for
May 5th 2010, 08:14:19 onwards
([fact: ["800018992@trueknowledge.com"]])
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 24
is true at
February 12th 2012, 17:00:10
I know from locally stored knowledge that:
Fact 25:
EVA Air
is an airline serving the airport
San Francisco International Airport
([fact: ["800025840@trueknowledge.com"]])
Fact 25
is true for
May 5th 2010, 09:43:40 onwards
([fact: ["800025844@trueknowledge.com"]])
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 25
is true at
February 12th 2012, 17:00:10
I know from locally stored knowledge that:
Fact 26:
Frontier Airlines
is an airline serving the airport
San Francisco International Airport
([fact: ["800032600@trueknowledge.com"]])
Fact 26
is true for
May 5th 2010, 09:50:11 onwards
([fact: ["800032604@trueknowledge.com"]])
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 26
is true at
February 12th 2012, 17:00:10
I know from locally stored knowledge that:
Fact 27:
Hawaiian Airlines
is an airline serving the airport
San Francisco International Airport
([fact: ["800036144@trueknowledge.com"]])
Fact 27
is true for
May 5th 2010, 09:53:32 onwards
([fact: ["800036148@trueknowledge.com"]])
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 27
is true at
February 12th 2012, 17:00:10
I know from locally stored knowledge that:
Fact 28:
Horizon Air
is an airline serving the airport
San Francisco International Airport
([fact: ["800036664@trueknowledge.com"]])
Fact 28
is true for
May 5th 2010, 09:54:02 onwards
([fact: ["800036668@trueknowledge.com"]])
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 28
is true at
February 12th 2012, 17:00:10
I know from locally stored knowledge that:
Fact 29:
Japan Airlines
is an airline serving the airport
San Francisco International Airport
([fact: ["800041020@trueknowledge.com"]])
Fact 29
is true for
May 5th 2010, 09:58:36 onwards
([fact: ["800041024@trueknowledge.com"]])
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 29
is true at
February 12th 2012, 17:00:10
I know from locally stored knowledge that:
Fact 30:
JetBlue Airways
is an airline serving the airport
San Francisco International Airport
([fact: ["800043276@trueknowledge.com"]])
Fact 30
is true for
May 5th 2010, 10:02:47 onwards
([fact: ["800043288@trueknowledge.com"]])
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 30
is true at
February 12th 2012, 17:00:10
I know from locally stored knowledge that:
Fact 31:
Korean Air
is an airline serving the airport
San Francisco International Airport
([fact: ["800046948@trueknowledge.com"]])
Fact 31
is true for
May 5th 2010, 10:07:41 onwards
([fact: ["800046952@trueknowledge.com"]])
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 31
is true at
February 12th 2012, 17:00:10
I know from locally stored knowledge that:
Fact 32:
LAN Perú
is an airline serving the airport
San Francisco International Airport
([fact: ["800048764@trueknowledge.com"]])
Fact 32
is true for
May 5th 2010, 10:10:13 onwards
([fact: ["800048768@trueknowledge.com"]])
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 32
is true at
February 12th 2012, 17:00:10
I know from locally stored knowledge that:
Fact 33:
Mexicana de Aviación
is an airline serving the airport
San Francisco International Airport
([fact: ["800054492@trueknowledge.com"]])
Fact 33
is true for
May 5th 2010, 10:18:10 onwards
([fact: ["800054500@trueknowledge.com"]])
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 33
is true at
February 12th 2012, 17:00:10
I know from locally stored knowledge that:
Fact 34:
Midwest Airlines
is an airline serving the airport
San Francisco International Airport
([fact: ["800055352@trueknowledge.com"]])
Fact 34
is true for
May 5th 2010, 10:19:11 onwards
([fact: ["800055356@trueknowledge.com"]])
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 34
is true at
February 12th 2012, 17:00:10
I know from locally stored knowledge that:
Fact 35:
Philippine Airlines
is an airline serving the airport
San Francisco International Airport
([fact: ["800059740@trueknowledge.com"]])
Fact 35
is true for
May 5th 2010, 10:25:18 onwards
([fact: ["800059744@trueknowledge.com"]])
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 35
is true at
February 12th 2012, 17:00:10
I know from locally stored knowledge that:
Fact 36:
Swiss International Air Lines
is an airline serving the airport
San Francisco International Airport
([fact: ["800074132@trueknowledge.com"]])
Fact 36
is true for
May 5th 2010, 10:40:58 onwards
([fact: ["800074136@trueknowledge.com"]])
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 36
is true at
February 12th 2012, 17:00:10
I know from locally stored knowledge that:
Fact 37:
Grupo TACA
is an airline serving the airport
San Francisco International Airport
([fact: ["800158440@trueknowledge.com"]])
Fact 37
is true for
May 5th 2010, 16:52:20 onwards
([fact: ["800158456@trueknowledge.com"]])
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 37
is true at
February 12th 2012, 17:00:10
I know from locally stored knowledge that:
Fact 38:
Trans World Airlines
is an airline serving the airport
San Francisco International Airport
([fact: ["800161412@trueknowledge.com"]])
Fact 38
is true for
May 5th 2010, 16:54:26 onwards
([fact: ["800161416@trueknowledge.com"]])
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 38
is true at
February 12th 2012, 17:00:10
I know from locally stored knowledge that:
Fact 39:
WestJet
is an airline serving the airport
San Francisco International Airport
([fact: ["800167368@trueknowledge.com"]])
Fact 39
is true for
May 5th 2010, 17:03:01 onwards
([fact: ["800167372@trueknowledge.com"]])
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 39
is true at
February 12th 2012, 17:00:10
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"]])
San Francisco International Airport
is in
San Francisco, California
([fact: ["160834553@trueknowledge.com"]])
San Francisco, California
is a
settlement
([fact: ["13224973@trueknowledge.com"]])
37°46'45.48"N
is the latitude of
San Francisco, California
([fact: ["648330048@trueknowledge.com"]])
122°25'05"W
is the longitude of
San Francisco, California
([fact: ["160835617@trueknowledge.com"]])
By calculation (generator: ["strictequal1@trueknowledge.com"]) I know that:
37°46'45.48"N and 122°25'05"W
is strictly equal to
37°46'45.48"N and 122°25'05"W
By calculation (generator: ["lat_long_to_c-square@trueknowledge.com"]) I know that:
[c-square: ["7312:372:374:371:498:130:205:206"]]
is the c-square version of the co-ordinates
37°46'45.48"N and 122°25'05"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: ["7312:372:374:371:498:130:205:206"]]
is the first parameter of
[c-square: ["7312:372:374:371:498:130:205:206"]] and 100 kilometres
By calculation (generator: ["second_parameter@trueknowledge.com"]) I know that:
100 kilometres
is the second parameter of
[c-square: ["7312:372:374:371:498:130:205:206"]] and 100 kilometres
kilometre
is the second parameter of
100 kilometres
I know from locally stored knowledge that:
Fact 40:
1
is the multiplier that converts
kilometre and kilometre
([fact: ["684486512@trueknowledge.com"]])
Fact 40
is true for
all time
([fact: ["689997328@trueknowledge.com"]])
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 40
is true at
February 12th 2012, 17:00:10
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 41:
100 kilometres
is equivalent to
100 kilometres
Fact 41
is true at
February 12th 2012, 17:00:10
Fact 41:
kilometre
is the unit used in
100 kilometres
By calculation (generator: ["covering_a_disc_with_c-squares@trueknowledge.com"]) I know that:
[c-square: ["7312:362"]]
is a c-square to test for the point and distance
[c-square: ["7312:372:374:371:498:130:205:206"]] and 100 kilometres
[c-square: ["7312:371"]]
is a c-square to test for the point and distance
[c-square: ["7312:372:374:371:498:130:205:206"]] and 100 kilometres
[c-square: ["7312:372"]]
is a c-square to test for the point and distance
[c-square: ["7312:372:374:371:498:130:205:206"]] and 100 kilometres
[c-square: ["7312:373"]]
is a c-square to test for the point and distance
[c-square: ["7312:372:374:371:498:130:205:206"]] and 100 kilometres
[c-square: ["7312:381"]]
is a c-square to test for the point and distance
[c-square: ["7312:372:374:371:498:130:205:206"]] and 100 kilometres
[c-square: ["7312:382"]]
is a c-square to test for the point and distance
[c-square: ["7312:372:374:371:498:130:205:206"]] and 100 kilometres
[c-square: ["7312:383"]]
is a c-square to test for the point and distance
[c-square: ["7312:372:374:371:498:130:205:206"]] and 100 kilometres
[c-square: ["7312:361:497"]]
is a c-square to test for the point and distance
[c-square: ["7312:372:374:371:498:130:205:206"]] and 100 kilometres
[c-square: ["7312:361:498"]]
is a c-square to test for the point and distance
[c-square: ["7312:372:374:371:498:130:205:206"]] and 100 kilometres
[c-square: ["7312:361:499"]]
is a c-square to test for the point and distance
[c-square: ["7312:372:374:371:498:130:205:206"]] and 100 kilometres
[c-square: ["7312:363:390"]]
is a c-square to test for the point and distance
[c-square: ["7312:372:374:371:498:130:205:206"]] and 100 kilometres
[c-square: ["7312:361:496"]]
is a c-square to test for the point and distance
[c-square: ["7312:372:374:371:498:130:205:206"]] and 100 kilometres
[c-square: ["7312:363:391"]]
is a c-square to test for the point and distance
[c-square: ["7312:372:374:371:498:130:205:206"]] and 100 kilometres
I know from locally stored knowledge that:
American Airlines, Inc.
is an airline serving the airport
San Jose International Airport
([fact: ["367406151@trueknowledge.com"]])
United Airlines
is an airline serving the airport
San Jose International Airport
([fact: ["367407111@trueknowledge.com"]])
Delta Airlines
is an airline serving the airport
San Jose International Airport
([fact: ["367409903@trueknowledge.com"]])
Northwest Airlines
is an airline serving the airport
San Jose International Airport
([fact: ["367411439@trueknowledge.com"]])
Southwest Airlines, Inc.
is an airline serving the airport
San Jose International Airport
([fact: ["367412215@trueknowledge.com"]])
Alaska Airlines
is an airline serving the airport
San Jose International Airport
([fact: ["799144284@trueknowledge.com"]])
Fact 42:
American Eagle Airlines
is an airline serving the airport
San Jose International Airport
([fact: ["799151016@trueknowledge.com"]])
Fact 42
is true for
May 4th 2010, 17:07:24 onwards
([fact: ["799151020@trueknowledge.com"]])
Frontier Airlines
is an airline serving the airport
San Jose International Airport
([fact: ["800032608@trueknowledge.com"]])
Hawaiian Airlines
is an airline serving the airport
San Jose International Airport
([fact: ["800036152@trueknowledge.com"]])
Horizon Air
is an airline serving the airport
San Jose International Airport
([fact: ["800036672@trueknowledge.com"]])
JetBlue Airways
is an airline serving the airport
San Jose International Airport
([fact: ["800043284@trueknowledge.com"]])
Mexicana de Aviación
is an airline serving the airport
San Jose International Airport
([fact: ["800054504@trueknowledge.com"]])
Trans World Airlines
is an airline serving the airport
San Jose International Airport
([fact: ["800161420@trueknowledge.com"]])
Fact 43:
Allegiant Air
is an airline serving the airport
Stockton Metropolitan Airport
([fact: ["799147520@trueknowledge.com"]])
Fact 43
is true for
May 4th 2010, 17:04:55 onwards
([fact: ["799147532@trueknowledge.com"]])
San Francisco International Airport
is in
[c-square: ["7312:372"]]
([fact: ["2347817046@trueknowledge.com"]])
United Airlines
is an airline serving the airport
Oakland International Airport
([fact: ["367407071@trueknowledge.com"]])
Southwest Airlines, Inc.
is an airline serving the airport
Oakland International Airport
([fact: ["367412175@trueknowledge.com"]])
ATA Airlines
is an airline serving the airport
Oakland International Airport
([fact: ["790577008@trueknowledge.com"]])
Alaska Airlines
is an airline serving the airport
Oakland International Airport
([fact: ["799144188@trueknowledge.com"]])
Fact 44:
Allegiant Air
is an airline serving the airport
Oakland International Airport
([fact: ["799147236@trueknowledge.com"]])
Fact 44
is true for
May 4th 2010, 17:04:48 onwards
([fact: ["799147240@trueknowledge.com"]])
Hawaiian Airlines
is an airline serving the airport
Oakland International Airport
([fact: ["800036104@trueknowledge.com"]])
Horizon Air
is an airline serving the airport
Oakland International Airport
([fact: ["800036576@trueknowledge.com"]])
JetBlue Airways
is an airline serving the airport
Oakland International Airport
([fact: ["800043152@trueknowledge.com"]])
Mexicana de Aviación
is an airline serving the airport
Oakland International Airport
([fact: ["800054460@trueknowledge.com"]])
Fact 45:
SATA International
is an airline serving the airport
Oakland International Airport
([fact: ["800066620@trueknowledge.com"]])
Fact 45
is true for
May 5th 2010, 10:32:44 onwards
([fact: ["800066624@trueknowledge.com"]])
Trans World Airlines
is an airline serving the airport
Oakland International Airport
([fact: ["800161172@trueknowledge.com"]])
American Airlines, Inc.
is an airline serving the airport
Sacramento International Airport
([fact: ["367406127@trueknowledge.com"]])
United Airlines
is an airline serving the airport
Sacramento International Airport
([fact: ["367407087@trueknowledge.com"]])
Delta Airlines
is an airline serving the airport
Sacramento International Airport
([fact: ["367409879@trueknowledge.com"]])
Northwest Airlines
is an airline serving the airport
Sacramento International Airport
([fact: ["367411415@trueknowledge.com"]])
Southwest Airlines, Inc.
is an airline serving the airport
Sacramento International Airport
([fact: ["367412191@trueknowledge.com"]])
Alaska Airlines
is an airline serving the airport
Sacramento International Airport
([fact: ["799144260@trueknowledge.com"]])
Continental Airlines
is an airline serving the airport
Sacramento International Airport
([fact: ["800018952@trueknowledge.com"]])
Fact 46:
ExpressJet Airlines
is an airline serving the airport
Sacramento International Airport
([fact: ["800031040@trueknowledge.com"]])
Fact 46
is true for
May 5th 2010, 09:48:43 onwards
([fact: ["800031044@trueknowledge.com"]])
Frontier Airlines
is an airline serving the airport
Sacramento International Airport
([fact: ["800032568@trueknowledge.com"]])
Hawaiian Airlines
is an airline serving the airport
Sacramento International Airport
([fact: ["800036128@trueknowledge.com"]])
Horizon Air
is an airline serving the airport
Sacramento International Airport
([fact: ["800036656@trueknowledge.com"]])
JetBlue Airways
is an airline serving the airport
Sacramento International Airport
([fact: ["800043248@trueknowledge.com"]])
Mexicana de Aviación
is an airline serving the airport
Sacramento International Airport
([fact: ["800054480@trueknowledge.com"]])
Trans World Airlines
is an airline serving the airport
Sacramento International Airport
([fact: ["800161380@trueknowledge.com"]])
Horizon Air
is an airline serving the airport
Charles M. Schulz - Sonoma County Airport
([fact: ["800036420@trueknowledge.com"]])
By calculation (generator: ["airport_serving@trueknowledge.com"]) I know that:
San Jose International Airport
is the most important airport serving
San Francisco, California
Stockton Metropolitan Airport
is the most important airport serving
San Francisco, California
San Francisco International Airport
is the most important airport serving
San Francisco, California
Oakland International Airport
is the most important airport serving
San Francisco, California
Sacramento International Airport
is the most important airport serving
San Francisco, California
Charles M. Schulz - Sonoma County Airport
is the most important airport serving
San Francisco, California
By calculation (generator: ["airport_serving_last_resort@trueknowledge.com"]) I know that:
Sacramento International Airport
is the most important airport serving
San Francisco International Airport
By calculation (generator: ["moregeneral4@trueknowledge.com"]) I know that:
Sacramento International Airport
is an airport for
San Francisco International Airport
By calculation (generator: ["airline_serving_airport@trueknowledge.com"]) I know that:
Fact 47:
ExpressJet Airlines
is an airline serving the airport
San Francisco International Airport
Fact 47
is true for
May 5th 2010, 09:48:43 onwards
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 47
is true at
February 12th 2012, 17:00:10
By calculation (generator: ["airport_serving_last_resort@trueknowledge.com"]) I know that:
Oakland International Airport
is the most important airport serving
San Francisco International Airport
By calculation (generator: ["moregeneral4@trueknowledge.com"]) I know that:
Oakland International Airport
is an airport for
San Francisco International Airport
By calculation (generator: ["airline_serving_airport@trueknowledge.com"]) I know that:
Fact 47:
SATA International
is an airline serving the airport
San Francisco International Airport
Fact 47
is true for
May 5th 2010, 10:32:44 onwards
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 47
is true at
February 12th 2012, 17:00:10
By calculation (generator: ["airport_serving_last_resort@trueknowledge.com"]) I know that:
Stockton Metropolitan Airport
is the most important airport serving
San Francisco International Airport
By calculation (generator: ["moregeneral4@trueknowledge.com"]) I know that:
Stockton Metropolitan Airport
is an airport for
San Francisco International Airport
By calculation (generator: ["airline_serving_airport@trueknowledge.com"]) I know that:
Fact 47:
Allegiant Air
is an airline serving the airport
San Francisco International Airport
Fact 47
is true for
May 4th 2010, 17:04:55 onwards
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 47
is true at
February 12th 2012, 17:00:10
By calculation (generator: ["airline_serving_airport@trueknowledge.com"]) I know that:
Fact 47
is true for
May 4th 2010, 17:04:48 onwards
By calculation (generator: ["airport_serving_last_resort@trueknowledge.com"]) I know that:
San Jose International Airport
is the most important airport serving
San Francisco International Airport
By calculation (generator: ["moregeneral4@trueknowledge.com"]) I know that:
San Jose International Airport
is an airport for
San Francisco International Airport
By calculation (generator: ["airline_serving_airport@trueknowledge.com"]) I know that:
Fact 47:
American Eagle Airlines
is an airline serving the airport
San Francisco International Airport
Fact 47
is true for
May 4th 2010, 17:07:24 onwards
By calculation (generator: ["timeperiodtopoint@trueknowledge.com"]) I know that:
Fact 47
is true at
February 12th 2012, 17:00:10