No TPTP formula. May not be expressible in strict first order.	Economy.kif 641-641	發展中國家 是 多米尼加 的 economy 類別
No TPTP formula. May not be expressible in strict first order.	Economy.kif 642-642	發展中國家 是 多明尼加共和國 的 economy 類別
No TPTP formula. May not be expressible in strict first order.	Economy.kif 643-643	發展中國家 是 厄瓜多爾 的 economy 類別
No TPTP formula. May not be expressible in strict first order.	Economy.kif 644-644	發展中國家 是 埃及 的 economy 類別
No TPTP formula. May not be expressible in strict first order.	Economy.kif 645-645	發展中國家 是 薩爾瓦多 的 economy 類別
No TPTP formula. May not be expressible in strict first order.	Economy.kif 646-646	發展中國家 是 赤道幾內亞 的 economy 類別
No TPTP formula. May not be expressible in strict first order.	Economy.kif 647-647	發展中國家 是 埃塞俄比亞 的 economy 類別
No TPTP formula. May not be expressible in strict first order.	Economy.kif 648-648	發展中國家 是 斐 的 economy 類別
No TPTP formula. May not be expressible in strict first order.	Economy.kif 649-649	發展中國家 是 加蓬 的 economy 類別
No TPTP formula. May not be expressible in strict first order.	Economy.kif 650-650	發展中國家 是 岡比亞 的 economy 類別
No TPTP formula. May not be expressible in strict first order.	Economy.kif 651-651	發展中國家 是 加納 的 economy 類別
No TPTP formula. May not be expressible in strict first order.	Economy.kif 652-652	發展中國家 是 格林納達 的 economy 類別
No TPTP formula. May not be expressible in strict first order.	Economy.kif 653-653	發展中國家 是 危地馬拉 的 economy 類別
No TPTP formula. May not be expressible in strict first order.	Economy.kif 654-654	發展中國家 是 幾內亞 的 economy 類別
No TPTP formula. May not be expressible in strict first order.	Economy.kif 655-655	發展中國家 是 幾內亞比紹 的 economy 類別
No TPTP formula. May not be expressible in strict first order.	Economy.kif 656-656	發展中國家 是 圭亞那 的 economy 類別
No TPTP formula. May not be expressible in strict first order.	Economy.kif 657-657	發展中國家 是 海地 的 economy 類別
No TPTP formula. May not be expressible in strict first order.	Economy.kif 658-658	發展中國家 是 洪都拉斯 的 economy 類別
No TPTP formula. May not be expressible in strict first order.	Economy.kif 659-659	發展中國家 是 印度 的 economy 類別
No TPTP formula. May not be expressible in strict first order.	Economy.kif 660-660	發展中國家 是 印度尼西亞 的 economy 類別
No TPTP formula. May not be expressible in strict first order.	Economy.kif 661-661	發展中國家 是 伊朗 的 economy 類別
No TPTP formula. May not be expressible in strict first order.	Economy.kif 662-662	發展中國家 是 伊拉克 的 economy 類別
No TPTP formula. May not be expressible in strict first order.	Economy.kif 663-663	發展中國家 是 牙買加 的 economy 類別
No TPTP formula. May not be expressible in strict first order.	Economy.kif 664-664	發展中國家 是 約旦 的 economy 類別
No TPTP formula. May not be expressible in strict first order.	Economy.kif 665-665	發展中國家 是 肯尼亞 的 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