| PavedRunway(paved runway) | | paved_runway, 鋪好的跑道, 铺好的跑道 |
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1485-1485 | Paved runway is disjoint from unpaved runway |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1302-1303 | |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1301-1301 | Paved runway is a subclass of runway |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 44767-44767 | "铺好的跑道" is the printable form of paved runway in ChineseLanguage |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 44766-44766 | "鋪好的跑道" is the printable form of paved runway in ChineseTraditionalLanguage |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 44765-44765 | "paved runway" is the printable form of paved runway in english language |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1305-1311 |
|
| consequent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1266-1276 | A geographic area is total facility type in area the class corresponding to airport with paved runway for a nonnegative integer if and only if the nonnegative integer is a cardinality of the class described by a symbolic string |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1346-1353 |
|
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1313-1318 |
|
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1320-1325 |
|
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1278-1285 |
|
|
|
|