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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Tajikistan
Tajikistan(塔吉克斯坦)

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


No TPTP formula. May not be expressible in strict first order. Economy.kif 2905-2905 塔吉克索莫尼 是 塔吉克斯坦 的 currency 類別
No TPTP formula. May not be expressible in strict first order. Economy.kif 3511-3511 塔吉克斯坦盧布 是 塔吉克斯坦 的 currency 類別
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1362-1362
No TPTP formula. May not be expressible in strict first order. Economy.kif 597-597 轉型國家 是 塔吉克斯坦 的 economy 類別
No TPTP formula. May not be expressible in strict first order. pictureList.kif 770-770
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 533-533 塔吉克斯坦 是 中亞 的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 534-534 例 塔吉克斯坦 and Nation

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2771-2771 達瓦茲塔吉克斯坦 是 塔吉克斯坦 的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2809-2809 杜尚別機場塔吉克斯坦 是 塔吉克斯坦 的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2811-2811 Dushanbe garm 塔吉克斯坦 是 塔吉克斯坦 的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2806-2806 杜尚別塔吉克斯坦 是 塔吉克斯坦 的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3091-3091 Komsomo labad 塔吉克斯坦 是 塔吉克斯坦 的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 4144-4144 名 "Tajikistan" and 塔吉克斯坦
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 56827-56827
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 56826-56826
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 56825-56825

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


No TPTP formula. May not be expressible in strict first order. Media.kif 2821-2821 "TJ" 在 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