|
|
  Gibraltar
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3776-3776 | dependentGeopoliticalArea Gibraltar and UnitedKingdom |
| 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 | geographicSubregion Gibraltar and SouthwesternEurope |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3880-3880 | Gibraltar e' uma instancia de DependencyOrSpecialSovereigntyArea |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 388-388 | Gibraltar e' uma instancia de Area terrestre |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 4074-4074 | Gibraltar se chama nome "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 | codeMapping ISO-3166-1-alpha-2, "GI" and Gibraltar |
|
|
|
