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 |