| Ireland(愛爾蘭)
| |
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 3225-3225 | 歐元 是 愛爾蘭 的 currency 類別 |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1264-1264 | |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 546-546 | 發達經濟 是 愛爾蘭 的 economy 類別 |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 160-160 | 發達國家 是 愛爾蘭 的 economy 類別 |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 520-520 | |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 353-353 | 愛爾蘭 是 西歐 的 geographic 次要地區 |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 354-354 | 例 愛爾蘭 and 歐洲國家 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3207-3207 | 會員 愛爾蘭 and 歐洲貨幣聯盟 |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 6966-6966 | 方位 愛爾蘭, Wales and 西方 |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2798-2798 | 愛爾蘭都柏林 是 愛爾蘭 的 geographic 次要地區 |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3397-3397 | 波塔當愛爾蘭 是 愛爾蘭 的 geographic 次要地區 |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 4053-4053 | 名 "Ireland" and 愛爾蘭 |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 30991-30991 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 30990-30990 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 30989-30989 |
| appearance as argument number 3 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2718-2718 | "IE" 在 ISO-3166-1-alpha-2 denotes 愛爾蘭 |
|
|
|