|
|
  Suriname
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 3487-3487 | 蘇里南盾 是 蘇里南 的 currency 類別 |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1355-1355 | |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 715-715 | 發展中國家 是 蘇里南 的 economy 類別 |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 331-331 | 較未發達國家 是 蘇里南 的 economy 類別 |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 761-761 | |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 508-508 | 蘇里南 是 北美洲南部 的 geographic 次要地區 |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 509-509 | 例 蘇里南 and Nation |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 4130-4130 | 名 "Suriname" and 蘇里南 |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 56359-56359 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 56358-56358 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 56357-56357 |
| appearance as argument number 3 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2818-2818 | "SR" 在 ISO-3166-1-alpha-2 denotes 蘇里南 |
|
|
|
