| VeryShortRunwayAirport(very short runway airport) | | very_short_runway_airport, 很短的跑道机场, 很短的跑道機場 |
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1376-1378 | |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1375-1375 | Very short runway airport is an instance of CIA airport length classification |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 61513-61513 | "很短的跑道机场" is the printable form of very short runway airport in ChineseLanguage |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 61512-61512 | "很短的跑道機場" is the printable form of very short runway airport in ChineseTraditionalLanguage |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 61511-61511 | "very short runway airport" is the printable form of very short runway airport in english language |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1380-1389 |
|
|
|
|