LeastDevelopedCountry
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 407-411 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 11338-11338 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 10093-10093 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 11336-11336 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 11337-11337 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 11339-11339 | |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 399-399 | 例 最不發達國家 and 經濟發展水平 |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 400-400 | 子屬性 最不發達國家 and 較未發達國家 |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 404-404 | 最不發達國家 是 "LLDC" 的簡稱 |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 401-401 | 最不發達國家 是 "Least Developed Countries" 的 conventional 全名 |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 402-402 | 名 "Undeveloped Country" and 最不發達國家 |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 403-403 | 名 "Undeveloped Economy" and 最不發達國家 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 33689-33689 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 33688-33688 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 33687-33687 |
consequent |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 432-434 |
|
statement |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 405-405 | 42 是 延期 最不發達國家 的 cardinality |