|
|
  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 | 直布罗陀 是 依赖或特殊主权领域 的 instance |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 388-388 | 直布罗陀 是 土地面积 的 instance |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 4074-4074 | 直布罗陀 的名 是 "Gibraltar" |
| 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 直布罗陀 |
|
|
|
