SouthernAfricanCustomsUnion
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3812-3812 | The day 11 is a date established of southern african customs union |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 6878-6878 | |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3809-3809 | Southern african customs union is an instance of organization of nations |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3814-3814 | Efficient customs administration is an organizational objective of southern african customs union |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3813-3813 | Promotion of free trade is an organizational objective of southern african customs union |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3811-3811 | "SACU" is an abbreviation of southern african customs union |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3810-3810 | Southern african customs union is a conventional long name of "Southern African Customs Union" |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 54152-54152 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 54151-54151 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 54150-54150 |