| FaroeIslands(faroe islands)
| | Faeroe_Islands, Faeroes, Faroe_Islands, Faroes |
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3768-3768 | Faroe islands is a dependent of denmark |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3769-3769 | Faroe islands is a dependent of denmark |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 153-153 | Developed country is an economy type of faroe islands |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 424-424 | Developed country is an economy type of faroe islands |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 317-317 | Faroe islands is a geographic subregion of northern europe |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3876-3876 | Faroe islands is an instance of dependency or special sovereignty area |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 311-311 | Faroe islands is an instance of land area |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 4036-4036 | Faroe islands has name "Faroe Islands" |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 23358-23358 | Faroe islands has name "Faroe Islands" |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 23357-23357 | Faroe islands has name "Faroe Islands" |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 23356-23356 | Faroe islands has name "Faroe Islands" |
| appearance as argument number 3 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2855-2855 | "FO" in ISO_3166_1_alpha_2 denotes faroe islands |
|
|
|