TreeView Knowledge Base Browser

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	例火雞 and Nation

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" and 火雞

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 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

KB Term:			Term intersection

English Word: