| Micronesia
| |
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1296-1296 | |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 683-683 | economyType Micronesia and DevelopingCountry |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 299-299 | economyType Micronesia and LessDevelopedCountry |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 592-592 | |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 678-678 | geographicSubregion Micronesia and Oceania |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 679-679 | Micronesia e' uma instancia de Nacao |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 4210-4210 | conventionalLongName "Federated States of Micronesia" and Micronesia |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 4209-4209 | Micronesia se chama nome "Micronesia" |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 37439-37439 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 37438-37438 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 37437-37437 |
| appearance as argument number 3 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2698-2698 | codeMapping ISO-3166-1-alpha-2, "FM" and Micronesia |
|
|
|