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 |
|