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