RollOnRollOffCargoShip RadialBranchAtTheWristArtery
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 1963-1963 | |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2340-2340 | 滚上滚下货船 是 货船 的 subclass |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2342-2342 | 滚上滚下货船 的名 是 "Ro-Ro" |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2341-2341 | 滚上滚下货船 的名 是 "roll-on roll-off" |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2344-2344 | ContainerRoRoCargoShip 是 滚上滚下货船 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2351-2351 | 客运登陆艇 是 滚上滚下货船 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2354-2354 | 铁路运输船 是 滚上滚下货船 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2346-2346 | 车载船 是 滚上滚下货船 的 subclass |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 50306-50306 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 50305-50305 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 50304-50304 |