TreeView Knowledge Base Browser - vesselDeadWeightTonnage

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2537-2542
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2534-2534	船舶重量吨位的 1 数量是水车的 instance
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2535-2535	船舶重量吨位的 2 数量是质量测量的 instance
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2533-2533	船舶重量吨位是二元谓语的 instance
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2536-2536	船舶重量吨位是船只位移的 subrelation

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 2587-2587
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 2586-2586
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 2585-2585
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 61574-61574
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 61573-61573
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 61572-61572