SouthernAfricanDevelopmentCommunity - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Government.kif 3857-3857	dateEstablished SouthernAfricanDevelopmentCommunity and o dia 17
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 7937-7937
No TPTP formula. May not be expressible in strict first order.	Government.kif 3852-3852	SouthernAfricanDevelopmentCommunity e' uma instancia de OrganizationOfNations
No TPTP formula. May not be expressible in strict first order.	Government.kif 3859-3859	organizationalObjective SouthernAfricanDevelopmentCommunity and EconomicDevelopment
No TPTP formula. May not be expressible in strict first order.	Government.kif 3858-3858	organizationalObjective SouthernAfricanDevelopmentCommunity and EconomicIntegration

appearance as argument number 2

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