No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3928-3928 |
claimedTerritory Antarctica and Norway |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3740-3740 |
dependentGeopoliticalArea BouvetIsland and Norway |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3795-3795 |
dependentGeopoliticalArea JanMayenIsland and Norway |
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 3356-3356 |
geographicSubregion OsloNorway and Norway |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 4040-4040 |
Norway s'appele nom "Norway" |
No TPTP formula. May not be expressible in strict first order. |
Media.kif 2592-2592 |
SvalbardAndJanMayenIsland est une partie de Norway |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 41253-41253 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 41252-41252 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 41251-41251 |
|