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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Turkey
Turkey(火鸡)

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


No TPTP formula. May not be expressible in strict first order. Economy.kif 3539-3539 土耳其里拉火鸡currency 类别
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1370-1370
No TPTP formula. May not be expressible in strict first order. Economy.kif 178-178 发达国家火鸡economy 类别
No TPTP formula. May not be expressible in strict first order. Economy.kif 723-723 发展中国家火鸡economy 类别
No TPTP formula. May not be expressible in strict first order. Economy.kif 339-339 较未发达国家火鸡economy 类别
No TPTP formula. May not be expressible in strict first order. pictureList-ImageNet.kif 37-37
No TPTP formula. May not be expressible in strict first order. pictureList-ImageNet.kif 36-36
No TPTP formula. May not be expressible in strict first order. pictureList-ImageNet.kif 35-35
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 382-382 火鸡东南欧geographic 次要地区
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 383-383 火鸡国家instance

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2494-2494 阿达纳土耳其火鸡geographic 次要地区
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2504-2504 阿格里土耳其火鸡geographic 次要地区
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2536-2536 安卡拉土耳其火鸡geographic 次要地区
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2538-2538 安塔利亚土耳其火鸡geographic 次要地区
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2616-2616 蝙蝠侠火鸡火鸡geographic 次要地区
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2670-2670 博斯普鲁斯海峡火鸡火鸡geographic 次要地区
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2691-2691 Caglayan土耳其火鸡geographic 次要地区
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2701-2701 Cankiri土耳其火鸡geographic 次要地区
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2754-2754 Corum火鸡火鸡geographic 次要地区
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2840-2840 费特希耶和马尔马里斯火鸡火鸡geographic 次要地区
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2944-2944 Incirlik空军基地土耳其火鸡geographic 次要地区
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2955-2955 伊斯坦布尔,土耳其火鸡geographic 次要地区
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2959-2959 伊兹密尔土耳其火鸡geographic 次要地区
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3075-3075 基里卡莱土耳其火鸡geographic 次要地区
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3085-3085 Kiursehir boztep 土耳其火鸡geographic 次要地区
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3120-3120 虱子土耳其火鸡geographic 次要地区
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3200-3200 马尔马里斯土耳其火鸡geographic 次要地区
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3226-3226 Mersin土耳其火鸡geographic 次要地区
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3529-3529 锡尔特土耳其火鸡geographic 次要地区
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3607-3607 托普卡匹土耳其火鸡geographic 次要地区
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3609-3609 特拉布宗土耳其火鸡geographic 次要地区
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3620-3620 Tunceli土耳其火鸡geographic 次要地区
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3641-3641 范土耳其火鸡geographic 次要地区
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3690-3690 Yuksekova土耳其火鸡geographic 次要地区
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 4070-4070 火鸡 的名 是 "Turkey"

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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


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