No TPTP formula. May not be expressible in strict first order. |
Government.kif 3115-3115 |
沟通协调 是 经济合作组织 的 organizational 目标 |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 3576-3576 |
沟通协调 是 国际电信联盟 的 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 |
|