Svalbard(svalbard) | 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 56421-56421 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 56420-56420 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 56419-56419 |