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 | 跑道 是 陆地过境通道 的 subclass |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1312-1312 | 铺好的跑道 是 跑道 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1493-1493 | 未铺砌的跑道 是 跑道 的 subclass |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 50631-50631 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 50630-50630 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 50629-50629 |
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 |