No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3811-3811 |
马约特 是 法国 的 dependent |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3812-3812 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 588-588 |
|
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 172-172 |
马约特 是 非洲南部 的 geographic 次要地区 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3898-3898 |
马约特 是 依赖或特殊主权领域 的 instance |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 147-147 |
马约特 是 岛 的 instance |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 148-148 |
马约特 接上 印度洋 |