No TPTP formula. May not be expressible in strict first order. |
Economy.kif 3081-3081 |
剛果法郎 是 剛果民主共和國 的 currency 類別 |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 3589-3589 |
ZaireseZaire 是 剛果民主共和國 的 currency 類別 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1223-1223 |
|
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. |
pictureList.kif 10708-10708 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 10709-10709 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5927-5927 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 10711-10711 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 1360-1360 |
|
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 91-91 |
剛果民主共和國 是 中非 的 geographic 次要地區 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 92-92 |
例 剛果民主共和國 and Nation |