No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3928-3928 |
Norway is a claimed territory of antarctica |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3740-3740 |
Bouvet island is a dependent of norway |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3795-3795 |
Jan mayen island is a dependent of norway |
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 3356-3356 |
Oslo norway is a geographic subregion of norway |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 4040-4040 |
Norway has name "Norway" |
No TPTP formula. May not be expressible in strict first order. |
Media.kif 2592-2592 |
Svalbard and Jan Mayen island is a part of norway |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 41255-41255 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 41254-41254 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 41253-41253 |
|