No TPTP formula. May not be expressible in strict first order.	Geography.kif 3552-3552	亞洲 是 東半球 的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2560-2560	阿什克倫以色列 是 以色列 的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2562-2562	阿斯馬拉厄立特里亞 是 厄立特里亞 的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2564-2564	阿薩姆邦印度 是 印度 的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2566-2566	阿斯旺埃及 是 埃及 的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2568-2568	Asyut埃及 是 埃及 的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2570-2570	希臘雅典 是 希臘 的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2572-2572	Atrush 伊拉克 是 伊拉克 的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2574-2574	Atzmona 加沙地帶 是 加沙地帶 的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 660-660	澳大利亞 是 大洋洲 的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 275-275	奧地利 是 歐洲中部 的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2576-2576	Avnei hefetz 以色列 是 以色列 的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2578-2578	Ayacucho 秘魯 是 秘魯 的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 632-632	阿塞拜疆 是 西南亞 的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2580-2580	以色列阿佐爾 是 以色列 的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2659-2659	B kaot 西岸 是 西方銀行 的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2582-2582	德國 bad vilbel 是 德國 的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2584-2584	伊拉克巴格達 是 伊拉克 的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2586-2586	巴格里哥倫比亞 是 哥倫比亞巴拿馬 的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2588-2588	巴哈瓦爾布爾巴基斯坦 是 巴基斯坦 的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 240-240	巴林 是 中東地區 的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2590-2590	Baka al garbiyeh 以色列 是 以色列 的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 663-663	貝克島 是 大洋洲 的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2592-2592	Bakka al 沙爾基亞西岸 是 西方銀行 的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2594-2594	巴庫阿塞拜疆 是 阿塞拜疆 的 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