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	RollOnRollOffCargoShip est une sous-classe de CargoShip

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2342-2342	RollOnRollOffCargoShip s'appele nom "Ro-Ro"
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2341-2341	RollOnRollOffCargoShip s'appele nom "roll-on roll-off"
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2344-2344	ContainerRoRoCargoShip est une sous-classe de RollOnRollOffCargoShip
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2351-2351	PassengerLandingCraft est une sous-classe de RollOnRollOffCargoShip
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2354-2354	RailcarCarrierShip est une sous-classe de RollOnRollOffCargoShip
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2346-2346	VehicleCarrierShip est une sous-classe de RollOnRollOffCargoShip
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