Runway(runway) | runway |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1299-1303 | |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1298-1298 | 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 1312-1312 | Paved runway is a subclass of runway |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1493-1493 | Unpaved runway is a subclass of runway |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 50633-50633 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 50632-50632 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 50631-50631 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1324-1329 |
|
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1331-1336 |
|
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1305-1310 |
|
consequent |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1445-1457 |
|
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1426-1438 |
|
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1407-1419 |
|
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1464-1474 |
|
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1391-1400 |
|