No TPTP formula. May not be expressible in strict first order. |
Government.kif 3150-3150 |
運輸協調 是 經濟合作組織 的 organizational 目標 |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 2670-2670 |
子屬性 民航合作 and 運輸協調 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 58994-58994 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 58993-58993 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 58992-58992 |
|