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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Norway
Norway(挪威)

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


No TPTP formula. May not be expressible in strict first order. Economy.kif 3377-3377 挪威克朗 是 挪威 的 currency 類別
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 發達經濟 是 挪威 的 economy 類別
No TPTP formula. May not be expressible in strict first order. Economy.kif 171-171 發達國家 是 挪威 的 economy 類別
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 挪威 是 北歐 的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 324-324 例 挪威 and 歐洲國家

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3928-3928 挪威 是 南極洲 的 claimed 領土
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3740-3740 布維島 是 挪威 的 dependent
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3795-3795 Jan mayen 島 是 挪威 的 dependent
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3842-3842 斯瓦爾巴 是 挪威 的 dependent
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3356-3356 奧斯陸挪威 是 挪威 的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 4040-4040 名 "Norway" and 挪威
No TPTP formula. May not be expressible in strict first order. Media.kif 2592-2592 部分 SvalbardAndJanMayenIsland and 挪威
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" 在 ISO-3166-1-alpha-2 denotes 挪威


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