Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Norway
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 3377-3377 Norwegian krone is a currency type of norway
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1315-1315
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
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 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 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

appearance as argument number 3
-------------------------


No TPTP formula. May not be expressible in strict first order. Media.kif 2765-2765 "NO" in ISO-3166-1-alpha-2 denotes norway


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners