No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 1440-1440 |
长跑道机场 是 中情局机场长度分类 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 1421-1421 |
中长跑道机场 是 中情局机场长度分类 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 1402-1402 |
短跑道机场 是 中情局机场长度分类 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 1459-1459 |
很长的跑道机场 是 中情局机场长度分类 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 1386-1386 |
很短的跑道机场 是 中情局机场长度分类 的 instance |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 14826-14826 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 14825-14825 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 14824-14824 |
|