No TPTP formula. May not be expressible in strict first order. |
Economy.kif 3009-3009 |
百慕大元 是 百慕大 的 currency 类别 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3738-3738 |
百慕大 是 英国 的 dependent |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3739-3739 |
|
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. |
pictureList.kif 275-275 |
|
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 404-404 |
百慕大 是 北美 的 geographic 次要地区 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3864-3864 |
百慕大 是 依赖或特殊主权领域 的 instance |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 400-400 |
百慕大 是 土地面积 的 instance |