| RollOnRollOffCargoShip(roll on roll off cargo ship)
|
| 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 | Roll on roll off cargo ship is a subclass of cargo ship |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2342-2342 | Roll on roll off cargo ship has name "Ro-Ro" |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2341-2341 | Roll on roll off cargo ship has name "roll-on roll-off" |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2344-2344 | ContainerRoRoCargoShip is a subclass of roll on roll off cargo ship |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2351-2351 | Passenger- landing craft is a subclass of roll on roll off cargo ship |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2354-2354 | Railcar carrier ship is a subclass of roll on roll off cargo ship |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2346-2346 | Vehicle carrier ship is a subclass of roll on roll off cargo ship |
| 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 |
|
|
|