No TPTP formula. May not be expressible in strict first order. | Economy.kif 106-106 | 经济发展水平 是 经济属性 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 117-117 | 联合国经济发展水平 是 经济发展水平 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 415-415 | 世界银行人均GNI水平 是 经济发展水平 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 515-515 | IMF发展水平 是 经济发展水平 的 subclass |