No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3774-3774 |
法国南部和南极的土地 是 法国 的 dependent |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3775-3775 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 448-448 |
|
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3879-3879 |
法国南部和南极的土地 是 依赖或特殊主权领域 的 instance |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 587-587 |
法国南部和南极的土地 是 土地面积 的 instance |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 588-588 |
法国南部和南极的土地 是 located 在 南 和 印度洋 的 directional 次要地区 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 586-586 |
法国南部和南极的土地 是 located 在 印度洋 |