|
|
  Gibraltar
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3776-3776 | 直布羅陀 是 英國 的 dependent |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3777-3777 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 462-462 | |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 392-392 | 直布羅陀 是 西南歐 的 geographic 次要地區 |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3880-3880 | 例 直布羅陀 and 依賴或特殊主權領域 |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 388-388 | 例 直布羅陀 and LandArea |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 4074-4074 | 名 "Gibraltar" and 直布羅陀 |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 26034-26034 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 26033-26033 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 26032-26032 |
| appearance as argument number 3 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2857-2857 | "GI" 在 ISO-3166-1-alpha-2 denotes 直布羅陀 |
|
|
|
