DryBulkCarrierShip - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	pictureList.kif 1737-1737
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2418-2418	干散货船是货船的 subclass

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2420-2420	散货船是干散货船的 subclass
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2423-2423	水泥运输船是干散货船的 subclass
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2421-2421	矿石运输船是干散货船的 subclass
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2422-2422	自卸式散货船是干散货船的 subclass
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2425-2425	尿素载体船是干散货船的 subclass
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2424-2424	木屑运输船是干散货船的 subclass
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