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 |