No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2596-2596	大包埃塞俄比亞 是 埃塞俄比亞 的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2598-2598	班布里奇北愛爾蘭 是 北愛爾蘭 的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2600-2600	曼谷泰國 是 泰國 的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 569-569	孟加拉國 是 南亞 的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2602-2602	班戈北愛爾蘭 是 北愛爾蘭 的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2604-2604	班吉中非共和國 是 中非共和國 的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 433-433	巴巴多斯 是 加勒比地區 的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2606-2606	西班牙巴塞羅那 是 西班牙 的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2608-2608	Barkeo柬埔寨 是 柬埔寨 的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2610-2610	Barrancabermeja哥倫比亞 是 哥倫比亞 的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2612-2612	巴士拉以色列 是 以色列 的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 154-154	Bassas da 印度 是 非洲南部 的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2614-2614	Bat yam 以色列 是 以色列 的 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 2620-2620	Be er sheva 以色列 是 以色列 的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2618-2618	Beasain西班牙 是 西班牙 的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2622-2622	貝魯特，黎巴嫩 是 黎巴嫩 的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2624-2624	貝特埃爾西岸 是 西方銀行 的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2626-2626	拜特哈吉西岸 是 西方銀行 的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2628-2628	拜特薩胡爾西岸 是 西方銀行 的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2630-2630	Beit she an 以色列 是 以色列 的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2632-2632	Beit shemesh 以色列 是 以色列 的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 296-296	白俄羅斯 是 東歐洲 的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2634-2634	Beledweyne索馬里 是 索馬里 的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2636-2636	貝爾法斯特北愛爾蘭 是 北愛爾蘭 的 geographic 次要地區
Display limited to 25 items. Show next 25
Display limited to 25 items. Show next 25

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