|
|
  Svalbard
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3842-3842 | dependentGeopoliticalArea Svalbard and Norway |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3843-3843 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 762-762 | |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 325-325 | geographicSubregion Svalbard and NorthernEurope |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2585-2585 | geographicSubregion Svalbard and SvalbardAndJanMayenIsland |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3915-3915 | Svalbard e' uma instancia de DependencyOrSpecialSovereigntyArea |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 313-313 | Svalbard e' uma instancia de Area terrestre |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 4041-4041 | Svalbard se chama nome "Svalbard" |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 56419-56419 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 56418-56418 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 56417-56417 |
|
|
|
