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 est une instance de DependencyOrSpecialSovereigntyArea |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 313-313 | Svalbard est une instance de zone de terre |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 4041-4041 | Svalbard s'appele nom "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 |