No TPTP formula. May not be expressible in strict first order. |
Government.kif 3854-3854 |
abbreviation "SADC" and SouthernAfricanDevelopmentCommunity |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 3853-3853 |
conventionalLongName "Southern African Development Community" and SouthernAfricanDevelopmentCommunity |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 3856-3856 |
formerName "SADCC" and SouthernAfricanDevelopmentCommunity |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 3855-3855 |
formerName "Southern African Development Coordination Conference" and SouthernAfricanDevelopmentCommunity |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 54156-54156 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 54155-54155 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 54154-54154 |
|