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 |
Northwest passage is a geographic subregion of arctic ocean |
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 1667-1667 |
Northwest passage is a geographic subregion of western hemisphere |
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 1660-1660 |
Northwest passage is an instance of waterway |