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	子類乾散貨船 and 貨船

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2420-2420	子類散貨船 and 乾散貨船
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2423-2423	子類水泥運輸船 and 乾散貨船
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2421-2421	子類礦石運輸船 and 乾散貨船
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2422-2422	子類自卸式散貨船 and 乾散貨船
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2425-2425	子類尿素載體船 and 乾散貨船
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2424-2424	子類木屑運輸船 and 乾散貨船
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