NorthernSeaRoute
|
|
appearance as argument number 1 |
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 水路 |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1670-1670 | 名 "Northern Sea Route" and 北海航線 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 41145-41145 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 41144-41144 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 41143-41143 |