No TPTP formula. May not be expressible in strict first order. |
Media.kif 2562-2562 |
AalandIslands 是 芬兰 的 dependent |
No TPTP formula. May not be expressible in strict first order. |
Media.kif 2564-2567 |
|
No TPTP formula. May not be expressible in strict first order. |
Media.kif 2560-2560 |
AalandIslands 是 群岛 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Media.kif 2561-2561 |
AalandIslands 是 依赖或特殊主权领域 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Media.kif 2563-2563 |
AalandIslands 是 located 在 波罗的海 |