|
|
  Iraq
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 3221-3221 | currencyType Iraq and IraqiDinar |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1263-1263 | |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 662-662 | economyType Iraq and DevelopingCountry |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 278-278 | economyType Iraq and LessDevelopedCountry |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 519-519 | |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 248-248 | geographicSubregion Iraq and MiddleEastRegion |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 249-249 | Iraq e' uma instancia de Nacao |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2572-2572 | geographicSubregion AtrushIraq and Iraq |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2584-2584 | geographicSubregion BaghdadIraq and Iraq |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2764-2764 | geographicSubregion DahukIraq and Iraq |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2867-2867 | geographicSubregion GhalebiehIraq and Iraq |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2913-2913 | geographicSubregion HawanaIraq and Iraq |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2941-2941 | geographicSubregion IbsrilIraq and Iraq |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2948-2948 | geographicSubregion IrbilIraq and Iraq |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3286-3286 | geographicSubregion NajafIraq and Iraq |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3466-3466 | geographicSubregion SairanbarIraq and Iraq |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3552-3552 | geographicSubregion SukaimaniyahIraq and Iraq |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3556-3556 | geographicSubregion SulaymaniyahIraq and Iraq |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3626-3626 | geographicSubregion UmmQasrIraq and Iraq |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 4005-4005 | Iraq se chama nome "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 |
| appearance as argument number 3 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2722-2722 | codeMapping ISO-3166-1-alpha-2, "IQ" and Iraq |
|
|
|
