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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Norway

 Sigma KEE - Norway
Norway

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. Economy.kif 3377-3377 currencyType Norway and NorwegianKrone
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 economyType Norway and AdvancedEconomy
No TPTP formula. May not be expressible in strict first order. Economy.kif 171-171 economyType Norway and DevelopedCountry
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 geographicSubregion Norway and NorthernEurope
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 324-324 Norway e' uma instancia de EuropeanNation

appearance as argument number 2
-------------------------


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 se chama nome "Norway"
No TPTP formula. May not be expressible in strict first order. Media.kif 2592-2592 SvalbardAndJanMayenIsland e' uma &parte 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

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


No TPTP formula. May not be expressible in strict first order. Media.kif 2765-2765 codeMapping ISO-3166-1-alpha-2, "NO" and Norway


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

Show without tree


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