TreeView Knowledge Base Browser - RollOnRollOffCargoShip

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