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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Nicaragua

 Sigma KEE - Nicaragua
Nicaragua(尼加拉瓜)

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


No TPTP formula. May not be expressible in strict first order. Economy.kif 3361-3361 尼加拉瓜科多巴 是 尼加拉瓜 的 currency 类别
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1309-1309
No TPTP formula. May not be expressible in strict first order. Economy.kif 689-689 发展中国家 是 尼加拉瓜 的 economy 类别
No TPTP formula. May not be expressible in strict first order. Economy.kif 305-305 较未发达国家 是 尼加拉瓜 的 economy 类别
No TPTP formula. May not be expressible in strict first order. pictureList.kif 625-625
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 484-484 尼加拉瓜 是 中美洲 的 geographic 次要地区
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 485-485 尼加拉瓜 是 国家 的 instance

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 4119-4119 尼加拉瓜 的名 是 "Nicaragua"
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 40467-40467
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 40466-40466
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 40465-40465

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


No TPTP formula. May not be expressible in strict first order. Media.kif 2782-2782 "NI" 在 ISO-3166-1-alpha-2 denotes 尼加拉瓜


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