No TPTP formula. May not be expressible in strict first order. |
Government.kif 3854-3854 |
"SADC" is an abbreviation of southern african development community |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 3853-3853 |
Southern african development community is a conventional long name of "Southern African Development Community" |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 3856-3856 |
"SADCC" is a former name for southern african development community |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 3855-3855 |
"Southern African Development Coordination Conference" is a former name for southern african development community |
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 |
|