No TPTP formula. May not be expressible in strict first order. |
Government.kif 2784-2784 |
安第斯国际社会 是 "CAN" 的简称 |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 2783-2783 |
安第斯国际社会 是 "Andean Community of Nations" 的 conventional 全名 |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 2786-2786 |
"AG" 是对于 安第斯国际社会 的 former name |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 2789-2789 |
"Ancom" 是对于 安第斯国际社会 的 former name |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 2788-2788 |
"Andean Common Market" 是对于 安第斯国际社会 的 former name |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 2787-2787 |
"Andean Parliament" 是对于 安第斯国际社会 的 former name |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 2785-2785 |
"AndeanGroup" 是对于 安第斯国际社会 的 former name |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 7434-7434 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 7433-7433 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 7432-7432 |
|