No TPTP formula. May not be expressible in strict first order. |
Government.kif 3151-3151 |
溝通協調 是 經濟合作組織 的 organizational 目標 |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 3612-3612 |
溝通協調 是 國際電信聯盟 的 organizational 目標 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 16050-16050 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 16049-16049 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 16048-16048 |
|