No TPTP formula. May not be expressible in strict first order. |
Economy.kif 3177-3177 |
几内亚比绍比索 是 几内亚比绍 的 currency 类别 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1251-1251 |
|
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 655-655 |
发展中国家 是 几内亚比绍 的 economy 类别 |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 271-271 |
较未发达国家 是 几内亚比绍 的 economy 类别 |
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 483-483 |
|
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 211-211 |
几内亚比绍 是 西非 的 geographic 次要地区 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 212-212 |
几内亚比绍 是 国家 的 instance |