Turkey |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 3539-3539 | currencyType Turkey and TurkishLira |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1370-1370 | |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 178-178 | economyType Turkey and DevelopedCountry |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 723-723 | economyType Turkey and DevelopingCountry |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 339-339 | economyType Turkey and LessDevelopedCountry |
No TPTP formula. May not be expressible in strict first order. | pictureList-ImageNet.kif 37-37 | |
No TPTP formula. May not be expressible in strict first order. | pictureList-ImageNet.kif 36-36 | |
No TPTP formula. May not be expressible in strict first order. | pictureList-ImageNet.kif 35-35 | |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 382-382 | geographicSubregion Turkey and SoutheasternEurope |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 383-383 | Turkey e' uma instancia de Nacao |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2494-2494 | geographicSubregion AdanaTurkey and Turkey |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2504-2504 | geographicSubregion AgriTurkey and Turkey |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2536-2536 | geographicSubregion AnkaraTurkey and Turkey |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2538-2538 | geographicSubregion AntalyaTurkey and Turkey |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2616-2616 | geographicSubregion BatmanTurkey and Turkey |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2670-2670 | geographicSubregion BosphorousStraitsTurkey and Turkey |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2691-2691 | geographicSubregion CaglayanTurkey and Turkey |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2701-2701 | geographicSubregion CankiriTurkey and Turkey |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2754-2754 | geographicSubregion CorumTurkey and Turkey |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2840-2840 | geographicSubregion FethiyeAndMarmarisTurkey and Turkey |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2944-2944 | geographicSubregion IncirlikAirbaseTurkey and Turkey |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2955-2955 | geographicSubregion IstanbulTurkey and Turkey |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2959-2959 | geographicSubregion IzmirTurkey and Turkey |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3075-3075 | geographicSubregion KirikkaleTurkey and Turkey |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3085-3085 | geographicSubregion KiursehirBoztepTurkey and Turkey |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3120-3120 | geographicSubregion LiceTurkey and Turkey |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3200-3200 | geographicSubregion MarmarisTurkey and Turkey |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3226-3226 | geographicSubregion MersinTurkey and Turkey |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3529-3529 | geographicSubregion SiirtTurkey and Turkey |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3607-3607 | geographicSubregion TopkakiTurkey and Turkey |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3609-3609 | geographicSubregion TrabzonTurkey and Turkey |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3620-3620 | geographicSubregion TunceliTurkey and Turkey |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3641-3641 | geographicSubregion VanTurkey and Turkey |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3690-3690 | geographicSubregion YuksekovaTurkey and Turkey |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 4070-4070 | Turkey se chama nome "Turkey" |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |
appearance as argument number 3 |
No TPTP formula. May not be expressible in strict first order. | Media.kif 2829-2829 | codeMapping ISO-3166-1-alpha-2, "TR" and Turkey |