No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 2402-2402 |
CombinationBulkCarrierShip se chama nome "combination carrier" |
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 2404-2404 |
CombinationBulkOilCarrierShip e' uma sub-classe de CombinationBulkCarrierShip |
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 2414-2414 |
CombinationOreOilCarrierShip e' uma sub-classe de CombinationBulkCarrierShip |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 15732-15732 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 15731-15731 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 15730-15730 |
|