No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 1662-1664 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 2499-2499 |
|
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 1666-1666 |
西北通道 是 北冰洋 的 geographic 次要地区 |
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 1667-1667 |
西北通道 是 西半球 的 geographic 次要地区 |
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 1660-1660 |
西北通道 是 水路 的 instance |