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 2423-2423 |
CementCarrierShip 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 2425-2425 |
UreaCarrierShip 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. |
domainEnglishFormat.kif 20568-20568 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 20567-20567 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 20566-20566 |
|