No TPTP formula. May not be expressible in strict first order. |
Government.kif 3818-3818 |
南部非洲發展社區 是 "SADC" 的簡稱 |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 3817-3817 |
南部非洲發展社區 是 "Southern African Development Community" 的 conventional 全名 |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 3820-3820 |
"SADCC" 是對於 南部非洲發展社區 的 former name |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 3819-3819 |
"Southern African Development Coordination Conference" 是對於 南部非洲發展社區 的 former name |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 54158-54158 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 54157-54157 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 54156-54156 |
|