| Norway(norway)
| | Kingdom_of_Norway, Noreg, Norge, Norway |
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 3714-3714 | Norwegian krone is a currency type of norway |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1315-1315 | Norwegian krone is a currency type of norway |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 554-554 | Advanced economy is an economy type of norway |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 171-171 | Developed country is an economy type of norway |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 635-635 | Developed country is an economy type of norway |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 323-323 | Norway is a geographic subregion of northern europe |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 324-324 | Norway is an instance of european nation |
| appearance as argument number 2 |
|
|
| 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 2594-2594 | Svalbard and Jan Mayen island is a part of norway |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 41284-41284 | Svalbard and Jan Mayen island is a part of norway |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 41283-41283 | Svalbard and Jan Mayen island is a part of norway |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 41282-41282 | Svalbard and Jan Mayen island is a part of norway |
| appearance as argument number 3 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2767-2767 | "NO" in ISO_3166_1_alpha_2 denotes norway |
|
|
|