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 e' uma sub-classe de CargoShip

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2342-2342	RollOnRollOffCargoShip se chama nome "Ro-Ro"
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2341-2341	RollOnRollOffCargoShip se chama nome "roll-on roll-off"
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2344-2344	ContainerRoRoCargoShip e' uma sub-classe de RollOnRollOffCargoShip
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2351-2351	PassengerLandingCraft e' uma sub-classe de RollOnRollOffCargoShip
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2354-2354	RailcarCarrierShip e' uma sub-classe de RollOnRollOffCargoShip
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2346-2346	VehicleCarrierShip e' uma sub-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