| ShortRunwayAirport(short runway airport) | | short_runway_airport, 短跑道机场, 短跑道機場 |
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1392-1394 | |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1391-1391 | 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 52759-52759 | "短跑道机场" is the printable form of short runway airport in ChineseLanguage |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 52758-52758 | "短跑道機場" is the printable form of short runway airport in ChineseTraditionalLanguage |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 52757-52757 | "short runway airport" is the printable form of short runway airport in english language |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1396-1407 |
|
|
|
|