No TPTP formula. May not be expressible in strict first order. |
Economy.kif 361-361 |
abbreviation "NIE" and NewlyIndustrializingEconomy |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 363-363 |
formerName "NIC" and NewlyIndustrializingEconomy |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 362-362 |
formerName "Newly Industrializing Countries" and NewlyIndustrializingEconomy |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 360-360 |
NewlyIndustrializingEconomy se chama nome "Newly Industrializing Economies" |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 40313-40313 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 40312-40312 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 40311-40311 |
|