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	子類組合散裝批貨船 and 貨船

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2396-2396	名 "combination carrier" and 組合散裝批貨船
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2398-2398	子類 CombinationBulkOilCarrierShip and 組合散裝批貨船
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2408-2408	子類 CombinationOreOilCarrierShip and 組合散裝批貨船
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