CombinationBulkCarrierShip - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	pictureList.kif 1704-1704
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2395-2395	CombinationBulkCarrierShip e' uma sub-classe de CargoShip

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2396-2396	CombinationBulkCarrierShip se chama nome "combination carrier"
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
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