NorthernSeaRoute - Sigma Knowledge base Browser

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	Northern sea route is a geographic subregion of arctic ocean
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1676-1676	Northern sea route is a geographic subregion of eastern hemisphere
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1669-1669	Northern sea route is an instance of waterway

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1670-1670	Northern sea route has name "Northern Sea Route"
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