| Tunisia(tunisia)
| | Republic_of_Tunisia, Tunisia |
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 3535-3535 | Tunisian dinar is a currency type of tunisia |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1369-1369 | |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 722-722 | Developing country is an economy type of tunisia |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 338-338 | Less developed country is an economy type of tunisia |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 801-801 | |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 129-129 | Tunisia is a geographic subregion of northern africa |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 130-130 | Tunisia is an instance of nation |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2792-2792 | Djerba tunisia is a geographic subregion of tunisia |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3952-3952 | Tunisia has name "Tunisia" |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 59486-59486 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 59485-59485 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 59484-59484 |
| appearance as argument number 3 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2828-2828 | "TN" in ISO-3166-1-alpha-2 denotes tunisia |
|
|
|