No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 1671-1673 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 2497-2497 |
|
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 1675-1675 |
北海航線 是 北冰洋 的 geographic 次要地區 |
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 1676-1676 |
北海航線 是 東半球 的 geographic 次要地區 |
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 1669-1669 |
例 北海航線 and 水路 |