No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2395-2395 | CombinationBulkCarrierShip e' uma sub-classe de CargoShip |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2398-2398 | CombinationBulkOilCarrierShip e' uma sub-classe de CombinationBulkCarrierShip |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2408-2408 | CombinationOreOilCarrierShip e' uma sub-classe de CombinationBulkCarrierShip |