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 | The number 1 argument of vessel dead weight tonnage is an instance of water vehicle |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2535-2535 | The number 2 argument of vessel dead weight tonnage is an instance of mass measure |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2533-2533 | vessel dead weight tonnage is an instance of binary predicate |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2536-2536 | vessel dead weight tonnage is a subrelation of vessel displacement |
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 |