FaroeIslands
|
|
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 | |
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 | |
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 23344-23344 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 23343-23343 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 23342-23342 |
appearance as argument number 3 |
No TPTP formula. May not be expressible in strict first order. | Media.kif 2853-2853 | "FO" in ISO-3166-1-alpha-2 denotes faroe islands |