Runway(runway) | ![]() | runway |
appearance as argument number 1 |
![]() |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1371-1375 | |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1370-1370 | Runway is a subclass of land transitway |
appearance as argument number 2 |
![]() |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1384-1384 | Paved runway is a subclass of runway |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1622-1622 | Unpaved runway is a subclass of runway |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 50635-50635 | Unpaved runway is a subclass of runway |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 50634-50634 | Unpaved runway is a subclass of runway |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 50633-50633 | Unpaved runway is a subclass of runway |
antecedent |
![]() |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1396-1401 |
|
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1403-1408 |
|
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1377-1382 |
|
consequent |
![]() |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1574-1586 |
|
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1555-1567 |
|
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1536-1548 |
|
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1593-1603 |
|
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1520-1529 |
|
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1421-1428 |
|
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1442-1449 |
|
![]() |
![]() |