| Micronesia(micronesia)
| | Federated_States_of_Micronesia, Micronesia, TT |
| 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 | Developing country is an economy type of micronesia |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 299-299 | Less developed country is an economy type of micronesia |
| 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 | Micronesia is a geographic subregion of oceania |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 679-679 | Micronesia is an instance of nation |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 4210-4210 | Micronesia is a conventional long name of "Federated States of Micronesia" |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 4209-4209 | Micronesia has name "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 | "FM" in ISO-3166-1-alpha-2 denotes micronesia |
|
|
|