No TPTP formula. May not be expressible in strict first order. |
Government.kif 3638-3638 |
拉丁美洲一体化协会 是 "LAIA" 的简称 |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 3637-3637 |
拉丁美洲一体化协会 是 "Latin American Integration Association" 的 conventional 全名 |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 3639-3639 |
拉丁美洲一体化协会 是 "Asociacion Latinoamericana de Integracion" 的 local 全名 |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 3640-3640 |
拉丁美洲一体化协会 是 "ALADI" 的 local 简称 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 33449-33449 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 33448-33448 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 33447-33447 |
|