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 and 水車 |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2535-2535 | 域 船舶重量噸位, 2 and MassMeasure |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2533-2533 | 例 船舶重量噸位 and BinaryPredicate |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2536-2536 | 子關係 船舶重量噸位 and 船隻位移 |
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 |