No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2418-2418 | DryBulkCarrierShip e' uma sub-classe de CargoShip |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2420-2420 | BulkCargoShip e' uma sub-classe de DryBulkCarrierShip |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2421-2421 | OreCarrierShip e' uma sub-classe de DryBulkCarrierShip |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2422-2422 | SelfDischargingBulkCarrierShip e' uma sub-classe de DryBulkCarrierShip |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2423-2423 | CementCarrierShip e' uma sub-classe de DryBulkCarrierShip |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2424-2424 | WoodChipsCarrierShip e' uma sub-classe de DryBulkCarrierShip |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2425-2425 | UreaCarrierShip e' uma sub-classe de DryBulkCarrierShip |