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" and 伊拉克 |
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 |
|