No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 390-390	安道爾 是 西南歐 的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2534-2534	吳哥窟柬埔寨 是 柬埔寨 的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 152-152	安哥拉 是 非洲南部 的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 427-427	安圭拉 是 加勒比地區 的 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.	Geography.kif 3622-3622	南極洲 是 南極地區 的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3539-3539	南極洲 是 南半球 的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 428-428	安提瓜和巴布達 是 加勒比地區 的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2540-2540	Antioquia 哥倫比亞 是 哥倫比亞巴拿馬 的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2542-2542	安特衛普比利時 是 比利時 的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2544-2544	Apumirac 秘魯 是 秘魯 的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2546-2546	Apure 委內瑞拉 是 委內瑞拉 的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2548-2548	阿勞卡哥倫比亞 是 哥倫比亞巴拿馬 的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4639-4639	北冰洋 是 北半球 的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3581-3581	北極地區 是 北半球 的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 513-513	阿根廷 是 南美洲南部 的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2550-2550	Argun 俄羅斯 是 俄國 的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2552-2552	阿里爾西岸 是 西方銀行 的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2554-2554	阿爾馬北愛爾蘭 是 北愛爾蘭 的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 630-630	亞美尼亞 是 西南亞 的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 430-430	阿魯巴 是 加勒比地區 的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2556-2556	Arzew 阿爾及利亞 是 阿爾及利亞 的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2558-2558	阿什多德以色列 是 以色列 的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 598-598	阿什莫爾和卡地亞島嶼 是 東南亞 的 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