No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 2572-2572 |
Atrush 伊拉克 是 伊拉克 的 geographic 次要地区 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 2584-2584 |
伊拉克巴格达 是 伊拉克 的 geographic 次要地区 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 2764-2764 |
达胡克伊拉克 是 伊拉克 的 geographic 次要地区 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 2867-2867 |
Ghalebieh伊拉克 是 伊拉克 的 geographic 次要地区 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 2913-2913 |
哈瓦那伊拉克 是 伊拉克 的 geographic 次要地区 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 2941-2941 |
Ibsril伊拉克 是 伊拉克 的 geographic 次要地区 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 2948-2948 |
伊尔比尔伊拉克 是 伊拉克 的 geographic 次要地区 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3286-3286 |
纳杰夫伊拉克 是 伊拉克 的 geographic 次要地区 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3466-3466 |
Sairanbar伊拉克 是 伊拉克 的 geographic 次要地区 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3552-3552 |
苏莱曼尼亚伊拉克 是 伊拉克 的 geographic 次要地区 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3556-3556 |
苏莱曼尼亚伊拉克 是 伊拉克 的 geographic 次要地区 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3626-3626 |
Umm qasr伊拉克 是 伊拉克 的 geographic 次要地区 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 4005-4005 |
伊拉克 的名 是 "Iraq" |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 30973-30973 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 30972-30972 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 30971-30971 |
|