No TPTP formula. May not be expressible in strict first order.	Economy.kif 240-240	較未發達國家 是 巴巴多斯 的 economy 類別
No TPTP formula. May not be expressible in strict first order.	Economy.kif 577-577	轉型國家 是 白俄羅斯 的 economy 類別
No TPTP formula. May not be expressible in strict first order.	Economy.kif 537-537	發達經濟 是 比利時 的 economy 類別
No TPTP formula. May not be expressible in strict first order.	Economy.kif 149-149	發達國家 是 比利時 的 economy 類別
No TPTP formula. May not be expressible in strict first order.	Economy.kif 625-625	發展中國家 是 伯利茲 的 economy 類別
No TPTP formula. May not be expressible in strict first order.	Economy.kif 241-241	較未發達國家 是 伯利茲 的 economy 類別
No TPTP formula. May not be expressible in strict first order.	Economy.kif 150-150	發達國家 是 百慕大 的 economy 類別
No TPTP formula. May not be expressible in strict first order.	Economy.kif 578-578	轉型國家 是 波斯尼亞和黑塞哥維那 的 economy 類別
No TPTP formula. May not be expressible in strict first order.	Economy.kif 579-579	轉型國家 是 保加利亞 的 economy 類別
No TPTP formula. May not be expressible in strict first order.	Economy.kif 626-626	發展中國家 是 布隆迪 的 economy 類別
No TPTP formula. May not be expressible in strict first order.	Economy.kif 242-242	較未發達國家 是 布隆迪 的 economy 類別
No TPTP formula. May not be expressible in strict first order.	Economy.kif 627-627	發展中國家 是 柬埔寨 的 economy 類別
No TPTP formula. May not be expressible in strict first order.	Economy.kif 243-243	較未發達國家 是 柬埔寨 的 economy 類別
No TPTP formula. May not be expressible in strict first order.	Economy.kif 628-628	發展中國家 是 喀麥隆 的 economy 類別
No TPTP formula. May not be expressible in strict first order.	Economy.kif 244-244	較未發達國家 是 喀麥隆 的 economy 類別
No TPTP formula. May not be expressible in strict first order.	Economy.kif 538-538	發達經濟 是 加拿大 的 economy 類別
No TPTP formula. May not be expressible in strict first order.	Economy.kif 151-151	發達國家 是 加拿大 的 economy 類別
No TPTP formula. May not be expressible in strict first order.	Economy.kif 629-629	發展中國家 是 佛得角 的 economy 類別
No TPTP formula. May not be expressible in strict first order.	Economy.kif 245-245	較未發達國家 是 佛得角 的 economy 類別
No TPTP formula. May not be expressible in strict first order.	Economy.kif 630-630	發展中國家 是 中非共和國 的 economy 類別
No TPTP formula. May not be expressible in strict first order.	Economy.kif 246-246	較未發達國家 是 中非共和國 的 economy 類別
No TPTP formula. May not be expressible in strict first order.	Economy.kif 631-631	發展中國家 是 chad 的 economy 類別
No TPTP formula. May not be expressible in strict first order.	Economy.kif 247-247	較未發達國家 是 chad 的 economy 類別
No TPTP formula. May not be expressible in strict first order.	Economy.kif 632-632	發展中國家 是 智利 的 economy 類別
No TPTP formula. May not be expressible in strict first order.	Economy.kif 248-248	較未發達國家 是 智利 的 economy 類別
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