No TPTP formula. May not be expressible in strict first order.	Economy.kif 633-633	发展中国家 是 中国 的 economy 类别
No TPTP formula. May not be expressible in strict first order.	Economy.kif 249-249	较未发达国家 是 中国 的 economy 类别
No TPTP formula. May not be expressible in strict first order.	Economy.kif 634-634	发展中国家 是 哥伦比亚 的 economy 类别
No TPTP formula. May not be expressible in strict first order.	Economy.kif 250-250	较未发达国家 是 哥伦比亚 的 economy 类别
No TPTP formula. May not be expressible in strict first order.	Economy.kif 635-635	发展中国家 是 科摩罗 的 economy 类别
No TPTP formula. May not be expressible in strict first order.	Economy.kif 251-251	较未发达国家 是 科摩罗 的 economy 类别
No TPTP formula. May not be expressible in strict first order.	Economy.kif 637-637	发展中国家 是 哥斯达黎加 的 economy 类别
No TPTP formula. May not be expressible in strict first order.	Economy.kif 253-253	较未发达国家 是 哥斯达黎加 的 economy 类别
No TPTP formula. May not be expressible in strict first order.	Economy.kif 638-638	发展中国家 是 科特迪瓦科特迪瓦 的 economy 类别
No TPTP formula. May not be expressible in strict first order.	Economy.kif 254-254	较未发达国家 是 科特迪瓦科特迪瓦 的 economy 类别
No TPTP formula. May not be expressible in strict first order.	Economy.kif 580-580	转型国家 是 克罗地亚 的 economy 类别
No TPTP formula. May not be expressible in strict first order.	Economy.kif 639-639	发展中国家 是 塞浦路斯 的 economy 类别
No TPTP formula. May not be expressible in strict first order.	Economy.kif 255-255	较未发达国家 是 塞浦路斯 的 economy 类别
No TPTP formula. May not be expressible in strict first order.	Economy.kif 581-581	转型国家 是 捷克共和国 的 economy 类别
No TPTP formula. May not be expressible in strict first order.	Economy.kif 636-636	发展中国家 是 刚果民主共和国 的 economy 类别
No TPTP formula. May not be expressible in strict first order.	Economy.kif 252-252	较未发达国家 是 刚果民主共和国 的 economy 类别
No TPTP formula. May not be expressible in strict first order.	Economy.kif 539-539	发达经济 是 丹麦 的 economy 类别
No TPTP formula. May not be expressible in strict first order.	Economy.kif 152-152	发达国家 是 丹麦 的 economy 类别
No TPTP formula. May not be expressible in strict first order.	Economy.kif 640-640	发展中国家 是 吉布提 的 economy 类别
No TPTP formula. May not be expressible in strict first order.	Economy.kif 256-256	较未发达国家 是 吉布提 的 economy 类别
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 257-257	较未发达国家 是 多米尼加 的 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 258-258	较未发达国家 是 多明尼加共和国 的 economy 类别
No TPTP formula. May not be expressible in strict first order.	Economy.kif 643-643	发展中国家 是 厄瓜多尔 的 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