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 |
|