TreeView Knowledge Base Browser - CombinationBulkCarrierShip

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	组合散装批货船是货船的 subclass

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2396-2396	组合散装批货船的名是 "combination carrier"
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2398-2398	CombinationBulkOilCarrierShip 是组合散装批货船的 subclass
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2408-2408	CombinationOreOilCarrierShip 是组合散装批货船的 subclass
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