| No TPTP formula. May not be expressible in strict first order. |
Economy.kif 128-128 |
发达国家 是 "Developed Country" 的 conventional 全名 |
| No TPTP formula. May not be expressible in strict first order. |
Economy.kif 130-130 |
发达国家 是 "the North" 的 conventional 简称 |
| No TPTP formula. May not be expressible in strict first order. |
Economy.kif 146-146 |
发达国家 是 安道尔 的 economy 类别 |
| No TPTP formula. May not be expressible in strict first order. |
Economy.kif 147-147 |
发达国家 是 澳大利亚 的 economy 类别 |
| No TPTP formula. May not be expressible in strict first order. |
Economy.kif 148-148 |
发达国家 是 奥地利 的 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 150-150 |
发达国家 是 百慕大 的 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 152-152 |
发达国家 是 丹麦 的 economy 类别 |
| No TPTP formula. May not be expressible in strict first order. |
Economy.kif 153-153 |
发达国家 是 法罗群岛 的 economy 类别 |
| No TPTP formula. May not be expressible in strict first order. |
Economy.kif 154-154 |
发达国家 是 芬兰 的 economy 类别 |
| No TPTP formula. May not be expressible in strict first order. |
Economy.kif 155-155 |
发达国家 是 法国 的 economy 类别 |
| No TPTP formula. May not be expressible in strict first order. |
Economy.kif 156-156 |
发达国家 是 德国 的 economy 类别 |
| No TPTP formula. May not be expressible in strict first order. |
Economy.kif 157-157 |
发达国家 是 希腊 的 economy 类别 |
| No TPTP formula. May not be expressible in strict first order. |
Economy.kif 158-158 |
发达国家 是 教廷 的 economy 类别 |
| No TPTP formula. May not be expressible in strict first order. |
Economy.kif 159-159 |
发达国家 是 冰岛 的 economy 类别 |
| No TPTP formula. May not be expressible in strict first order. |
Economy.kif 160-160 |
发达国家 是 爱尔兰 的 economy 类别 |
| No TPTP formula. May not be expressible in strict first order. |
Economy.kif 161-161 |
发达国家 是 以色列 的 economy 类别 |
| No TPTP formula. May not be expressible in strict first order. |
Economy.kif 162-162 |
发达国家 是 意大利 的 economy 类别 |
| No TPTP formula. May not be expressible in strict first order. |
Economy.kif 163-163 |
发达国家 是 日本 的 economy 类别 |
| No TPTP formula. May not be expressible in strict first order. |
Economy.kif 164-164 |
发达国家 是 列支敦士登 的 economy 类别 |
| No TPTP formula. May not be expressible in strict first order. |
Economy.kif 165-165 |
发达国家 是 卢森堡 的 economy 类别 |
| No TPTP formula. May not be expressible in strict first order. |
Economy.kif 166-166 |
发达国家 是 马耳他 的 economy 类别 |
| No TPTP formula. May not be expressible in strict first order. |
Economy.kif 167-167 |
发达国家 是 墨西哥 的 economy 类别 |
| No TPTP formula. May not be expressible in strict first order. |
Economy.kif 168-168 |
发达国家 是 摩纳哥 的 economy 类别 |
|
| Display limited to 25 items. Show next 25 |
|
| Display limited to 25 items. Show next 25 |
