|
|
  Svalbard
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3842-3842 | Svalbard is a dependent of 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 | Svalbard is a geographic subregion of northern europe |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2585-2585 | Svalbard is a geographic subregion of Svalbard and Jan Mayen island |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3915-3915 | Svalbard is an instance of dependency or special sovereignty area |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 313-313 | Svalbard is an instance of land area |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 4041-4041 | Svalbard has name "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 |
|
|
|
