RollOnRollOffCargoShip - Sigma Knowledge base Browser

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	子類滾上滾下貨船 and 貨船

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2342-2342	名 "Ro-Ro" and 滾上滾下貨船
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2341-2341	名 "roll-on roll-off" and 滾上滾下貨船
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2344-2344	子類 ContainerRoRoCargoShip and 滾上滾下貨船
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2351-2351	子類客運登陸艇 and 滾上滾下貨船
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2354-2354	子類鐵路運輸船 and 滾上滾下貨船
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2346-2346	子類車載船 and 滾上滾下貨船
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