|
|
  Turkey
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 3539-3539 | Turkish lira is a currency type of turkey |
| 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 | Developed country is an economy type of turkey |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 723-723 | Developing country is an economy type of turkey |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 339-339 | Less developed country is an economy type of turkey |
| 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 | Turkey is a geographic subregion of southeastern europe |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 383-383 | Turkey is an instance of nation |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2494-2494 | Adana turkey is a geographic subregion of turkey |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2504-2504 | Agri turkey is a geographic subregion of turkey |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2536-2536 | Ankara turkey is a geographic subregion of turkey |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2538-2538 | Antalya turkey is a geographic subregion of turkey |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2616-2616 | Batman turkey is a geographic subregion of turkey |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2670-2670 | Bosphorous straits turkey is a geographic subregion of turkey |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2691-2691 | Caglayan turkey is a geographic subregion of turkey |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2701-2701 | Cankiri turkey is a geographic subregion of turkey |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2754-2754 | Corum turkey is a geographic subregion of turkey |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2840-2840 | Fethiye and marmaris turkey is a geographic subregion of turkey |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2944-2944 | Incirlik airbase turkey is a geographic subregion of turkey |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2955-2955 | Istanbul turkey is a geographic subregion of turkey |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2959-2959 | Izmir turkey is a geographic subregion of turkey |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3075-3075 | Kirikkale turkey is a geographic subregion of turkey |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3085-3085 | Kiursehir boztep turkey is a geographic subregion of turkey |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3120-3120 | Lice turkey is a geographic subregion of turkey |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3200-3200 | Marmaris turkey is a geographic subregion of turkey |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3226-3226 | Mersin turkey is a geographic subregion of turkey |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3529-3529 | Siirt turkey is a geographic subregion of turkey |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3607-3607 | Topkaki turkey is a geographic subregion of turkey |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3609-3609 | Trabzon turkey is a geographic subregion of turkey |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3620-3620 | Tunceli turkey is a geographic subregion of turkey |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3641-3641 | Van turkey is a geographic subregion of turkey |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3690-3690 | Yuksekova turkey is a geographic subregion of turkey |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 4070-4070 | Turkey has name "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 | "TR" in ISO-3166-1-alpha-2 denotes turkey |
|
|
|
