pistonStroke
|
|
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 | 北海航线 是 水路 的 instance |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1670-1670 | 北海航线 的名 是 "Northern Sea Route" |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 41147-41147 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 41146-41146 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 41145-41145 |